Skip to main content
SpringerLink
Log in

Error tolerance method in multiple-valued logic

  • Accepted Papers
  • Conference paper
  • First Online:
Qualitative and Quantitative Practical Reasoning (FAPR 1997, ECSQARU 1997)

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

  • 140 Accesses

Abstract

Because standard logic is based on only two truth values, it is not suitable for reasoning with uncertainty or vague knowledge. Such knowledge requires nonstandard logics, for example fuzzy logic, multiple-valued logic, probabilistic and possibilistic logic. We provide a logical environment and a proof procedure for representing and reasoning about this kinds of knowledge.

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. W. Bibel. Automatic theorem proving. Vieweg Verlag, Braunschweig, 1987.

    Google Scholar 

  2. W. Bibel. Deduktion — Automatisierung der Logik. Handbuch der Infotmatik. Oldenbourg, München, 1992.

    Google Scholar 

  3. N.C.A. da Costa, J.J. Lu, and V.S. Subrahmanian. Automatic theorem proving in paraconsistent logics. pages 72–86. Foundations and Experimantal Result. Proc. 10th CADE, LNCS, Springer Verlag, 1989.

    Google Scholar 

  4. R. Hähnle. Uniform notation of tableaux rules for multiple-valued logics. In Proc. intentional Symposium on multiple-valued logics, pages 238–245. IEEE Press, 1991.

    Google Scholar 

  5. R. Hähnle. Exploiting data dependencies in many-valed logics. pages 48–69. Journal of applied Non-Classiccal Logics, 1996.

    Google Scholar 

  6. M. Kiefer and V.S. Subiahmanian. Theory of generalized annotated logic programming and its applications. pages 335–367. The journal of Logic Programming 12, 1992.

    Google Scholar 

  7. S.W. Lee. Deduktive Realisierung von Vagheit mittels einer mehrwertigen Logik. Erscheinen als Dissertation, Darmstadt, 1997.

    Google Scholar 

  8. J.J. Lu, N.V. Murray, and E. Rosenthal. Signed formulas and annotated logics. pages 48–53. Proc. of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993.

    Google Scholar 

  9. N.V. Murray, J.J. Lu, and E. Rosenthal. Signed formulas and fuzzy operator logics. pages 75–84. Proc. of the 8th International Symposium on Methodologies for Intelligent Systems, 1994.

    Google Scholar 

  10. N.V. Murray and E. Rosenthal. Resolution and path dissolution in multiple-valued logics. pages 570–579. Proc. of the International Symposium on Methodologies for Intelligent Systems, 1991.

    Google Scholar 

  11. N.V. Murray and E. Rosenthal. Adapting classical inference technique to multiple-valued logics using signed formulas. pages 237–253. Fundamenta Informaticae Journal 21, 1994.

    Google Scholar 

  12. T. Weigert, X.H. Liu, and J.P. Tsai. λ-implication in fuzzy operator logic. pages 259–278. Information Science, 1991.

    Google Scholar 

  13. T.J. Weigert, J.P. Tsai, and X.H. Liu. Fuzzy operator logic and fuzzy resolution. pages 59–78. Journal of Automated Reasoning 10, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB Informatik, FG Intellektik, Technische Hochschule Darmstadt, Alexanderstr. 10, 64283, Darmstadt, Germany

    Soowoo Lee

Authors
  1. Soowoo Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Rudolf Kruse Andreas Nonnengart Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lee, S. (1997). Error tolerance method in multiple-valued logic. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035637

Download citation

  • DOI: https://doi.org/10.1007/BFb0035637

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63095-1

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation