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)
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (1632–1704)
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (1632–1704)
“If, then, this civilization is to be saved, if it is not to be submerged by centuries of barbarism, but to secure the treasures of its inheritance on new and more stable foundations, there is indeed need for those now living fully to realize how far the decay has already progressed.”
—Johan Huizinga (1872–1945)
“I’d like to be the first model who becomes a woman.”
—Lauren Hutton (b. 1944)