@article{a9cec4337d2c49cd9b0dfdb5392c6384,
title = "A Resolution-Like Strategy Based on a Lattice-Valued Logic",
author = "J Liu and D Ruan and ZM Song and Y Xu",
note = "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).",
year = "2003",
month = "8",
day = "1",
doi = "10.1109/TFUZZ.2003.814859",
language = "English",
volume = "11",
pages = "560--567",
journal = "IEEE Transactions on Fuzzy Systems",
issn = "1063-6706",
publisher = "IEEE",
number = "4",
}