DocumentCode :
1626905
Title :
Operator fuzzy logic based on argumentation
Author :
Cheng, Xiaochun ; Dai, Haihong
Author_Institution :
Dept. of Comput. Sci., Queen´´s Univ., Belfast, UK
Volume :
5
fYear :
1998
Firstpage :
215
Abstract :
The knowledge bases in use, especially those of large scale, distributed expert systems, are often inconsistent. The inconsistency may be caused by different sources of knowledge or the relative correctness of the inference rules of the expert systems. As a result, it is difficult to maintain the consistency of a large-scale knowledge base. Thus, a robust inference engine must be able to cope with such inconsistency and should produce rational reasoning in the presence of inconsistent knowledge. In this paper, in order to handle inconsistency, we establish a conflict resolution model based on operator fuzzy logic. Firstly, we propose a kind of lattice-valued operator fuzzy logic, called AOFL, based on argumentation considerations. Secondly, we present the supported model semantics of generalized fuzzy Horn clause sets in AOFL, and develop a mechanical algorithm, SM, to calculate the supported models of a cyclic, non-free generalized fuzzy Horn clause sets in AOFL. Finally, we discuss the application of AOFL in conflict resolution and nonmonotonic reasoning
Keywords :
Horn clauses; expert systems; fuzzy logic; generalisation (artificial intelligence); knowledge verification; nonmonotonic reasoning; uncertainty handling; AOFL; argumentation; conflict resolution; conflict resolution model; distributed expert systems; generalized fuzzy Horn clause sets; inconsistent knowledge; inference rules; knowledge base consistency; lattice-valued operator fuzzy logic; nonmonotonic reasoning; operator fuzzy logic; rational reasoning; robust inference engine; Fuzzy logic;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on
Conference_Location :
Kohala Coast, HI
Print_ISBN :
0-8186-8255-8
Type :
conf
DOI :
10.1109/HICSS.1998.648315
Filename :
648315
Link To Document :
بازگشت