Incidence calculus on Łukasiewicz's three-valued logic

Fundamenta Informaticae

Volumn 68, Issue 4, 2005, Pages 357-378

  Qi, Guilin ^a,b   Milligan, Peter ^a   Sage, Paul ^a  

^a QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

^b YICHUN UNIVERSITY   (China)

Author keywords

Basic incidence assignment; Incidence calculus; Probabilistic logic

Indexed keywords

NUMERICAL METHODS; PROBABILITY; SET THEORY; THEOREM PROVING;

BASIC INCIDENCE ASSIGNMENT; INCIDENCE CALCULUS; PROBABILISTIC LOGIC;

FORMAL LOGIC;

EID: 33645325976     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

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.: Prepositional, 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. Hd́jek, P.: Metamathematics of fuzzy logic. Dordrecht: Kluwer, 1998.
17. Wajsberg, M.: Axiomatization of the three-valued prepositional 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.