Merge pull request #165 from AI-Planning/fix-151

Add test on parsing domain `social-planning` (fix #151)

Author: haz

pddl/core.py

@@ -40,6 +40,7 @@
 from pddl.logic.functions import FunctionExpression, Metric, NumericFunction
 from pddl.logic.predicates import DerivedPredicate, Predicate
 from pddl.logic.terms import Constant
+from pddl.parser.symbols import Symbols
 from pddl.requirements import Requirements
 
 
@@ -174,7 +175,9 @@ def __str__(self) -> str:
             "",
             self.derived_predicates,
             "",
-            to_string=lambda obj: str(obj) + "\n",
+            to_string=lambda obj: f"({Symbols.DERIVED.value} "
+            f"{print_predicates_with_types([obj.predicate])} "
+            f"{obj.condition})\n",
         )
         body += sort_and_print_collection(
             "",

tests/conftest.py

@@ -58,6 +58,7 @@
     "miner",
     "rovers-numeric-automatic",
     "rovers_fond",
+    "social-planning",
     "sokoban-sequential-optimal",
     "spiky-tireworld",
     "storage",

tests/fixtures/pddl_files/social-planning/domain.pddl

@@ -0,0 +1,70 @@
+(define (domain social-planning)
+    (:requirements :adl :derived-predicates :typing)
+    (:types
+        locatable place - object
+        character item - locatable
+    )
+    (:predicates (alive ?c - character)  (alone-at ?c - character ?p - place)  (at ?l - locatable ?p - place)  (believes-loves ?a - character ?c - character ?d - character)  (can-see ?c - character ?l - locatable)  (dead ?c - character)  (friend-of ?a - character ?b - character)  (gift ?from - character ?to - character ?i - item)  (has ?c - character ?i - item)  (is-curious ?c - character)  (is-evil ?c - character)  (is-greedy ?c - character)  (is-jealous ?c - character)  (is-lustful ?c - character)  (is-obedient ?c - character)  (is-pursuing ?c - character)  (is-suspicious ?c - character)  (is-vain ?c - character)  (is-wrathful ?c - character)  (killed ?a - character ?c - character)  (loves ?c - character ?d - character)  (main-character ?c - character)  (man ?c - character)  (married ?a - character ?b - character)  (motive-for-at ?a - character ?l - locatable ?p - place)  (motive-for-dead ?a - character ?c - character)  (motive-for-has ?a - character ?c - character ?i - item)  (precious ?i - item)  (reason-to-believe-loves ?a - character ?c - character ?d - character)  (reason-to-love ?a - character ?c - character)  (requested-at ?a - character ?c - character ?p - place)  (requested-has ?a - character ?c - character ?i - item)  (woman ?c - character))
+    (:derived (alone-at ?c - character ?p - place) (forall (?d - character) (or (not (at ?d ?p)) (= ?d ?c))))
+     (:derived (can-see ?c - character ?l - locatable) (exists (?p - place) (and (at ?c ?p) (at ?l ?p))))
+     (:derived (motive-for-at ?a - character ?a1 - character ?p - place) (and (is-curious ?a) (exists (?f - character) (and (friend-of ?a ?f) (requested-at ?f ?a ?p)))))
+     (:derived (motive-for-at ?a - character ?a1 - character ?p - place) (exists (?c - character) (and (motive-for-dead ?a ?c) (at ?c ?p))))
+     (:derived (motive-for-at ?a - character ?a1 - character ?p - place) (exists (?i - item ?c - character) (and (motive-for-has ?a ?c ?i) (has ?a ?i) (at ?c ?p))))
+     (:derived (motive-for-at ?a - character ?a1 - character ?p - place) (exists (?i - item) (and (motive-for-has ?a ?a ?i) (at ?i ?p))))
+     (:derived (motive-for-at ?a - character ?c - character ?p - place) (exists (?q - place ?i - item) (and (motive-for-has ?a ?a ?i) (at ?i ?q) (at ?c ?q))))
+     (:derived (motive-for-dead ?a - character ?c - character) (and (is-jealous ?a) (not (= ?c ?a)) (exists (?d - character) (and (married ?a ?c) (believes-loves ?a ?c ?d)))))
+     (:derived (motive-for-dead ?a - character ?c - character) (and (is-wrathful ?a) (not (= ?c ?a)) (exists (?d - character) (and (loves ?a ?d) (killed ?c ?d)))))
+     (:derived (motive-for-dead ?a - character ?d - character) (and (is-jealous ?a) (not (= ?d ?a)) (exists (?c - character) (and (married ?a ?c) (believes-loves ?a ?c ?d)))))
+     (:derived (motive-for-has ?a - character ?a1 - character ?i - item) (and (is-greedy ?a) (precious ?i) (can-see ?a ?i)))
+     (:derived (motive-for-has ?a - character ?a1 - character ?i - item) (exists (?c - character) (motive-for-has ?a ?c ?i)))
+     (:derived (motive-for-has ?a - character ?c - character ?i - item) (and (is-obedient ?a) (loves ?a ?c) (requested-has ?c ?c ?i)))
+     (:derived (motive-for-has ?a - character ?c - character ?i - item) (and (is-pursuing ?a) (loves ?a ?c) (precious ?i)))
+     (:derived (reason-to-believe-loves ?a - character ?c - character ?d - character) (and (is-suspicious ?a) (not (= ?c ?d)) (not (= ?a ?c)) (not (= ?a ?d)) (exists (?i - item) (and (gift ?a ?c ?i) (has ?d ?i) (can-see ?a ?d)))))
+     (:derived (reason-to-love ?a - character ?c - character) (and (man ?a) (is-lustful ?a) (woman ?c) (can-see ?a ?c) (exists (?i - item) (and (has ?c ?i) (precious ?i)))))
+     (:derived (reason-to-love ?a - character ?c - character) (and (woman ?a) (is-vain ?a) (man ?c) (exists (?i - item) (and (gift ?c ?a ?i) (precious ?i)))))
+    (:action adopt-belief-loves
+        :parameters (?a - character ?c - character ?d - character)
+        :precondition (and (reason-to-believe-loves ?a ?c ?d) (alive ?a) (alive ?c))
+        :effect (believes-loves ?a ?c ?d)
+    )
+     (:action drop
+        :parameters (?a - character ?i - item ?p - place)
+        :precondition (and (or (main-character ?a) (motive-for-at ?a ?i ?p)) (alive ?a) (has ?a ?i) (at ?a ?p))
+        :effect (and (not (has ?a ?i)) (at ?i ?p))
+    )
+     (:action fall-in-love
+        :parameters (?a - character ?c - character)
+        :precondition (and (reason-to-love ?a ?c) (not (= ?a ?c)) (alive ?a) (alive ?c))
+        :effect (loves ?a ?c)
+    )
+     (:action give
+        :parameters (?a - character ?c - character ?i - item ?p - place)
+        :precondition (and (or (main-character ?a) (motive-for-has ?a ?c ?i)) (alive ?a) (alive ?c) (has ?a ?i) (at ?a ?p) (at ?c ?p))
+        :effect (and (not (has ?a ?i)) (has ?c ?i) (gift ?a ?c ?i))
+    )
+     (:action goto
+        :parameters (?a - character ?p - place ?from - place)
+        :precondition (and (or (main-character ?a) (motive-for-at ?a ?a ?p)) (alive ?a) (at ?a ?from) (not (= ?p ?from)))
+        :effect (and (not (at ?a ?from)) (at ?a ?p))
+    )
+     (:action kill
+        :parameters (?a - character ?c - character ?p - place)
+        :precondition (and (motive-for-dead ?a ?c) (alive ?a) (alive ?c) (at ?a ?p) (at ?c ?p))
+        :effect (and (not (alive ?c)) (dead ?c) (killed ?a ?c))
+    )
+     (:action request-at
+        :parameters (?a - character ?c - character ?p - place)
+        :precondition (and (or (main-character ?a) (motive-for-at ?a ?c ?p)) (alive ?a) (alive ?c))
+        :effect (requested-at ?a ?c ?p)
+    )
+     (:action request-has
+        :parameters (?a - character ?c - character ?i - item)
+        :precondition (and (or (main-character ?a) (motive-for-has ?a ?c ?i)) (alive ?a) (alive ?c))
+        :effect (requested-has ?a ?c ?i)
+    )
+     (:action take
+        :parameters (?a - character ?i - item ?p - place)
+        :precondition (and (or (main-character ?a) (motive-for-has ?a ?a ?i)) (alive ?a) (at ?i ?p) (at ?a ?p) (alone-at ?a ?p))
+        :effect (and (not (at ?i ?p)) (has ?a ?i))
+    )
+)

tests/fixtures/pddl_files/social-planning/p01-iago-1.pddl

@@ -0,0 +1,61 @@
+
+;; An instance of the social planning domain, based on Iago's problem:
+;; How to make Othello kill Desdemona?
+
+(define (problem Iago-1)
+  (:domain social-planning)
+
+  (:objects
+   Iago Othello Emilia Desdemona Cassio - character
+   handkerchief - item
+   garden bedroom residence palace - place
+   )
+
+  (:init
+   (man Iago)
+   (man Othello)
+   (woman Emilia)
+   (woman Desdemona)
+   (man Cassio)
+   (married Iago Emilia)
+   (married Emilia Iago)
+   (married Othello Desdemona)
+   (married Desdemona Othello)
+   (friend-of Cassio Iago)
+   (friend-of Othello Iago)
+   (friend-of Desdemona Emilia)
+   (precious handkerchief)
+   (loves Emilia Iago)
+   (loves Othello Desdemona)
+   (loves Desdemona Othello)
+   (is-curious Othello)
+   (is-jealous Othello)
+   (is-suspicious Othello)
+   (is-wrathful Othello)
+   (is-curious Cassio)
+   (is-greedy Cassio)
+   (is-lustful Cassio)
+   (is-wrathful Cassio)
+   (is-obedient Emilia)
+   (is-vain Emilia)
+   (is-curious Desdemona)
+   (is-obedient Desdemona)
+   (is-evil Iago) ;; MUHAHAHAHA!!
+   (main-character Iago)
+   (alive Iago)
+   (alive Othello)
+   (alive Emilia)
+   (alive Desdemona)
+   (alive Cassio)
+   (at Iago garden)
+   (at Othello palace)
+   (at Desdemona bedroom)
+   (at Emilia garden)
+   (at Cassio residence)
+   (at handkerchief bedroom)
+   (gift Othello Desdemona handkerchief)
+   )
+
+  (:goal (killed Othello Desdemona))
+
+  )

tests/fixtures/pddl_files/social-planning/p02-iago-2.pddl

@@ -0,0 +1,62 @@
+
+;; An instance of the social planning domain, based on Iago's problem:
+;; How to make Othello kill Desdemona and then die?
+
+(define (problem Iago-2)
+  (:domain social-planning)
+
+  (:objects
+   Iago Othello Emilia Desdemona Cassio - character
+   handkerchief - item
+   garden bedroom residence palace - place
+   )
+
+  (:init
+   (man Iago)
+   (man Othello)
+   (woman Emilia)
+   (woman Desdemona)
+   (man Cassio)
+   (married Iago Emilia)
+   (married Emilia Iago)
+   (married Othello Desdemona)
+   (married Desdemona Othello)
+   (friend-of Cassio Iago)
+   (friend-of Othello Iago)
+   (friend-of Desdemona Emilia)
+   (precious handkerchief)
+   (loves Emilia Iago)
+   (loves Othello Desdemona)
+   (loves Desdemona Othello)
+   (is-curious Othello)
+   (is-jealous Othello)
+   (is-suspicious Othello)
+   (is-wrathful Othello)
+   (is-curious Cassio)
+   (is-greedy Cassio)
+   (is-lustful Cassio)
+   (is-wrathful Cassio)
+   (is-obedient Emilia)
+   (is-vain Emilia)
+   (is-curious Desdemona)
+   (is-obedient Desdemona)
+   (is-evil Iago) ;; MUHAHAHAHA!!
+   (main-character Iago)
+   (alive Iago)
+   (alive Othello)
+   (alive Emilia)
+   (alive Desdemona)
+   (alive Cassio)
+   (at Iago garden)
+   (at Othello palace)
+   (at Desdemona bedroom)
+   (at Emilia garden)
+   (at Cassio residence)
+   (at handkerchief bedroom)
+   (gift Othello Desdemona handkerchief)
+   )
+
+  (:goal (and (killed Othello Desdemona)
+	      (dead Othello)))
+
+  )