• 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