Abstract | ||
---|---|---|
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, 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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/BF00244272 | Journal of Automated Reasoning |
Keywords | DocType | Volume |
Incidence Calculus,probability,uncertainty,logic,expert systems,inference | Journal | abs/1304.3438 |
Issue | ISSN | Citations |
3 | 0168-7433 | 34 |
PageRank | References | Authors |
11.79 | 4 | 1 |