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:
“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)
“French rhetorical models are too narrow for the English tradition. Most pernicious of French imports is the notion that there is no person behind a text. Is there anything more affected, aggressive, and relentlessly concrete than a Parisan intellectual behind his/her turgid text? The Parisian is a provincial when he pretends to speak for the universe.”
—Camille Paglia (b. 1947)