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)
“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)
“One of the oddest features of western Christianized culture is its ready acceptance of the myth of the stable family and the happy marriage. We have been taught to accept the myth not as an heroic ideal, something good, brave, and nearly impossible to fulfil, but as the very fibre of normal life. Given most families and most marriages, the belief seems admirable but foolhardy.”
—Jonathan Raban (b. 1942)
“... if we look around us in social life and note down who are the faithful wives, the most patient and careful mothers, the most exemplary housekeepers, the model sisters, the wisest philanthropists, and the women of the most social influence, we will have to admit that most frequently they are women of cultivated minds, without which even warm hearts and good intentions are but partial influences.”
—Mrs. H. O. Ward (1824–1899)