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, 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)
“... your problem is your role models were models.”
—Jane Wagner (b. 1935)
“I set forth a humble and inglorious life; that does not matter. You can tie up all moral philosophy with a common and private life just as well as with a life of richer stuff. Each man bears the entire form of man’s estate.”
—Michel de Montaigne (1533–1592)
“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)