Abstract
In order to deal with some vague assertions more efficiently, fuzzy modal logics have been discussed by many researchers. This paper introduces the notation of fuzzy assertion based on propositional modal logic. As an extension of the traditional semantics about the modal logics, the fuzzy Kripke semantics are considered and the formal system of the fuzzy reasoning based on propositional modal logic is established and the properties about the satisfiability of the reasoning system are discussed.
The project was partially supported by the National NSF of China under the grant number 60310213 and the National 973 Project of China under the grant number G1999032701. The second author was partially supported by the National Laboratory of Software Development Environment.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
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)
Pawlak, Z.: Rough sets. International Journal of Computer and Information Science 11, 341–356 (1982)
Fagin, R.F., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1996)
Hájek, P., Harmancová, D.: A many-valued modal logics. In: Proceedings of IPMU 1996, pp. 1021–1024 (1996)
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, pp. 141–165. Beijing University Press, Beijing (1991) (in Chinese)
Buchheit, M., Donini, F.M., Scharerf, A.: Decidable reasoning in terminological knowledge representation systems. In: Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI 1993), pp. 704–709 (1993)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Z., Sui, Y., Cao, C. (2004). Fuzzy Reasoning Based on Propositional Modal Logic. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds) Rough Sets and Current Trends in Computing. RSCTC 2004. Lecture Notes in Computer Science(), vol 3066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25929-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-25929-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22117-3
Online ISBN: 978-3-540-25929-9
eBook Packages: Springer Book Archive