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:
“Man is not merely the sum of his masks. Behind the shifting face of personality is a hard nugget of self, a genetic gift.... The self is malleable but elastic, snapping back to its original shape like a rubber band. Mental illness is no myth, as some have claimed. It is a disturbance in our sense of possession of a stable inner self that survives its personae.”
—Camille Paglia (b. 1947)
“... your problem is your role models were models.”
—Jane Wagner (b. 1935)