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

J Liu; D Ruan; ZM Song; Y Xu

doi:10.1109/TFUZZ.2003.814859

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

J Liu, D Ruan, ZM Song, Y Xu

Faculty Of Computing, Eng. & Built Env.

Research output: Contribution to journal › Article › peer-review

35 Citations (Scopus)

Original language	English
Pages (from-to)	560-567
Journal	IEEE Transactions on Fuzzy Systems
Volume	11
Issue number	4
DOIs	https://doi.org/10.1109/TFUZZ.2003.814859
Publication status	Published (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).

Access to Document

10.1109/TFUZZ.2003.814859

Cite this

@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 = aug,

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",

}

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

SN - 1063-6706

VL - 11

SP - 560

EP - 567

JO - IEEE Transactions on Fuzzy Systems

JF - IEEE Transactions on Fuzzy Systems

IS - 4

ER -