zbMATH — the first resource for mathematics

A classification theory of semantics of normal logic programs. II: Weak properties. (English) Zbl 0829.68022
Summary: Our aim in this article is to supplement the set of strong properties introduced in the preceding article with a set of weak principles in order to characterize semantics of logic programs. In the previous paper we introduced our point of view: we observed that all semantics induce in a natural way a sceptical non-monotonic entailment relation \(\text{SEM}^{ scept}\). We ask for the properties of these sceptical relations and use them to describe all possible semantics. We collect in this paper serious shortcomings of some semantics proposed recently. Their strange behaviour led us to formulate in a natural way certain principles to avoid these problems. We argue that any well-behaved semantics should satisfy these principles. The main results state that our list of weak principles is complete in the following sense: any well-behaved-semantics is an extension of the well-founded semantics WFS and coincides for stratified programs with Apt, Blair, and Walker’s supported model \(M_P^{supp}\). We also claim that two extensions of the well-founded semantics (introduced in the preceding article) are uniquely characterized by their strong and weak properties.

68N17 Logic programming
68Q55 Semantics in the theory of computing