z-logo
Premium
On the consistency of rule bases based on lattice‐valued first‐order logic LF(X)
Author(s) -
Xu Yang,
Liu Jun,
Ruan Da,
Lee TsuTian
Publication year - 2006
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.20129
Subject(s) - consistency (knowledge bases) , base (topology) , knowledge base , strong consistency , computer science , algorithm , rule based system , lattice (music) , mathematics , theoretical computer science , data mining , artificial intelligence , statistics , physics , estimator , acoustics , mathematical analysis
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. In the framework of the lattice‐valued first‐order logic system LF(X), which attempts to handle fuzziness and incomparability, this article focuses on how to verify and increase the consistency degree of the rule base in the intelligent information processing system. First, the representations of eight kinds of rule bases in LF(X) as the generalized clause set forms based on these rule bases' nonredundant generalized Skolem standard forms are presented. Then an α‐automated reasoning algorithm in LF(X), also used as an automated simplification algorithm, is proposed. Furthermore, the α‐consistency and the α‐simplification theories of the rule base in LF(X) are formulated, and especially the coherence between these two theories is proved. Therefore, the verification of the α‐consistency of the rule base, often an infinity problem that is difficult to solve, can be transformed into a finite and achievable α‐simplification problem. Finally, an α‐simplification stepwise search algorithm for verifying the consistency of the rule base as well as a kind of filtering algorithm for increasing the consistency level of the rule base are proposed. © 2006 Wiley Periodicals, Inc. Int J Int Syst 21: 399–424, 2006.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here