DocumentCode :
2296694
Title :
The consistency of rule-bases in lattice-valued first-order logic LF(X)
Author :
Lee, Tsu-Tian ; Xu, Yang
Author_Institution :
Dept. of Electr. & Control Eng., Chiao Tung Univ., Hsinchu, Taiwan
Volume :
5
fYear :
2003
fDate :
5-8 Oct. 2003
Firstpage :
4968
Abstract :
The consistency of the rule-base is an essential basis for the rule-based intelligent information processing. In the framework of first-order lattice-valued logic system LF(X) which is in the attempt of handling fuzziness and incomparability, the present work focus on how to verify and increase the consistency degree of the rule-base in the intelligent information process system for handling fuzziness and incomparability. An α-automated simplification algorithm in LF(X) is proposed, the α-consistency and the α-simplification theory of the rule-base are formulated. As such, the verification of the α-consistency of the rule-base, often an infinity problem which is difficult to be achieved, can be transformed into a finite and achievable α-simplification stepwise search algorithm for verifying the consistency of the rule-base as well as a kind of filtering algorithm for increasing the consistency degree of the rule-base are proposed.
Keywords :
filtering theory; formal logic; fuzzy set theory; knowledge based systems; α-automated simplification algorithm; α-consistency theory; α-simplification theory; filtering algorithm; first-order lattice-valued logic system; fuzziness; incomparability; intelligent information processing; rule-base; stepwise search algorithm; Control engineering; Filtering algorithms; H infinity control; Information processing; Intelligent systems; Logic; Mathematics; Production systems; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN :
1062-922X
Print_ISBN :
0-7803-7952-7
Type :
conf
DOI :
10.1109/ICSMC.2003.1245770
Filename :
1245770
Link To Document :
بازگشت