Abstract
This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the incidence sets of these statements in incidence calculus. We will prove that a probabilistic ATMS can be implemented using incidence calculus. In this way, we can not only produce labels for all nodes in the system automatically, but also calculate the probability of any of such nodes in it. The reasoning results in incidence calculus can provide justifications for an ATMS automatically.
Preview
Unable to display preview. Download preview PDF.
References
Bundy,A., Incidence calculus: A mechanism for probabilistic, reasoning. Journal of Automated Reasoning 1:263–83, 1985.
Bundy,A., Incidence calculus, The Encyclopedia of AI. 663–668, 1992.
Bundy,A. and W. Liu, On Dempster's combination rule. Submitted to the Journal of Artificial Intelligence, 1993.
Correa da Silva,F. and A.Bundy (1990) On some equivalent relations between incidence calculus and Dempster-Shafer theory of evidence. Proc. of sixth conference of uncertainty in artificial intelligence, pp.378–383.
d'Ambrosio,B., A hybrid approach to reasoning under uncertainty, Int. J. Approx. Reasoning 2 (1988): 29–45.
d'Ambrosio,B., Incremental Construction and Evaluation of Defeasible Probabilistic Models, I.J.Approx. Reasoning 4 (1990): 233–260.
de Kleer,J., An assumption-based TMS. Artificial Intelligence 28 (1986) 127–162.
de Kleer,J. and B.C.Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97–130.
Doyle,J., A truth maintenance system. Artificial Intelligence 12 (3): 231–72, 1979.
Dubois,D., J.Lang and H.Prade, Handling uncertain knowledge in an ATMS using possibilistic logic, ECAI-90 workshop on Truth Maintenance Systems, (1990) Stockholm, Sweden.
Falkenhainer, B., Towards a general purpose belief maintenance system, Proc. 2nd workshop on Uncertainty in AI. Philadelphia, 71–76, 1986.
Fulvio Monai,F. and T.Chehire, Possibilistic Assumption based Truth Maintenance Systems, Validation in a Data Fusion Application, Proc. of the eighth conference on uncertainty in artificial intelligence. Stanford, 83–91, 1992.
Laskey,K.B. and P.E. Lehner, Assumptions, Beliefs and Probabilities, Artificial Intelligence 41 (1989/90) 65–77.
Liu,W. and A.Bundy, Constructing probabilistic ATMS using incidence calculus. Submitted, 1993.
Pearl,J., Probabilistic Reasoning in Intelligence Systems: networks of plausible inference. Morgan Kaufmann Publishers, Inc., 1988.
Proven,G.M., An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions. Proc. of the 11th International Joint Conf. on Artificial Intelligence, p:1115–1120, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, W., Bundy, A., Robertson, D. (1993). On the relations between incidence calculus and ATMS. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028207
Download citation
DOI: https://doi.org/10.1007/BFb0028207
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57395-1
Online ISBN: 978-3-540-48130-0
eBook Packages: Springer Book Archive