Paper Info
Title
Alpha-Paramodulation Method For A Lattice-Valued Logic Lnf(X) With Equality
Abstract
In this paper, alpha-paramodulation and alpha-GH paramodulation methods are proposed for handling logical formulae with equality in a lattice-valued logic LnF(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 alpha-equality axioms set is proposed. The equivalence between alpha-equality axioms set and E-alpha-interpretation in LnF(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-alpha-unsatisfiability equivalent transformation is given. Furthermore, alpha-paramodulation and its restricted method (i.e., alpha-GH paramodulation) are given. The soundness and completeness of the proposed methods are also examined.
Year
DOI
Venue
2021
10.1007/s00500-020-05136-8
SOFT COMPUTING
Keywords
DocType
Volume
Lattice-valued logic, Equality, alpha-Equality axioms, alpha-Paramodulation, alpha-GH paramodulation
Journal
25
Issue
ISSN
Citations 
1
1432-7643
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Xingxing He18413.90
Yang Xu271183.57
Jun Liu364456.21
Yingfang Li4687.41