Logic in Computer Science (LICS 1996)

Paper: Semantics of Normal Logic Programs and Contested Information (at LICS 1996)

Authors: Shekhar Pradhan

Abstract

We propose C4, a four-valued semantics for normal, logic programs. Using this semantics, we define two types of entailment: strong and weak. We show that a normal, logic program strongly entails a sentence under C4 if, and only if, the program entails that sentence under the well founded semantics and it weakly entails a sentence if, and only if, the program entails that sentence under the two-valued stable model semantics. We argue that this shows that the difference between the well founded semantics and the stable model semantics can be characterized in terms of their attitude to what we call contested information. We use this insight to propose a general theory of contested reasoning.

BibTeX

  @InProceedings{Pradhan-SemanticsofNormalLo,
    author = 	 {Shekhar Pradhan},
    title = 	 {Semantics of Normal Logic Programs and Contested Information},
    booktitle =  {Proceedings of the Eleventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1996},
    year =	 1996,
    editor =	 {Edmund M. Clarke},
    month =	 {July}, 
    pages =      {406-415},
    location =   {New Brunswick, NJ, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }