Electronic Resource
Springer
Journal of automated reasoning
16 (1996), S. 355-368
ISSN:
1573-0670
Keywords:
68T15
;
03B05
;
automatic theorem proving
;
complete axiomatization
;
incidence calculus
;
inference rules
;
propositional logic
;
uncertain reasoning
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Incidence calculus is a mechanism for uncertain reasoning originally introduced by Bundy. He suggested a set of inference rules for deriving new incidence bounds from a given set of lower and upper bounds of some propositions. However, it is important to demonstrate that the inference axioms are complete in any axiomatization. It is proved in this paper that inference rules used by Bundy are indeed complete.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00252181
Permalink
|
Location |
Call Number |
Expected |
Availability |
