Abstract
Incompleteness is addressed by using a framework that allows expression of probability. An update procedure is given to handle nonmonotonic change of knowledge. We point out the relationship between probabilistic diagnosis and probabilistic deductive database updates, and present a coincidence theorem which formally establishes it. An implication of the result allows us to treat diagnostic problems naturally within a probabilistic deductive database framework using the same procedure to insert and diagnose.
Preview
Unable to display preview. Download preview PDF.
References
Tom Bylander, Dean Allemang, Michael C. Tanner and John R. Josephson, The computational complexity of abduction. Artificial Intelligence, 49, 1991, pp. 25–60.
Console, L., Theseider Dupre, D., and Torasso, P.. A Theory of Diagnosis for Incomplete Causal Models in: Proceedings of the 11 th International Joint Conference in Artificial Intelligence, 1989, pp. 1311–1317.
Hendrik Decker. Drawing Updates From Derivations in: Proceedings of the International Conference on Database Theory, 1990, pp. 437–451.
R. Fagin, G.M. Kuper, J.D. Ullman, M.Y. Vardi. Updating Logical Databases. Advances in Computing Research, Vol. 3, JAI Press, 1986.
A. Guessoum and J. W. Lloyd. Updating Knowledge Bases II. TR-90-13, Univ. Bristol, Comp. Sc., 1990.
A.C. Kakas and P. Mancarella. Database Updates through Abduction in: Proceedings of the 16 th International Conference on Very Large Databases, 1990, pp. 650–661.
Michael Kifer and V.S. Subrahmanian. Theory of Generalized Annotated Logic Programming and its Applications. J. ofLogic Programming, Vol. 12, 1992, pp. 335–367.
Raymond T. Ng and V.S. Subrahmanian. A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases in: Proceedings of the 8th International Conference in Logic Programming, 1991, pp. 565–580.
L. Ngo and P. Haddawy. Probabilistic Logic Programming and Bayesian Network in: Proceedings of the 1995 Asian Computing Science Conference, 1995, pp. 286–300.
N. Nilsson. Probabilistic Logic. Artificial Intelligence, 28, pp. 71–87.
D. Poole. Logic Programming, Abduction and Probability in: Proceedings of the International Conference on Fifth Generation Computer Systems, 1992, pp. 530–538
A. Restificar. An Update Procedure for A Probabilistic Deductive Database in: Proceedings of the 4 th Pacific Rim International Conference on Artificial Intelligence, 1996, pp. 144–156.
Anthony Tomasic. A View Update Translation via Deduction and Annotation in: Proceedings of the 2 nd International Conference on Database Theory, 1988, pp. 338–352.
K. Inoue and C. Sakama. Abductive Framework for Nonmonotonic Theory Change in: Proceedings of the 14 th International Joint Conference in Artificial Intelligence, 1995, pp. 204–210.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Restificar, A.C. (1998). Probabilistic diagnosis as an update problem. In: Antoniou, G., Ghose, A.K., Truszczyński, M. (eds) Learning and Reasoning with Complex Representations. PRICAI 1996. Lecture Notes in Computer Science, vol 1359. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-64413-X_41
Download citation
DOI: https://doi.org/10.1007/3-540-64413-X_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64413-2
Online ISBN: 978-3-540-69780-0
eBook Packages: Springer Book Archive