α -Paramodulation method for a lattice-valued logic L nF(X) with equality

Xingxing He, Yang Xu, J. Liu, Yingfang Li

Research output: Contribution to journalArticle

Abstract

In this paper, α-paramodulation and α-GH paramodulation methods are proposed for handling logical formulae with equality in a lattice-valued logic L nF(X) , which has unique ability for representing and reasoning uncertain information from a logical point of view. As an extension of the work of He et al. (in: 2015 10th international conference on intelligent systems and knowledge engineering (ISKE), pp 18–20. IEEE, 2015; Uncertainty modelling in knowledge engineering and decision making: proceedings of the 12th international FLINS conference, pp 477–482. World Scientific, 2016), a new form of α-equality axioms set is proposed. The equivalence between α-equality axioms set and E α-interpretation in L nF(X) with an appropriate level is also established, which may provide a key foundation for equality reasoning in lattice-valued logic. Based on its equivalence, E α-unsatisfiability equivalent transformation is given. Furthermore, α-paramodulation and its restricted method (i.e., α-GH paramodulation) are given. The soundness and completeness of the proposed methods are also examined.

Original languageEnglish
JournalSoft Computing
Early online date15 Jul 2020
DOIs
Publication statusE-pub ahead of print - 15 Jul 2020

Keywords

  • Equality
  • Lattice-valued logic
  • α-Equality axioms
  • α-GH paramodulation
  • α-Paramodulation

Fingerprint Dive into the research topics of 'α -Paramodulation method for a lattice-valued logic L <sub>n</sub>F(X) with equality'. Together they form a unique fingerprint.

  • Cite this