SPASS Constraints - Relaxation Examples
Preemptive Requests are Necessary
- p/1 and q/1 match only external
External specification requires grounded p requests
- ~p(X) | ~q(X) chosen
~p(X) selected
Cannot make p/1 request
- Preemptive q/1 request necessary
Delivered q/1 facts resolve with ~p(X) | ~q(X) to ground
~p(X)
In order for that to happen ...
- See "External ChosenClause may resolve with any WorkedOff literal"
External ChosenClause may resolve with any WorkedOff literal
- See "Preemptive Requests are Necessary", then ...
- p/1 and q/1 match only external
External specification requires grounded p requests
~p(X) | ~q(X) in WorkedOff
~p(X) selected
- External clause, e.g., q(a), is delivered and chosen
q(a) must be allowed to resolve with ~p(X) | ~q(X)
to produce ~p(a)
~p(a) is chosen and selected
p/1 request can be made
Selected Literal Matching External Selects All Literals
- p/1 matches only external
r/1 matches internal
External specification requires grounded p requests
- ~p(X) | ~r(X) chosen
~p(X) selected
Cannot make p/1 request
- Internal r/1 fact, e.g., r(b) must be allowed to
resolve with ~p(X) | ~r(X) to produce ~p(b)
~p(b) is chosen and selected
p/1 request can be made