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