Abstract
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are assigned to incidences. However, numerical values may be assigned to formulae directly without specifying the incidences. In this paper, we propose a method of discovering incidences under these circumstances which produces a unique output comparing with the large number of outputs from other approaches. Some theoretical aspects of this method are thoroughly studied and the completeness of the result generated from it is proved. The result can be used to calculate mass functions from belief functions in the Dempster-Shafer theory of evidence (DS theory) and define probability spaces from inner measures (or lower bounds) of probabilities on the relevant propositional language set.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. Bundy, “Incidence calculus: A mechanism for probability reasoning,” J. of Automated Reasoning, vol. 1, pp. 263- 283, 1985.
A. Bundy, “Incidence calculus,” The Encyclopedia of AI, pp. 663- 668, 1992. Also available as the Research paper No. 497 in the Dept. of Artificial Intelligence, Univ. of Edinburgh.
W. Liu and A. Bundy, “A comprehensive comparison between generalized incidence calculus and Dempster Shafer theory of evidence,” Int. J. of Man-Machine Studies, vol. 42, pp. 462- 491, 1994.
A. Frisch and P. Haddawy, “Anytime deduction for probabilistic logic,” Artificial Intelligence, vol. 69, pp. 93- 122, 1994.
R.G. McLean, A. Bundy, and W. Liu, “Assignment methods for incidence calculus,” Journal of Approximate Reasoning, vol. 12, pp. 21- 41, 1995. Also available as Department Research Paper 649.
A. Bundy, “Correctness criteria of some algorithms for uncertain reasoning using incidence calculus,” J. of Automated reasoning, vol 2, pp. 109- 126, 1986.
W. Liu, “Extended incidence calculus and its comparison with related theories,” Ph.D. Thesis, Dept. of AI, University of Edinburgh, 1995.
A.P. Dempster, “Upper and lower probabilities induced by a multivalued mapping,” Ann. Math. Stat., vol. 38, pp. 325- 339, 1967.
G. Shafer, A Mathematical Theory of evidence, Princeton University Press, 1976.
R. Fagin and J. Halpern, “Uncertainty, belief and probability,” IJCAI-89, pp. 1161- 1167, 1989.
D. McBryan, “Assigning incidences to formulae,” Fourth Year project, Dept. of AI, Univ. of Edinburgh, 1996.
R. Fagin and J. Halpern, “Uncertainty, belief and probability,” Research Report of IBM, RJ 6191, 1989.
F. Correa da Silva and A. Bundy, “On some equivalent relations between incidence calculus and Dempster-Shafer theory of evidence,” in Proc. of Sixth Workshop of Uncertainty in Artificial Intelligence, pp. 378- 383, 1990. The Method of Assigning Incidences 161
A. Chateauneuf, “Combination of compatible belief functions and relation of specificity,” in Advances in the Dempster-Shafer Theory of Evidence, edited by Yager, Fedrizzi, and Kacprzyk, John Wiley and Sons, pp. 97- 114, 1994.
H.K. Kyburg, Jr., “Evidential probability,” Computer Science Technical Report number 376, Univ. of Rochester.
R.G. McLean, “Testing and extending the incidence calculus,” M.Sc. Dissertation, Dept. of AI, University of Edinburgh, 1992.
P. Smets, “Belief functions,” in Non-Standard Logics for Automated Reasoning, edited by Smets, Mamdani, Dubois, and Prade, pp. 253- 286, 1988.
F. Bucchus, Representing and Reasoning with Probabilistic Knowledge, MIT Press, 1990.
P.R. Cohen, “Heuristic reasoning about uncertainty: An artificial intelligence approach,” Ph.D. Dissertation, Pitman Advanced Publishing Program, Boston, London, Melbourne, 1985.
N. Nilsson, “Probabilistic logic,” Artificial Intelligence, vol. 28, pp. 71- 87, 1986.
E.H. Shortliffe, Computer-Based Medical Consultations: MYCIN, Elsevier: New York, 1976.
L.A. Zadeh, “Fuzzy logic and approximate reasoning,” Synthese, vol. 30, pp. 407- 428, 1975.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Liu, W., McBryan, D. & Bundy, A. The Method of Assigning Incidences. Applied Intelligence 9, 139–161 (1998). https://doi.org/10.1023/A:1008216002832
Issue Date:
DOI: https://doi.org/10.1023/A:1008216002832