From 8692700b8fb06e04636186759c1be78594632690 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Fri, 29 Mar 2024 16:53:29 -0400 Subject: [PATCH] Epistemic problem --- .../rairlab/planner/problems/epistemic/grapevine.clj | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/src/main/resources/org/rairlab/planner/problems/epistemic/grapevine.clj b/src/main/resources/org/rairlab/planner/problems/epistemic/grapevine.clj index ecded3f..3cce961 100644 --- a/src/main/resources/org/rairlab/planner/problems/epistemic/grapevine.clj +++ b/src/main/resources/org/rairlab/planner/problems/epistemic/grapevine.clj @@ -61,16 +61,17 @@ ] :additions [ (Believes! ?a2 (the ?a1)) - (Believes ?a3 (the ?a1)) - (Believes ?a1 (Believes! ?a2 (the ?a1))) - (Believes ?a1 (Believes! ?a3 (the ?a1))) + (Believes! ?a3 (the ?a1)) + (Believes! ?a1 (Believes! ?a2 (the ?a1))) + (Believes! ?a1 (Believes! ?a3 (the ?a1))) ] :deletions [ (not (Believes! ?a2 (the ?a1))) (not (Believes! ?a3 (the ?a1))) - (not (Believes ?a1 (Believes! ?a2 (the ?a1)))) - (not (Believes ?a1 (Believes! ?a3 (the ?a1)))) + (not (Believes! ?a1 (Believes! ?a2 (the ?a1)))) + (not (Believes! ?a1 (Believes! ?a3 (the ?a1)))) ] + :cost 2 }) (define-action share-single [?a1 ?a2 ?a3 ?r] { @@ -96,6 +97,7 @@ (not (Believes! ?a2 (the ?a1))) (not (Believes! ?a1 (Believes! ?a2 (the ?a1)))) ] + :cost 2 }) ]