A Resolution-Like Strategy Based on a Lattice-Valued Logic

J Liu, D Ruan, ZM Song, Y Xu

Research output: Contribution to journalArticlepeer-review

35 Citations (Scopus)
Original languageEnglish
Pages (from-to)560-567
JournalIEEE Transactions on Fuzzy Systems
Issue number4
Publication statusPublished (in print/issue) - 1 Aug 2003

Bibliographical 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).

Cite this