Incidence Calculus: A Mechanism for Probabilistic Reasoning

03/27/2013
by   Alan Bundy, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

page 7

research
03/27/2013

Probabilistic Inference and Probabilistic Reasoning

Uncertainty enters into human reasoning and inference in at least two wa...
research
01/09/2019

Lambda Calculus and Probabilistic Computation

We introduce two extensions of λ-calculus with a probabilistic choice op...
research
03/13/2013

Towards Precision of Probabilistic Bounds Propagation

The DUCK-calculus presented here is a recent approach to cope with proba...
research
03/27/2013

A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions

Attempts to replicate probabilistic reasoning in expert systems have typ...
research
01/18/2017

Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

This article aims to achieve two goals: to show that probability is not ...
research
03/20/2013

Combining Multiple-Valued Logics in Modular Expert Systems

The way experts manage uncertainty usually changes depending on the task...
research
03/27/2013

The Role of Calculi in Uncertain Inference Systems

Much of the controversy about methods for automated decision making has ...

Please sign up or login with your details

Forgot password? Click here to reset