Incidence Calculus on Łukasiewicz's Three-valued Logic

  • Authors:

  • Guilin Qi;Peter Milligan;Paul Sage

  • Affiliations:

  • School of Computer Science, Queen's University Belfast, Belfast, BT7 1NN, U.K. E-mais: G.Qi,P.Milligan/ P.Sage@qub.ac.uk;School of Computer Science, Queen's University Belfast, Belfast, BT7 1NN, U.K. E-mais: G.Qi,P.Milligan/ P.Sage@qub.ac.uk;School of Computer Science, Queen's University Belfast, Belfast, BT7 1NN, U.K. E-mais: G.Qi,P.Milligan/ P.Sage@qub.ac.uk

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2005

Quantified Score

Hi-index 0.01

Visualization

Abstract

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