|
|||||
|
|
On the completeness of incidence calculus |
|
| Authors: | Lusheng Wang S. K. M. Wong Y. Y. Yao |
| Affiliation: | (1) Department of Electrical and Computer Engineering, McMaster University, L8S 4K1 Hamilton, ON, Canada;(2) Department of Computer Science, University of Regina, S4S 0A2 Regina, SK, Canada;(3) Department of Mathematical Sciences, Lakehead University, P7B 5E1 Thunder Bay, ON, Canada |
| 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. |
| Keywords: | 68T15 03B05 |
| 本文献已被 SpringerLink 等数据库收录！ | |