Generating Stable Models
To find a stable model of the Lparse program stored in file
we use the command
Option 0 instructs smodels to find all stable models of the program. For instance, if file test
contains the rules
then the command
% lparse test | smodels 0produces the output
Answer: 1 Stable Model: q p Answer: 2 Stable Model: p Answer: 3 Stable Model: r p Answer: 4 Stable Model: q s Answer: 5 Stable Model: r s Answer: 6 Stable Model: r q sRead more about this topic: Answer Set Programming
Famous quotes containing the words stable and/or models:
“This stable is a Princes court.
This crib His chair of state;
The beasts are parcel of His pomp,
The wooden dish His plate.”
—Robert Southwell (1561?1595)
“The parents who wish to lead a quiet life I would say: Tell your children that they are very naughtymuch 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 (18351902)