Abstract
Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. We argue that a purely numeric mechanism, like those proposed so far, cannot provide a probabilistic logic with truth functional connectives. We propose an alternative mechanism, Incidence Calculus, which is based on a representation of uncertainty using sets of points, which might represent situations models or possible worlds. Incidence Calculus does provide a probabilistic logic with truth functional connectives.
This is a preview of subscription content, log in via an institution to check access.
References
[Bundy 85] Bundy, A., Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus. Research Paper, Dept. of Artificial Intelligence, Edinburgh, 1985. Submitted to the Journal of Automated Reasoning.
[Corlett and Todd 85] Corlett, R. A. and Todd, S. J., ‘A Monte-Carlo approach to uncertain inference’. In Ross, P. (editor). Proceedings of AISB-85, pp. 28–34 (1985)
[Duda et al. 78] Duda, R. O., Hart, P. E., Nilsson, N. J. and Sutherland, G. L., ‘Semantic network representations in rule-based inference systems’. In Waterman, D. and Hayes-Roth, F. (editors), Pattern-directed Inference Systems, pp. 203–221. Academic Press (1978).
[Feller 68] Feller, W. An Introduction to Probability Theory and Its Applications. John Wiley & Sons, Third Edition (1968).
[Lowrance and Garvey 82] Lowrance, J. D. and Garvey, T. D., ‘Evidential reasoning: A developing concept’. In Proceedings of the International Conference on Cybernetics and Society, pp. 6–9. IEEE (1982).
[Nilsson 84] Nilsson, N., Probabilistic Logic. Technical Note 321, SRI International (1984)
[Shortliffe 76] Shortliffe, E. H., Computer-based Medical Consultations: MYCIN. North Holland (1976).
[Zadeh 81] Zadeh, L. ‘PRUF-a meaning representational language for natural languages’. In Mamdani, E. and Gaines, B. (editors) Fuzzy reasoning and its applications. Academic Press (1981).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bundy, A. Incidence calculus: A mechanism for probabilistic reasoning. J Autom Reasoning 1, 263–283 (1985). https://doi.org/10.1007/BF00244272
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00244272