Abstract
As an extension of the traditional modal logic, the fuzzy first-order modal logic is discussed in this paper. A description of fuzzy first-order modal logic based on constant domain semantics is given, and a formal system of fuzzy reasoning based on the semantic information of models of first-order modal logic is established. It is also introduced in this paper the notion of the satisfiability of the reasoning system and some properties associated with the satisfiability are proved.
The work is supported by the National NSF of China (60373042, 60273019 and 60073017), the National 973 Project of China (G1999032701), Ministry of Science and Technology (2001CCA03000).
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
Melvin, F., Richard, L.M.: 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)
Orłowska, E.: Kripke semantics for knowledge representation logics. Studia Logica XLIX(1990), 255–272
Fagin, R.F., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT press, Cambridge (1996)
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)
Hájek, P., Harmancová, D.: A many-valued modal logics. In: Proceedings of IPMU 1996, pp. 1021–1024 (1996)
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.Y., Sui, Y.F., Cao, C.G.: 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)
Zhang, Z.Y., Sui, Y.F., Cao, C.G.: Formal reasoning system based on fuzzy propositional modal logic. To appear in Journal of Software (2005)
Yao, Y.Y.: A comparative study of fuzzy sets and rough sets. Information Science 109, 227–242 (1998)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Z., Sui, Y., Cao, C. (2005). Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. In: Ślęzak, D., Wang, G., Szczuka, M., Düntsch, I., Yao, Y. (eds) Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing. RSFDGrC 2005. Lecture Notes in Computer Science(), vol 3641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11548669_66
Download citation
DOI: https://doi.org/10.1007/11548669_66
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28653-0
Online ISBN: 978-3-540-31825-5
eBook Packages: Computer ScienceComputer Science (R0)