- Volume 12 Issue 1
A Probabilistic Reasoning in Incomplete Knowledge for Theorem Proving
불완전한 지식에서 정리증명을 위한 확률추론
- Kim, Jin-Sang (Faculty of Computer and Electronics Engineering, Keimyung University) ;
- Shin, Yang-Kyu (School of Information Science, Kyungsan University)
- Published : 2001.04.30
We present a probabilistic reasoning method for inferring knowledge about mathematical truth before an automated theorem prover completes a proof. We use a Bayesian analysis to update beleif in truth, given theorem-proving progress, and show how decision-theoretic methods can be used to determine the value of continuing to deliberate versus taking immediate action in time-critical situations.
- Technical report ISSP-98-01 A Bayesian network classifier that combines finite mixture model and a naive Bayes model Monti, S.;Cooper, G.
- Reading Automaed Theorem Proving. Braunschweig: Vieweg Bibel, W.
- Mathematics and Plausible Reasoning: Induction and analogy in mathematics v.1 Polya, G.
- Mathematics and Plausible Reasoning: Patterns of Plausible Inference v.2 Polya, G.
- Proceedings of Sixth Conference on Uncertainty in Artificial Intelligence Fine-grained decision-theoretic search control Russell, S.
- Proceedings of Fifteenth Conference on Uncertainty in Artificial Intelligence On the semantics and automated deduction for PLFC, a logic of probabilistic uncertainty and fuzziness Alsinet, T.;Godo, L.;Sandri, S.
- Proceedings of the Eigth National Conference on Artificial Intelligence Rationality and its roles in reasoning Doyle, J.
- Planning and Control Dean, T.;Wellman, M.
- Artificial Intelligence, chapter 13 Propositional Calculus Nilsson, N.
- Journal of Machine learning research Dependency networks for inference, collaborative filtering, and data visualization Heckerman, D. et al
- Notes on Fermat's Last Theorem van der Poorten, A.