Skip to main content
SpringerLink
Log in

Fuzzy Reasoning Based on Propositional Modal Logic

  • Conference paper
Rough Sets and Current Trends in Computing (RSCTC 2004)

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

Included in the following conference series:

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.

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.

References

  1. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)

    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. Pawlak, Z.: Rough sets. International Journal of Computer and Information Science 11, 341–356 (1982)

    Article  MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  7. Straccia, U.: A fuzzy description logic. In: Proceedings of AAAI 1998, 15th National Conference on Artificial Intelligence, Madison, Wisconsin (1998)

    Google Scholar 

  8. Beihai, Z.: An introduction to modal logic, pp. 141–165. Beijing University Press, Beijing (1991) (in Chinese)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Joint Laboratory of Intelligent Computing, Department of Computer Science, East China Shipbuilding Institute, Zhenjiang, 212003, P.R. China

    Zaiyue Zhang

  2. Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, 100080, P.R. 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. Shimane University, 89-1 Enya-cho Izumo, 6938501, Shimane, Japan

    Shusaku Tsumoto

  2. Systems Research Institute, Polish Academy of Sciences, 01-447, Warsaw, Poland

    Roman Słowiński

  3. The Linnaeus Centre for Bioinformatics, Uppsala University, Uppsala, Sweden

    Jan Komorowski

  4. Institute of Computer Science, Polish Academy of Sciences, 01–237, Warsaw, Poland

    Jerzy W. Grzymała-Busse

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation