Incidence calculus: A mechanism for probabilistic reasoning

DOI10.1007/BF00244272MaRDI QIDQ1820599zbMATH OpenOpenAlexFDO

Authors Alan Bundy

Publication date 1985

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.3438

zbMATH Keywords

probabilityexpert systemsprobabilistic logic with truth functional connectivesautomation of uncertainty

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability and inductive logic (03B48) Artificial intelligence (68T99)

Abstract: Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. 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.

Recommendations

• Correctness criteria of some algorithms for uncertain reasoning using incidence calculus
• Assignment methods for incidence calculus
• scientific article; zbMATH DE number 4213479
• Propositional, probabilistic and evidential reasoning. Integrating numerical and symbolic approaches
• On the completeness of incidence calculus

Cited in

(17)

• Correctness criteria of some algorithms for uncertain reasoning using incidence calculus
• Rough Set Models on Two universes
• Assignment methods for incidence calculus
• EXTENSIONAL PROCESSING OF PROBABILITY MEASURES
• Evidential reasoning using stochastic simulation of causal models
• Counterfactuals
• On the applicability of maximum entropy to inexact reasoning
• Two views of the theory of rough sets in finite universes
• On the completeness of incidence calculus
• Processing expertise systematically
• scientific article; zbMATH DE number 1087958 (Why is no real title available?)
• Constructing probabilistic ATMSs using extended incidence calculus
• Fuzzy operator logic and fuzzy resolution
• A probabilistic approximate logic for neuro-symbolic learning and reasoning
• Propositional, probabilistic and evidential reasoning. Integrating numerical and symbolic approaches
• Enhancing the inference mechanism of Nilsson's probabilistic logic
• Anytime deduction for probabilistic logic

This page was built for publication: Incidence calculus: A mechanism for probabilistic reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820599)