A semantics in which an interpretation must equal the least Herbrand model of its own stable model reduct. Some programs have no stable model, and others have several.
A consequence holds skeptically if it is true in every admitted model, in particular every stable model when using stable model semantics. Exhibiting one supporting stable model establishes only existence of support, not skeptical entailment.
Ground the rules, delete every rule having a negative body atom true in the candidate , and remove all remaining negative premises. The result is a positive program whose least Herbrand model is compared with .
A Herbrand interpretation equal to the least Herbrand model of the positive reduct obtained relative to that interpretation.
Articles by others on the same topic
There are currently no matching articles.