Skip to main content
SpringerLink
Log in

Incorporating Fuzzy Set Theory and Matrix Logic in Multi-layer Logic

– A Preliminary Consideration

  • Conference paper
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing (RSFDGrC 1999)

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

  • 765 Accesses

Abstract

This paper is concerned with a preliminary consideration to provide the formal specification of language of knowledge processing system SKAUS (Super Knowledge Acquisition and Utilization System) which incorporates uncertain knowledge processing and non-symbolic information processing units in the system. SKAUS is planned as a super set of KAUS developed by the authors. KAUS implement multi-layer logic (MLL for short) based on classical set theory. SKAUS is intended to have additional capabilities of KAUS, such as representing uncertain knowledge in the forms of language used in fuzzy set theory and probability theory. In addition to this extension, we try to incorporate matrix logic into our extension so as to process non-symbolic information in corporation with neural networks.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Voorbraak, F. (ed.): RUR 1995. LNCS, vol. 1093, pp. 52–89. Springer, Heidelberg (1996)

    Book  Google Scholar 

  2. Kyburg Jr., H.E.: Uncertain Inferences and Uncertain Conclusions. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing, pp. 365–372. Research Studies Press Ltd., Hertfordshire (1998)

    Google Scholar 

  3. Krause, P., Clark, D.: Representing Uncertain Knowledge. Kluwer Academic, Boston (1993)

    MATH  Google Scholar 

  4. Zadeh, L.A.: Fuzzy Sets. Information and control 8, 338–353 (1965)

    Article  MATH  MathSciNet  Google Scholar 

  5. Ohsuga, S., Yamauchi, H.: Multi-layer Logic - A predicate logic including data structure as knowledge representation language. New Generation Computing 3 (1985)

    Google Scholar 

  6. Yamauchi, H., Ohsuga, S.: Modelling Objects by Extensions and Intensions - A Theoretical Background of KAUS. In: Ohsuga, S., et al. (eds.) Information Modelling and Knowledge Bases III. IOS Press, Amsterdam (1992)

    Google Scholar 

  7. Barwise, J.: Admissible Sets and Structures. Springer, Heidelberg (1975)

    MATH  Google Scholar 

  8. Yamauchi, H., Ohsuga, S.: KAUS as a tool for model building and evaluation. In: Proc. 5th Internat. Workshop Expert Systems and their Applications (1985)

    Google Scholar 

  9. Ohsuga, S.: Toward truly intelligent information systems - from expert systems to automatic programming. Knowledge-Based Systems 10, 363–396 (1998)

    Article  Google Scholar 

  10. Yamauchi, H.: KAUS User’s Manual Version 6.502 (1999)

    Google Scholar 

  11. Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)

    Google Scholar 

  12. Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, London (1980)

    MATH  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. Magrez, P., Smets, P.: Fuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems. In: Dubois, D., Prade, H., Yager, R.R. (eds.) Readings in Fuzzy Sets for Intelligent Systems, pp. 565–574. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  15. Lee, R.C.T.: Fuzzy Logic and the Resolution Principle. In: Dubois, D., Prade, H., Yager, R.R. (eds.) Readings in Fuzzy Sets for Intelligenct Systems, pp. 442–452. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  16. Fontana, F.A., Formato, F., Gerla, G.: Fuzzy Unification as a Foundation of Fuzzy Logic Programming. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing. Research Studies Press Ltd., Hertfordshire (1998)

    Google Scholar 

  17. Xu-Han, Shi, S.-L: Fuzzy Reasoning with Fuzzy Quantifiers. In: Proceedings of IEEE International Symposium on Multiple Valued Logic, Washington DC, USA, pp. 36–40 (1989)

    Google Scholar 

  18. Dubois, D., Prade, H., Sandri, S.A.: Possibilistic Logic with Fuzzy Constants and Fuzzy Restricted Quantifiers. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing. Research Studies Press Ltd., Hertfordshire (1998)

    Google Scholar 

  19. Baldwin, J.F., Martin, T.P.: The Management of Uncertainty in Logic Programs using Fril. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing. Research Studies Press Ltd., Hertfordshire (1998)

    Google Scholar 

  20. Mukaidono, M., Shen, Z., Ding, L.: Fundamentals of Fuzzy Prolog. In: Dubois, D., Prade, H., Yager, R.R. (eds.) Readings in Fuzzy Sets for Intelligenct Systems, pp. 454–460. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  21. Hajek, P., Godo, L., Esteva, F.: Fuzzy Logic and Probability. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic programming and Soft Computing, pp. 237–244. Research Studies Press Ltd., Hertfordshire (1998)

    Google Scholar 

  22. Pearl, J.: Probabilistic Reasoning in Intelligenct Systems. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  23. Raymond, N., Subrahmanian, V.S.: Probabilistic Logic Programming. Information and Computation 101, 150–201 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  24. Stern, A.: Matrix Logic and Mind. North-Holland/Elsevier (1992)

    Google Scholar 

  25. von Altrock, C.: Fuzzy Logic & Neurofuzzy Applications Explained. Prentice Hall, Englewood Cliffs (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Center for Advanced Science and Technology, University of Tokyo, 4-6-1 Komaba, Meguro-ku, Tokyo, 153-8904, Japan

    Hiroyuki Yamauchi

  2. Dept. of Information and Computer Science, Waseda University, 3-4-1 Okubo, Shinjuku-ku, Tokyo, 169-8555, Japan

    Setsuo Ohsuga

Authors
  1. Hiroyuki Yamauchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Setsuo Ohsuga
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The International WIC Institute, Beijing University of Technology, China

    Ning Zhong

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

    Andrzej Skowron

  3. Professor Emeritus, University of Tokyo,  

    Setsuo Ohsuga

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yamauchi, H., Ohsuga, S. (1999). Incorporating Fuzzy Set Theory and Matrix Logic in Multi-layer Logic. In: Zhong, N., Skowron, A., Ohsuga, S. (eds) New Directions in Rough Sets, Data Mining, and Granular-Soft Computing. RSFDGrC 1999. Lecture Notes in Computer Science(), vol 1711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48061-7_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-48061-7_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66645-5

  • Online ISBN: 978-3-540-48061-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation