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 :
بازگشت