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

fixed bug: frame axiom only on true fluents

Browse Source 
renamed modified by changed (more frequent naming)
This commit is contained in:
Torsten Schaub 2016-08-28 20:53:25 +02:00
parent 0fb79d1268
commit fcdb0b65c2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp
View File

@ -23,10 +23,10 @@ stateVariable(Variable) :- headVariable(_,Variable).
% Apply effects % Apply effects
caused(Variable, Value, t) :- occurs(Action, t), postcondition(Action, Effect, Variable, Value), caused(Variable, Value, t) :- occurs(Action, t), postcondition(Action, Effect, Variable, Value),
holds(Variable', Value', t - 1) : precondition(Effect, Variable', Value'). holds(Variable', Value', t - 1) : precondition(Effect, Variable', Value').
modified(Variable, t) :- caused(Variable, Value, t). changed(Variable, t) :- caused(Variable, Value, t).
holds(Variable, Value, t) :- caused(Variable, Value, t). holds(Variable, Value, t) :- caused(Variable, Value, t).
holds(Variable, Value, t) :- holds(Variable, Value, t - 1), not modified(Variable, t). holds(Variable, Value, t) :- holds(Variable, Value, t - 1), not changed(Variable, t), not stateVariable(Variable).
#program check(t). % t=0,1,... #program check(t). % t=0,1,...