| Language | English |
|---|---|
| Pages | 560-567 |
| Journal | IEEE Transactions on Fuzzy Systems |
| Volume | 11 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 1 Aug 2003 |
Cite this
}
A Resolution-Like Strategy Based on a Lattice-Valued Logic. / Liu, J; Ruan, D; Song, ZM; Xu, Y.
In: IEEE Transactions on Fuzzy Systems, Vol. 11, No. 4, 01.08.2003, p. 560-567.Research output: Contribution to journal › Article
TY - JOUR
T1 - A Resolution-Like Strategy Based on a Lattice-Valued Logic
AU - Liu, J
AU - Ruan, D
AU - Song, ZM
AU - Xu, Y
N1 - Other Details ------------------------------------ Imprecision and incomparability are two kinds of uncertainties often associated with reasoning and decision-making in real-life systems. This paper presents a new resolution-based automated reasoning algorithm in a lattice-valued logic, in particular, lattice-valued logic programming. The resolution inference is also associated with truth-value changes that enable the description and reasoning to be extended from the numerical range to a more extensive range (lattice). This creates a foundation for establishing an automated reasoning system under incomparability and has resulted in a granted project from the Natural Science Foundation of China, 2003-2005 (Grant No. 60474022, Automated Reasoning Based on Lattice-Valued Logics).
PY - 2003/8/1
Y1 - 2003/8/1
U2 - 10.1109/TFUZZ.2003.814859
DO - 10.1109/TFUZZ.2003.814859
M3 - Article
VL - 11
SP - 560
EP - 567
JO - IEEE Transactions on Fuzzy Systems
T2 - IEEE Transactions on Fuzzy Systems
JF - IEEE Transactions on Fuzzy Systems
SN - 1063-6706
IS - 4
ER -