Properties of The Stable Model Semantics
In this section, as in the definition of a stable model above, by a logic program we mean a set of rules of the form
where are ground atoms.
Head atoms: If an atom belongs to a stable model of a logic program then is the head of one of the rules of .
Minimality: Any stable model of a logic program is minimal among the models of relative to set inclusion.
The antichain property: If and are stable models of the same logic program then is not a proper subset of . In other words, the set of stable models of a program is an antichain.
NP-completeness: Testing whether a finite ground logic program has a stable model is NP-complete.
Read more about this topic: Stable Model Semantics
Famous quotes containing the words properties of the, properties of, properties, stable and/or model:
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“Man is not merely the sum of his masks. Behind the shifting face of personality is a hard nugget of self, a genetic gift.... The self is malleable but elastic, snapping back to its original shape like a rubber band. Mental illness is no myth, as some have claimed. It is a disturbance in our sense of possession of a stable inner self that survives its personae.”
—Camille Paglia (b. 1947)
“For an artist to marry his model is as fatal as for a gourmet to marry his cook: the one gets no sittings, and the other gets no dinners.”
—Oscar Wilde (1854–1900)