Answer Set Programming - Generating Stable Models

Generating Stable Models

To find a stable model of the Lparse program stored in file we use the command

% lparse | smodels

Option 0 instructs smodels to find all stable models of the program. For instance, if file test contains the rules

1{p,q,r}2. s :- not p.

then the command

% lparse test | smodels 0

produces 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 s

Read 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)

    “Friends broaden our horizons. They serve as new models with whom we can identify. They allow us to be ourselves—and accept us that way. They enhance our self-esteem because they think we’re okay, because we matter to them. And because they matter to us—for various reasons, at various levels of intensity—they enrich the quality of our emotional life.”
    —Judith Viorst (20th century)