Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Automated Deduction. Pages 435-439.
Abstract
The author proposed concepts of Operator Fuzzy Logic and A-Resolution in 1984. He and his cooperaters have obtained some theoretical results. This paper introduces A-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 A-paramodulation method is proved Lo be complete with ~-lock-semantic method. Finallj, Yang Fengjie and I have improved the A-paramodulation, and proved that the linear A-paramodulation is complete too.
@inproceedings{ijcai1989p70,
title = {Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic},
author = {Liu, Xuhua},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {435--439},
year = {1989},
month = {8},
note = {Automated Deduction},
url = {https://ijcai.org/proceedings/1989/70},
}
TY - CPAPER TI - Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic AU - Liu, Xuhua T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 435 EP - 439 UR - https://ijcai.org/proceedings/1989/70 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
