Abstract
The notion of the fuzzy assertion based on propositional modal logic is introduced and the properties of the fuzzy reasoning based on fuzzy assertions are studied. As an extending of the traditional semantics of modal logics, the fuzzy Kripke semantics is considered and a formal fuzzy reasoning system based on fuzzy constraint is established. In order to decide whether a fuzzy assertion is a logical consequence of a set of fuzzy assertions, the notion of the educed set based on fuzzy constraint is introduced and the relation between the fuzzy reasoning and the satisfiability of the educed set is revealed.
This work is supported by the Natural Science Foundation (grant no. 60310213, 60573064), and the National 973 Programme (grants no. 2003CB317008 and G1999032701).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht (1998)
Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1-4. Clarendon Press, Oxford (1994)
Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.): Handbook of Logic in Computer Science, vol. 1–3. Clarendon Press, Oxford (1992)
BlackBurn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Orłowska, E.: Kripke semantics for knowledge representation logics. Studia Logica XLIX, 255–272 (1990)
Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)
Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)
Pawlak, Z.: Rough sets. International Journal of Computer and Information Science 11, 341–356 (1982)
Pawlak, Z.: Rough Sets-Theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht (1991)
Hájek, P., Harmancová, D.: A many-valued modal logics. In: Proceedings of IPMU 1996, pp. 1021–1024 (1996)
Hájek, P.: Metamathematics of fuzzy logic. In: Trends in Logic, vol. 4, Cluwer (1998)
Rodríguez, R., Garcia, P., Godo, L.: Using fuzzy similarity relations to revise and update a knowledge base. Mathware and Soft Computing 3, 357–370 (1996)
Godo, L., Rodríguez, R.: Graded similarity based semantics for nonmonotonic inference. Annals of Mathematics and Artificial Intelligence 34, 89–105 (2002)
Zhang, Z., Sui, Y., Cao, C.: Fuzzy reasoning based on propositional modal logic. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 109–115. Springer, Heidelberg (2004)
Dubois, D., Prade, H.: Posibilistic Logic: a Retrospective and Prospective View. Fuzzy sets and Systems 144, 3–23 (2004)
Kripke, S.A.: Semantical analysis of modal logic II. In: Addsion, J.W., et al. (eds.) The Theory of Models, pp. 206–220. North-Holland, Amsterdam (1965)
Straccia, U.: A fuzzy description logic. In: Proceedings of AAAI 1998, 15th National Conference on Artificial Intelligence, Madison, Wisconsin (1998)
Beihai, Z.: An Introduction to Modal Logic (in Chinese). Beijing University Press (1991)
Buchheit, M., Donini, F.M., Scharerf, A.: Decidable reasoning in terminological knowledge representation systems. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 704–709 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Z., Sui, Y., Cao, C. (2006). Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. In: Wang, GY., Peters, J.F., Skowron, A., Yao, Y. (eds) Rough Sets and Knowledge Technology. RSKT 2006. Lecture Notes in Computer Science(), vol 4062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11795131_24
Download citation
DOI: https://doi.org/10.1007/11795131_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36297-5
Online ISBN: 978-3-540-36299-9
eBook Packages: Computer ScienceComputer Science (R0)