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)
“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)
“The best way to teach a child restraint and generosity is to be a model of those qualities yourself. If your child sees that you want a particular item but refrain from buying it, either because it isn’t practical or because you can’t afford it, he will begin to understand restraint. Likewise, if you donate books or clothing to charity, take him with you to distribute the items to teach him about generosity.”
—Lawrence Balter (20th century)