Incidence Calculus on Łukasiewicz's Three-valued Logic

• Autorzy: Qi G. , Milligan P. , Sage P.
• Języki publikacji: EN

Abstrakty

EN

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 f in the axioms of the theory to a set of possible worlds in which f 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 f, i*(f) is to be thought of as the set of possible worlds in which f has truth value true, while i*(f) is the set of possible worlds in which f is true or undeterminable. Since i* can represent the undeterminable state, our newly defined theory is more efficient to handle vague information than GICT.

Słowa kluczowe

EN

probabilistic logic; incidence calculus; basic incidence assignment

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 68, nr 4
• Strony: 357--378
• Opis fizyczny: Bibliogr. 18 poz.

Twórcy

autor

Qi G.

• School of Computer Science, Queen's University Belfast. Belfast BT7 INN, U.K.

autor

Milligan P.

• School of Computer Science, Queen's University Belfast. Belfast BT7 INN, U.K.

autor

Sage P.

• School of Computer Science, Queen's University Belfast. Belfast BT7 INN, U.K.

Bibliografia

• [1] Borkowski L.: Jan Łukasiewicz Selected Works, North Holland, Amsterdam, 1970.
• [2] Bundy, A.: Incidence calculus: a mechanism for probability reasoning. Journal of Automated Reasoning. 1, 263-283, 1985.
• [3] Bundy, A.: Correctness criteria of some algorithms for uncertain reasoning. Journal of Automated Reasoning. 2, 109-126, 1986.
• [4] Bundy, A.: Incidence calculus. The Encyclopedia of AI. 663-668, 1992.
• [5] Liu, W.: Propositional, Probabilistic and Evidential Reasoning: Integrating numerical and symbolic approaches. Studies in Fuzziness and Soft Computing, Volume 77, Springer-Verlag (Physica Verlag), 2001.
• [6] Recher N.: Many-valued Logic, New York, McGraw-Hill, 1969.
• [7] Shafer, G.: A Mathematical Theory of Evidence, Princeton University Press, 1976.
• [8] Yao, Y. Y., Xining Li.: Comparison of Rough-set and Interval-set Model For Uncertainty Reasoning , Fundamenta Informaticae. 27, 289–298, 1996.
• [9] Yao, Y.Y.: Two views of the theory of rough sets in finite universes, International Journal of Approximation Reasoning, 15, 291-317, 1996.
• [10] Yao, Y.Y., Lingras, P.J.: Interpretations of belief functions in the theory of rough sets, Information Sciences, 104, 81-106, 1998.
• [11] Yao, Y.Y.: On generalizing Pawlak approximation operators, Proceedings of the First International Conference on Rough Sets and Current Trends in Computing (RSCTC’98), LNAI 1424,Warsaw, Poland, June 22-26, pp. 298-307, 1998.
• [12] Yao, Y.Y.: Constructive and algebraic methods of the theory of rough sets, Information Sciences,109, 21-47, 1998.
• [13] Yao, Y.Y.: On generalizing rough set theory, Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC 2003), LNAI 2639, Chongqing, China, May 26-29, pp. 44-51, 2003.
• [14] Pawlak, Z.: Rough sets, International Journal of Computer and Information Science, 11, 341–356, 1981.
• [15] Qi, G.: Probabilistic Inference on Three-valued Logic, Proceedings of 9th International Conferece on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (RSFDGrc’2003), 690-693, 2003.
• [16] Hájek, P.: Metamathematics of fuzzy logic. Dordrecht: Kluwer, 1998.
• [17] Wajsberg, M.: Axiomatization of the three-valued propositional calculus, in S.J. Surma (eds.), Mordechaj Wajsberg. Logical Works, Polish Academy of Sciences, Ossolineum, 1977.
• [18] Wong, S.K.M., Wang, L.S., and Yao, Y.Y.: On modeling uncertainty with interval structures, Computational Intelligence, 11, 406-426, 1995.