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

J Liu, D Ruan, ZM Song, Y Xu

Research output: Contribution to journalArticle

34 Citations (Scopus)
LanguageEnglish
Pages560-567
JournalIEEE Transactions on Fuzzy Systems
Volume11
Issue number4
DOIs
Publication statusPublished - 1 Aug 2003

Cite this

Liu, J ; Ruan, D ; Song, ZM ; Xu, Y. / A Resolution-Like Strategy Based on a Lattice-Valued Logic. In: IEEE Transactions on Fuzzy Systems. 2003 ; Vol. 11, No. 4. pp. 560-567.
@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",
number = "4",

}

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 journalArticle

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 -