DocumentCode
2212074
Title
On the use of fuzzy stable models for inconsistent classical logic programs
Author
Madrid, Nicolás ; Ojeda-Aciego, Manuel
Author_Institution
Dept. Mat. Aplic., Univ. de Malaga, Málaga, Spain
fYear
2011
fDate
11-15 April 2011
Firstpage
115
Lastpage
121
Abstract
Based on the recently proved fact that the continuity of the connectives involved in a normal residuated logic program ensures the existence of fuzzy stable models, we focus on the assignment of a fuzzy stable model semantics to inconsistent classical logic programs on the basis of the separation of the notion of inconsistency and uncertainty.
Keywords
fuzzy set theory; logic programming; fuzzy stable model; inconsistent classical logic program; logic inconsistency notion; logic uncertainty notion; normal residuated logic program; Analytical models; Fuzzy logic; Lattices; Logic programming; Semantics; Syntactics; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Foundations of Computational Intelligence (FOCI), 2011 IEEE Symposium on
Conference_Location
Paris
Print_ISBN
978-1-4244-9981-6
Type
conf
DOI
10.1109/FOCI.2011.5949476
Filename
5949476
Link To Document