Incidence Calculus on Lukasiewicz's Three-valued Logic

摘要: Incidence calculus is a probabilistic logic which possesses both numerical and symbolic approaches. However, Liu in [5] pointed out that the original incidence had some drawbacks she established generalized theory (GICT) based on Lukasiewicz's three-valued to improve it. In GICT, an function defined relate each proposition φ axioms of set possible worlds has truth value true. But only represents those absolute true states propositions, so it can not deal with uncertain states. this paper, we use two functions i$_*$ i$^*$ sets worlds. For axiom φ, i$_*$(φ) be thought as true, while i$^*$(φ) or undeterminable. Since represent undeterminable state, our newly more efficient handle vague information than GICT.