✦ LIBER ✦

resolution method for a lattice-valued first-order logic

✍ Scribed by Xingxing He; Yang Xu; Jun Liu; Da Ruan

Book ID: 113601747
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 240 KB
Volume: 24
Category: Article
ISSN: 0952-1976
DOI: 10.1016/j.engappai.2011.07.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ideal resolution principle for lattice-v

Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

✍ Wei-tao Xu; Yang Xu 📂 Article 📅 2012 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 205 KB

Syntax of first-order lattice valued log

Syntax of first-order lattice valued logic system FM

✍ Yang Xu; Keyun Qin; Zhenming Song 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 173 KB

On compatibilities of α-lock resolution

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic

✍ Xingxing He; Yang Xu; Jun Liu; Shuwei Chen 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 450 KB

General form ofα-resolution principle fo

General form ofα-resolution principle for linguistic truth-valued lattice-valued logic

✍ Zhong, Xiaomei; Xu, Yang; Liu, Jun; Chen, Shuwei 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 442 KB

A Method for Finding Formulae Correspond

A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m-Valued Logic

✍ John Loader 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 635 KB

On the consistency of rule bases based o

On the consistency of rule bases based on lattice-valued first-order logic LF(X)

✍ Yang Xu; Jun Liu; Da Ruan; Tsu-Tian Lee 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB 👁 1 views

The consistency of a rule base is an essential issue for rule-based intelligent information processing. Due to the uncertainty inevitably included in the rule base, it is necessary to verify the consistency of the rule base while investigating, designing, and applying a rule-based intelligent system