• 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