An Abductive Framework for General Logic Programs and other Nonmonotonic Systems

@inproceedings{Brewka1993AnAF,
  title={An Abductive Framework for General Logic Programs and other Nonmonotonic Systems},
  author={Gerhard Brewka and Kurt Konolige},
  booktitle={IJCAI},
  year={1993}
}
We present an abductive semantics for general propositional logic programs which defines the meaning of a logic program in terms of its extensions. This approach extends the stable model semantics for normal logic programs in a natural way. The new semantics is equivalent to stable semantics for a logic program P whenever P is normal and has a stable model. The abductive semantics can also be applied to generalize default logic and autoepistemic logic in a like manner. Our approach is based on… CONTINUE READING
9 Citations
20 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…