Incidence calculus: A mechanism for probabilistic reasoning

DOI10.1007/BF00244272zbMATH Open0615.68067arXiv1304.3438OpenAlexW1554205565MaRDI QIDQ1820599FDOQ1820599

Authors: Alan Bundy 

Publication date: 1985

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

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.

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

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

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)

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
• Counterfactuals
• Evidential reasoning using stochastic simulation of causal models
• 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
• Title not available (Why is that?)
• Constructing probabilistic ATMSs using extended incidence calculus
• Fuzzy operator logic and fuzzy resolution
• Propositional, probabilistic and evidential reasoning. Integrating numerical and symbolic approaches
• A probabilistic approximate logic for neuro-symbolic learning and reasoning
• 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)