DocumentCode :
2314586
Title :
Measuring instability in normal residuated logic programs: Adding information
Author :
Madrid, Nicolás ; Ojeda-Aciego, Manuel
Author_Institution :
Dept. Mat. Aplic., Univ. de Malaga, Málaga, Spain
fYear :
2010
fDate :
18-23 July 2010
Firstpage :
1
Lastpage :
7
Abstract :
Inconsistency in the framework of general resid-uated logic programs can be, somehow, decomposed into two notions: incoherence and instability. In this work, we focus on the measure of instability of normal residuated programs. Some measures were already provided and initial results obtained in terms of the amount of information that have to be discarded in order to recover stability; in this paper, our interest is focused precisely on the case in which stability can be recovered by adding information to our program.
Keywords :
logic programming; software metrics; automated information processing; general residuated logic programs; instability measuring; normal residuated logic programs; Bismuth; Lattices; Logic programming; Possibility theory; Semantics; Stability analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Fuzzy Systems (FUZZ), 2010 IEEE International Conference on
Conference_Location :
Barcelona
ISSN :
1098-7584
Print_ISBN :
978-1-4244-6919-2
Type :
conf
DOI :
10.1109/FUZZY.2010.5584819
Filename :
5584819
Link To Document :
بازگشت