patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

revised redundant rules

Browse Source
This commit is contained in:
gebser 2017-01-18 10:12:52 +01:00
parent d1f1f9230c
commit 1b94053542
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
encodings/strips/redundancy.lp
View File

@ -12,11 +12,11 @@ compatible(A) :- compatible(A,A1).
compatible(A) :- active(A), active(A1), A != A1, _parallel = 1, not selfdefeat(A), compatible(A) :- active(A), active(A1), A != A1, _parallel = 1, not selfdefeat(A),
not diverge(A,A1), not exclude(A,A1), not disjoin(A,A1). not diverge(A,A1), not exclude(A,A1), not disjoin(A,A1).
disable(A,A1,A2) :- compatible(A,A1), compatible(A,A2), not disable(A1,A), disable(A,A1,A2) :- compatible(A,A1), compatible(A,A2), compatible(A1,A2),
disable(A1,A2), not disable(A2,A1). disable(A1,A2), not disable(A1,A).
disabled(A,A2) :- disable(A,A1,A2). disabled(A,A2) :- disable(A,A1,A2).
disabled(A,A2) :- disable(A,A2). disabled(A,A1) :- compatible(A), disable(A,A1).
% STEP PROGRAM % STEP PROGRAM
@ -33,12 +33,14 @@ proceed(A,X,V,t) :- compatible(A), holds(X,V,t-1), scope(X,V).
proceed(A,X,V,t) :- compatible(A,A1), not disable(A1,A), perform(A,A1,t), occurs(A1,t), proceed(A,X,V,t) :- compatible(A,A1), not disable(A1,A), perform(A,A1,t), occurs(A1,t),
scope(X,V), postcondition(A1,X,V), not precondition(A1,X,V). scope(X,V), postcondition(A1,X,V), not precondition(A1,X,V).
perform(A,A1,t) :- disabled(A,A1), not occurs(A1,t).
perform(A,A1,t) :- compatible(A,A1), not disable(A1,A), perform(A,A1,t) :- compatible(A,A1), not disable(A1,A),
proceed(A,X,V,t) : precondition(A1,X,V), _parallel = 2; proceed(A,X,V,t) : precondition(A1,X,V), _parallel = 2;
perform(A,A2,t) : disable(A,A1,A2). alright(A,A2,t) : disable(A,A1,A2).
alright(A,A1,t) :- disabled(A,A1), not occurs(A1,t).
alright(A,A1,t) :- perform(A,A1,t).
defeated(A,t) :- compatible(A), precondition(A,X,V), not proceed(A,X,V,t), _parallel = 2. defeated(A,t) :- compatible(A), precondition(A,X,V), not proceed(A,X,V,t), _parallel = 2.
defeated(A,t) :- compatible(A), disable(A,A1), not perform(A,A1,t). defeated(A,t) :- compatible(A), disable(A,A1), not alright(A,A1,t).
:- compatible(A), not occurs(A,t), not defeated(A,t), 0 < _parallel, _parallel < 4. :- compatible(A), not occurs(A,t), not defeated(A,t), 0 < _parallel, _parallel < 4.