Journal of the Korean Institute of Intelligent Systems (한국지능시스템학회논문지)

Korean Institute of Intelligent Systems (한국지능시스템학회)
권호 표지

An Approximated Reasoning with Compensation

  • Kim, Chang-Suk (Department of Computer Education, Kongju National University) ;
  • Kim, Dae-Su (Department of Computer Science, Hanshin University)
  • Published : 2001.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, a fuzzy hyperresolution principle called CFHR. Compensatory Fuzzy Hyperresolution, with positive compensation facility is proposed. Usually hyperresolution has several terms of conditon parts. Theser terms have to be connected by the an connective. If the main/max operator to be used the and operation, there is some dependency problem of the min/max operator. So , we propose a compensatory operator EGM and applied it to the CFHR, We show the CFHR does more meaningful reasoning than existing method. We also prove the completeness of CFHR.

Keywords

References

  1. Journal of ACM v.12 no.1 A Machine Oriented Logic Based on the Resolution Principle J. A. Robinson
  2. Information and Control v.8 Fuzzy Sets L. Zadeh
  3. IEEE Transactions on Knowledge and Data Engineering v.4 no.1 Knowledge Representation in Fuzzy Logic L. Zadeh
  4. Journal of ACM v.19 no.1 Fuzzy Logic and the Resolution Principle R. C. T. Lee
  5. The 18th International Symposium on Multivalued Logic Fuzzy Resolution Principle Z. Shen;L. Ding;M. Mukaidono
  6. Fuzzy Sets and Systems v.113 A New Fuzzy Resolution Principle based on the Antonym C. S. Kim;D. S. Kim;J. S. Park
  7. International Journal of Computer Mathematics v.1 Automated Deduction with Hyperresolution J. A. Robinson
  8. Methodologies for intelligent Systems v.4 Fuzzy Linear Resolution as the Inference Engine of Intelligent Systems L. Ding;Z. Shen;M. Mukaidono
  9. Symbolic Logic and Mechanical Theorem Proving C. L. Chang;R. C. T. Lee
  10. Fuzzy Sets and Systems v.14 Generalized mean as model of compensativeconnectives H. Dykhoff;W. Pedrycz
  11. Uncertainty, and Information(Prentice-Hall International Editions) Fuzzy Sets G. Klir;T. Folger
  12. Fuzzy Sets and Systems v.21 Connectives and quantifiers in fuzzy sets R. Yager