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 ...
Metalogic and the psychology of reasoning
(The University of Edinburgh, 1988)
The central topic of the thesis is the relationship between logic and the cognitive psychology of reasoning. This topic is treated in large part through a detailed examination of the recent work of P. N. Johnson-Laird, ...