Stable Models of A Set of Propositional Formulas
Rules, and even disjunctive rules, have a rather special syntactic form, in comparison with arbitrary propositional formulas. Each disjunctive rule is essentially an implication such that its antecedent (the body of the rule) is a conjunction of literals, and its consequent (head) is a disjunction of atoms. David Pearce and Paolo Ferraris showed how to extend the definition of a stable model to sets of arbitrary propositional formulas. This generalization has applications to answer set programming.
Pearce's formulation looks very different from the original definition of a stable model. Instead of reducts, it refers to equilibrium logic -- a system of nonmonotonic logic based on Kripke models. Ferraris's formulation, on the other hand, is based on reducts, although the process of constructing the reduct that it uses differs from the one described above. The two approaches to defining stable models for sets of propositional formulas are equivalent to each other.
Read more about this topic: Stable Model Semantics
Famous quotes containing the words stable, models, set and/or formulas:
“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)
“Today it is not the classroom nor the classics which are the repositories of models of eloquence, but the ad agencies.”
—Marshall McLuhan (1911–1980)
“Dreamer of dreams, born out of my due time,
Why should I strive to set the crooked straight?
Let it suffice me that my murmuring rhyme
Beats with light wing against the ivory gate,”
—William Morris (1834–1896)
“That’s the great danger of sectarian opinions, they always accept the formulas of past events as useful for the measurement of future events and they never are, if you have high standards of accuracy.”
—John Dos Passos (1896–1970)