Generating Stable Models
To find a stable model of the Lparse program stored in file
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 Prince’s court.
This crib His chair of state;
The beasts are parcel of His pomp,
The wooden dish His plate.”
—Robert Southwell (1561?–1595)
“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)