Now showing items 1-3 of 3
Incidence Calculus: A Mechanism for Probabilistic Reasoning
(D. Reidet Publishing Company, 1985)
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, ...
Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus
Incidence Calculus is a technique for associating uncertainty values with logical sentences. These uncertainty values are called incidences and they are sets of points, which may be thought of as representing equivalence ...
Constructing Probabilistic ATMS Using Extended Incidence Calculus
This paper discusses the relations between extended incidence calculus and assumption-based truth maintenance systems (ATMSs). We first prove that managing labels for statements (nodes) in an ATMS is equivalent to producing ...