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)
“Grandparents can be role models about areas that may not be significant to young children directly but that can teach them about patience and courage when we are ill, or handicapped by problems of aging. Our attitudes toward retirement, marriage, recreation, even our feelings about death and dying may make much more of an impression than we realize.”
—Eda Le Shan (20th century)
“Colleges, in like manner, have their indispensable office,—to teach elements. But they can only highly serve us, when they aim not to drill, but to create; when they gather from far every ray of various genius to their hospitable halls, and, by the concentrated fires, set the hearts of their youth on flame.”
—Ralph Waldo Emerson (1803–1882)
“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)