Abstract
Given a knowledge base Σ and a formula F both in propositional Conjunctive Form, we address the problem of designing efficient procedures to compute the degree of belief in F with respect to Σ as the conditional probability P F|Σ . Applying a general approach based on the probabilistic logic for computing the degree of belief P F|Σ , we can determine classes of conjunctive formulas for Σ and F in which P F|Σ can be computed efficiently. It is known that the complexity of computing P F|Σ is polynomially related to the complexity of solving the #SAT problem for the formula Σ ∧ F . Therefore, some of the above classes in which P F|Σ is computed efficiently establish new polynomial classes given by Σ ∪ F for the #SAT problem and, consequently, for many other related counting problems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bayardo Jr., R., Pehoushek, J.D.: Counting Models using Connected Components. In: Proceeding of the Seventeenth National Conf. on Artificial Intelligence (2000)
Adnan, D.: On the Tractability of Counting Theory Models and its Application to Belief Revision and Truth Maintenance. Jour. of Applied Non-classical Logics 11(1-2), 11–34 (2001)
Eiter, T., Gottlob, G.: The complexity of logic-based abduction. Journal of the ACM 42(1), 3–42 (1995)
Fagin, R., Halpern, J.Y.: A new approach to updating beliefs, Uncertainty in Artificial Intelligence 6. In: Bonissone, P.P., Henrion, M., Kanal, L.N., Lemmer, J.F. (eds.), pp. 347–374 (1991); Artificial Intelligence 54, 275–317 (1992)
Gogic, G., Papadimitriou, C.H., Sideri, M.: Incremental Recompilation of Knowledge. Journal of Artificial Intelligence Research 8, 23–37 (1998)
Halpern, J.Y.: Two views of belief: Belief as generalized probability and belief as evidence. Artificial Intelligence 54, 275–317 (1992)
Koppel, M., Feldman, R., Maria Segre, A.: Bias-Driven Revision of Logical Domain Theories. Jour. of Artificial Intelligence Research 1, 159–208 (1994)
Roth, D.: On the hardness of approximate reasoning. Artificial Intelligence 82, 273–302 (1996)
Russ, B.: Randomized Algorithms: Approximation, Generation, and Counting, Distingished dissertations. Springer, Heidelberg (2001)
Zanuttini, B.: New Polynomial Classes for Logic-Based Abduction. Journal of Artificial Intelligence Research 19, 1–10 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Ita Luna, G. (2004). Polynomial Classes of Boolean Formulas for Computing the Degree of Belief. In: Lemaître, C., Reyes, C.A., González, J.A. (eds) Advances in Artificial Intelligence – IBERAMIA 2004. IBERAMIA 2004. Lecture Notes in Computer Science(), vol 3315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30498-2_43
Download citation
DOI: https://doi.org/10.1007/978-3-540-30498-2_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23806-5
Online ISBN: 978-3-540-30498-2
eBook Packages: Springer Book Archive