From 69757e50ac2c711aff8e0723f693e0da65b6938e Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Fri, 26 Aug 2016 18:00:33 +0200 Subject: [PATCH] fixed bug in conditional effects - still one test screwing up - --- ...sas-sequential-incremental-multivalued-axioms-condeffects.lp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp index 5dad258..23a5ba3 100644 --- a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp +++ b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp @@ -22,7 +22,7 @@ stateVariable(Variable) :- headVariable(_,Variable). % Apply effects caused(Variable, Value, t) :- occurs(Action, t), postcondition(Action, Effect, Variable, Value), - holds(Variable', Value', t) : precondition(Effect, Variable', Value'). + holds(Variable', Value', t-1) : precondition(Effect, Variable', Value'). modified(Variable, t) :- caused(Variable, Value, t). holds(Variable, Value, t) :- caused(Variable, Value, t).