## The Family of Stable Models (1993)

Citations: | 54 - 4 self |

### BibTeX

@MISC{Fitting93thefamily,

author = {Melvin Fitting},

title = {The Family of Stable Models},

year = {1993}

}

### Years of Citing Articles

### OpenURL

### Abstract

The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occurring orderings are made explicit. In a so-called knowledge ordering based on degree of definedness, every logic program P has a smallest stable model, s k P ---it is the well-founded model. There is also a dual largest stable model, S k P , which has not been considered before. There is another ordering based on degree of truth. Taking the meet and the join, in the truth ordering, of the two extreme stable models s k P and S k P just mentioned, yields the alternating fixed points of [29], denoted s t P and S t P here. From s t P and S t P in turn, s k P and S k P can be produced again, using the meet and join of the knowledge ordering. All stable models are bounded by these four valuations. Further, the methods of proof apply not just to logic programs considered classically, but to logic programs over any bilattice meeting certain co...