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:
“If it is to be done well, child-rearing requires, more than most activities of life, a good deal of decentering from one’s own needs and perspectives. Such decentering is relatively easy when a society is stable and when there is an extended, supportive structure that the parent can depend upon.”
—David Elkind (20th century)
“The parents who wish to lead a quiet life I would say: Tell your children that they are very naughty—much naughtier than most children; point to the young people of some acquaintances as models of perfection, and impress your own children with a deep sense of their own inferiority. You carry so many more guns than they do that they cannot fight you. This is called moral influence and it will enable you to bounce them as much as you please.”
—Samuel Butler (1835–1902)
“The moral earth, too, is round! The moral earth, too, has its antipodes! The antipodes, too, have their right to exist! There is still another world to be discovered—and more than one! Set sail, you philosophers!”
—Friedrich Nietzsche (1844–1900)
“It is sentimentalism to assume that the teaching of life can always be fitted to the child’s interests, just as it is empty formalism to force the child to parrot the formulas of adult society. Interests can be created and stimulated.”
—Jerome S. Bruner (20th century)