Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics

  • Conference paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3641))

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

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Melvin, F., Richard, L.M.: First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht (1998)

    MATH  Google Scholar 

  2. 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)

    Google Scholar 

  3. Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.): Handbook of Logic in Computer Science, vol. 1-3. Clarendon Press, Oxford (1992)

    Google Scholar 

  4. Orłowska, E.: Kripke semantics for knowledge representation logics. Studia Logica XLIX(1990), 255–272

    Google Scholar 

  5. Fagin, R.F., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT press, Cambridge (1996)

    Google Scholar 

  6. Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)

    MATH  Google Scholar 

  7. Dubois, D., Prade, H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)

    MATH  Google Scholar 

  8. Hájek, P., Harmancová, D.: A many-valued modal logics. In: Proceedings of IPMU 1996, pp. 1021–1024 (1996)

    Google Scholar 

  9. 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)

    MATH  MathSciNet  Google Scholar 

  10. Godo, L., Rodríguez, R.: Graded similarity based semantics for nonmonotonic inference. Annals of Mathematics and Artificial Intelligence 34, 89–105 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. Yao, Y.Y.: A comparative study of fuzzy sets and rough sets. Information Science 109, 227–242 (1998)

    Article  MATH  Google Scholar 

  14. Pawlak, Z.: Rough sets. International Journal of Computer and Information Science 11, 341–356 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  15. Pawlak, Z.: Rough Sets – Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Jiangsu University of Science and Technology, Zhenjiang, Jiangsu, 212003, China

    Zaiyue Zhang

  2. Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, 100080, China

    Yuefei Sui & Cungen Cao

Authors
  1. Zaiyue Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuefei Sui
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Cungen Cao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Regina, Regina, SK, S4S 0A2 Canada, Polish-Japanese Institute of Information Technology, Koszykowa 86, 02-008 Warsaw, P.O. Box, Poland

    Dominik Ślęzak

  2. School of Information Science and Technology, Southwest Jiaotong University, 610031, Chengdu, P.R. China

    Guoyin Wang

  3. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Marcin Szczuka

  4. Department of Computer Science, Brock University, St. Catharines, L2S 3A1, Ontario, Canada

    Ivo Düntsch

  5. Department of Computer Science, University of Regina, S4S 0A2, Regina, Saskatchewan, Canada

    Yiyu Yao

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation