DocumentCode
1449901
Title
Measuring Inconsistency in Fuzzy Answer Set Semantics
Author
Madrid, Nicolás ; Ojeda-Aciego, Manuel
Author_Institution
Dept. of Mat. Aplic., Univ. de Malaga, Malaga, Spain
Volume
19
Issue
4
fYear
2011
Firstpage
605
Lastpage
622
Abstract
Recent approaches have shown that the measurement of the amount of inconsistent information contained in a logic theory can be useful to infer positive information. This paper deals with the definition of measures of inconsistency in the residuated-logic-programming paradigm under the fuzzy answer set semantics. This fuzzy framework provides a soft mechanism to control the amount of information inferred and, thus, controlling the inconsistencies by modifying slightly the truth values of some rules.
Keywords
fuzzy logic; fuzzy set theory; logic programming; programming language semantics; fuzzy answer set semantics; inconsistency measurement; logic theory; residuated-logic-programming paradigm; Coherence; Context; Knowledge based systems; Lattices; Logic programming; Semantics; Syntactics; Fuzzy answer set semantics; inconsistency;
fLanguage
English
Journal_Title
Fuzzy Systems, IEEE Transactions on
Publisher
ieee
ISSN
1063-6706
Type
jour
DOI
10.1109/TFUZZ.2011.2114669
Filename
5713251
Link To Document