A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics

@article{Fages1990ANF,
  title={A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics},
  author={François Fages},
  journal={New Generation Computing},
  year={1990},
  volume={9},
  pages={425-443}
}
We study a new fixpoint semantics for logic programs with negation. Our construction is intermediate between Van Gelder’s well-founded model and Gelfond and Lifschitz’s stable model semantics. We show first that the stable models of a logic programP are exactly the well-supported models ofP, i.e. the supported models with loop-free finite justifications. Then we associate to any logic programP a non-monotonic operator over the semilattice of justified interpretations, and we define in an… CONTINUE READING
35 Citations
38 References
Similar Papers

Similar Papers

Loading similar papers…