Skip to main content
Springer Nature Link
Log in

Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic

  • Conference paper
Rough Sets and Knowledge Technology (RSKT 2006)

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

Included in the following conference series:

  • 1050 Accesses

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

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. Fitting, M., Mendelsohn, R.L.: 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. BlackBurn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

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

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

    Article  MATH  MathSciNet  Google Scholar 

  9. Pawlak, Z.: Rough Sets-Theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

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

    Google Scholar 

  11. Hájek, P.: Metamathematics of fuzzy logic. In: Trends in Logic, vol. 4, Cluwer (1998)

    Google Scholar 

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

  13. 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 

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

    Chapter  Google Scholar 

  15. Dubois, D., Prade, H.: Posibilistic Logic: a Retrospective and Prospective View. Fuzzy sets and Systems 144, 3–23 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  16. 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 

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

    Google Scholar 

  18. Beihai, Z.: An Introduction to Modal Logic (in Chinese). Beijing University Press (1991)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Jiangsu University of Science and Technology,  

    Zaiyue Zhang

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

    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. College of Computer Science and Technology, Chongqing, University of Posts and Telecommunication, 400065, Chongqing, P.R. China

    Guo-Ying Wang

  2. Department of Electrical and Computer Engineering, University of Manitoba, R3T 5V6, Winnipeg, Manitoba, Canada

    James F. Peters

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

    Andrzej Skowron

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

    Yiyu Yao

Rights and permissions

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

Publish with us

Policies and ethics