A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic

Theoretical Computer Science

Volumn 368, Issue 1-2, 2006, Pages 149-160

  Zhang, Zaiyue ^a   Sui, Yuefei ^b   Cao, Cungen ^b   Wu, Guohua ^c  

^a JIANGSU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Formal system; Fuzzy reasoning; Propositional modal logic; Soundness and completeness

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS;

FORMAL SYSTEM; FORMALIZED REASONING; FUZZY REASONING; PROPOSITIONAL MODAL LOGIC;

FUZZY SETS;

EID: 33750713058     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.09.021     Document Type: Article

References (20)

1. S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, Vols. 1-3, Clarendon Press, Oxford, 1992.
2. Alefeld G., and Herzberger J. Introduction to Interval Computations (1983), Academic Press, New York
3. BlackBurn P., de Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press, Cambridge
4. M. Buchheit, F.M. Donini, A. Scharerf, Decidable reasoning in terminological knowledge representation systems, in: Proc. of the 13th Internat. Joint Conf. on Artificial Intelligence (IJCAI'93), 1993, pp. 704-709.
5. Dubois D., and Prade H. Possibility Theory: An Approach to Computerized Processing of Uncertainty (1988), Plenum Press, New York
6. Fagin R.F., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1996), MIT Press, Cambridge, MA
7. D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vols. 1-4, Clarendon Press, Oxford, 1994.
8. Godo L., and Rodríguez R. Graded similarity based semantics for nonmonotonic inference. Ann. Math. Artificial Intelligence 34 (2002) 89-105
9. P. Hájek, Metamathematics of fuzzy logic, in: Trends in Logic, Vol. 4, Kluwer Academic Publishers, Dordrecht, 1998.
10. P. Hájek, D. Harmancová, A many-valued modal logics, in: Proc. of IPMU'96, 1996, pp. 1021-1024.
11. Kripke S.A. Semantical analysis of modal logic II. In: Addsion J.W., et al. (Ed). The Theory of Models (1965), North-Holland, Amsterdam 206-220
12. Melvin F., and Richard L.M. First-Order Modal Logic (1998), Kluwer Academic Publishers, Dordrecht
13. Orłowska E. Kripke semantics for knowledge representation logics. Studia Logica XLIX (1990) 255-272
14. Pawlak Z. Rough sets. Internat. J. Comput. Inform. Sci. 11 (1982) 341-356
15. Pawlak Z. Rough Sets-Theoretical Aspects of Reasoning about Data (1991), Kluwer Academic Publishers, Dordrecht
16. Rodríguez R., Garcia P., and Godo L. Using fuzzy similarity relations to revise and update a knowledge base. Mathware Soft Comput. 3 (1996) 357-370
17. U. Straccia, A fuzzy description logic, in: Proc. of AAAI'98, 15th National Conf. on Artificial Intelligence, Wisconsin, Madison, 1998, pp. 594-599.
18. Yao Y.Y. A comparative study of fuzzy sets and rough sets. Inform. Sci. 109 (1998) 227-242
19. Z. Zhang, Y. Sui, C. Cao, Fuzzy reasoning based on propositional modal logic, in: Proc. of the Fourth Internat. Conf. on Rough Sets and Current Trends in Computing (RSCTC2004), Lecture Notes in Computer Science, Vol. 3066, Springer, Berlin, 2004, pp. 109-115.
20. Zhou B. An Introduction to Modal Logic (1991), Beijing University Press (in Chinese)