Lock, linear κ-paramodulation in operator fuzzy logic

Authors:
Liu XuHua
Affiliations:
Dept. of Comp. Scie., Jilin University, Changchun, PRC
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Year:
1989

Citing 2
Cited 0

Fuzzy Logic and the Resolution Principle

Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Quantified Score

Hi-index	0.00

Visualization

Abstract

The author proposed concepts of Operator Fuzzy Logic and λ-Resolution in 1984. He and his cooperaters have obtained some theoretical results. This paper introduces λ-paramodulation to handle a set of clauses with the predicate of equality, and thus the equality substitution can be used in fuzzy reasoning. Then the λ-paramodulation method is proved to be complete with λ-lock-semantic method. Finally, Yang Fengjie and I have improved the λ- paramodulation, and proved that the linear λ- paramodulation is complete too.