Addition of Multi-Agent PDDL to ANTLR v4

pddl/desc.xml

@@ -1,4 +1,9 @@
 <?xml version="1.0" encoding="UTF-8" ?>
 <desc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../_scripts/desc.xsd">
-   <targets>CSharp;Dart;Go;Java;JavaScript;PHP;Python3;TypeScript;Antlr4ng</targets>
-</desc>
+    <targets>CSharp;Dart;Go;Java;JavaScript;PHP;Python3;TypeScript;Antlr4ng</targets>
+    <test>
+        <name>Pddl</name>
+        <grammar-files>Pddl.g4</grammar-files>
+        <inputs>examples/**/**/*.pddl</inputs>
+    </test>
+</desc>

pddl/examples/multi-agent/blocksworld/domain.pddl

@@ -0,0 +1,82 @@
+(define (domain blocks)
+	(:requirements :typing :multi-agent :unfactored-privacy)
+(:types
+	agent block - object
+)
+(:predicates
+	(on ?x - block ?y - block)
+	(ontable ?x - block)
+	(clear ?x - block)
+
+	(:private ?agent - agent
+		(holding ?agent - agent ?x - block)
+		(handempty ?agent - agent)
+	)
+)
+
+(:action pick-up
+	:agent ?a - agent
+	:parameters (?x - block)
+	:precondition (and
+		(clear ?x)
+		(ontable ?x)
+		(handempty ?a)
+	)
+	:effect (and
+		(not (ontable ?x))
+		(not (clear ?x))
+		(not (handempty ?a))
+		(holding ?a ?x)
+	)
+)
+
+
+(:action put-down
+	:agent ?a - agent
+	:parameters (?x - block)
+	:precondition 
+		(holding ?a ?x)
+	:effect (and
+		(not (holding ?a ?x))
+		(clear ?x)
+		(handempty ?a)
+		(ontable ?x)
+	)
+)
+
+
+(:action stack
+	:agent ?a - agent
+	:parameters (?x - block ?y - block)
+	:precondition (and
+		(holding ?a ?x)
+		(clear ?y)
+	)
+	:effect (and
+		(not (holding ?a ?x))
+		(not (clear ?y))
+		(clear ?x)
+		(handempty ?a)
+		(on ?x ?y)
+	)
+)
+
+
+(:action unstack
+	:agent ?a - agent
+	:parameters (?x - block ?y - block)
+	:precondition (and
+		(on ?x ?y)
+		(clear ?x)
+		(handempty ?a)
+	)
+	:effect (and
+		(holding ?a ?x)
+		(clear ?y)
+		(not (clear ?x))
+		(not (handempty ?a))
+		(not (on ?x ?y))
+	)
+)
+
+)

pddl/examples/multi-agent/blocksworld/probBLOCKS-16-1.pddl

@@ -0,0 +1,80 @@
+(define (problem BLOCKS-4-0) (:domain blocks)
+(:objects
+	a - block
+	c - block
+	b - block
+	e - block
+	d - block
+	g - block
+	f - block
+	i - block
+	h - block
+	k - block
+	j - block
+	m - block
+	l - block
+	o - block
+	n - block
+	p - block
+
+	(:private a1
+		a1 - agent
+	)
+
+	(:private a2
+		a2 - agent
+	)
+
+	(:private a3
+		a3 - agent
+	)
+
+	(:private a4
+		a4 - agent
+	)
+)
+(:init
+	(handempty a1)
+	(handempty a2)
+	(handempty a3)
+	(handempty a4)
+	(clear f)
+	(clear h)
+	(clear o)
+	(ontable a)
+	(ontable e)
+	(ontable g)
+	(on f l)
+	(on l m)
+	(on m j)
+	(on j p)
+	(on p n)
+	(on n i)
+	(on i b)
+	(on b d)
+	(on d c)
+	(on c k)
+	(on k a)
+	(on h e)
+	(on o g)
+)
+(:goal
+	(and
+		(on d b)
+		(on b p)
+		(on p f)
+		(on f g)
+		(on g k)
+		(on k i)
+		(on i l)
+		(on l j)
+		(on j h)
+		(on h a)
+		(on a n)
+		(on n e)
+		(on e m)
+		(on m c)
+		(on c o)
+	)
+)
+)

pddl/examples/multi-agent/blocksworld/probBLOCKS-4-0.pddl

@@ -0,0 +1,45 @@
+(define (problem BLOCKS-4-0) (:domain blocks)
+(:objects
+	a - block
+	c - block
+	b - block
+	d - block
+
+	(:private a1
+		a1 - agent
+	)
+
+	(:private a2
+		a2 - agent
+	)
+
+	(:private a3
+		a3 - agent
+	)
+
+	(:private a4
+		a4 - agent
+	)
+)
+(:init
+	(handempty a1)
+	(handempty a2)
+	(handempty a3)
+	(handempty a4)
+	(clear c)
+	(clear a)
+	(clear b)
+	(clear d)
+	(ontable c)
+	(ontable a)
+	(ontable b)
+	(ontable d)
+)
+(:goal
+	(and
+		(on d c)
+		(on c b)
+		(on b a)
+	)
+)
+)

pddl/examples/multi-agent/depot/domain.pddl

@@ -0,0 +1,111 @@
+(define (domain depot)
+	(:requirements :typing :multi-agent :unfactored-privacy)
+(:types
+	place locatable driver - object
+	depot distributor - place
+	truck hoist surface - locatable
+	pallet crate - surface
+)
+(:predicates
+	(at ?x - locatable ?y - place)
+	(on ?x - crate ?y - surface)
+	(in ?x - crate ?y - truck)
+	(clear ?x - surface)
+
+	(:private ?agent - place
+		(lifting ?agent - place ?x - hoist ?y - crate)
+		(available ?agent - place ?x - hoist)
+	)
+
+	(:private ?agent - driver
+		(driving ?agent - driver ?t - truck)
+	)
+
+)
+
+(:action drive
+	:agent ?a - driver
+	:parameters (?x - truck ?y - place ?z - place)
+	:precondition 
+		(and (at ?x ?y) (driving ?a ?x))
+	:effect (and
+		(at ?x ?z)
+		(not (at ?x ?y))
+	)
+)
+
+
+(:action lift
+	:agent ?p - place
+	:parameters (?x - hoist ?y - crate ?z - surface)
+	:precondition (and
+		(at ?x ?p)
+		(available ?p ?x)
+		(at ?y ?p)
+		(on ?y ?z)
+		(clear ?y)
+	)
+	:effect (and
+		(lifting ?p ?x ?y)
+		(clear ?z)
+		(not (at ?y ?p))
+		(not (clear ?y))
+		(not (available ?p ?x))
+		(not (on ?y ?z))
+	)
+)
+
+
+(:action drop
+	:agent ?p - place
+	:parameters (?x - hoist ?y - crate ?z - surface)
+	:precondition (and
+		(at ?x ?p)
+		(at ?z ?p)
+		(clear ?z)
+		(lifting ?p ?x ?y)
+	)
+	:effect (and
+		(available ?p ?x)
+		(at ?y ?p)
+		(clear ?y)
+		(on ?y ?z)
+		(not (lifting ?p ?x ?y))
+		(not (clear ?z))
+	)
+)
+
+
+(:action load
+	:agent ?p - place
+	:parameters (?x - hoist ?y - crate ?z - truck)
+	:precondition (and
+		(at ?x ?p)
+		(at ?z ?p)
+		(lifting ?p ?x ?y)
+	)
+	:effect (and
+		(in ?y ?z)
+		(available ?p ?x)
+		(not (lifting ?p ?x ?y))
+	)
+)
+
+
+(:action unload
+	:agent ?p - place
+	:parameters (?x - hoist ?y - crate ?z - truck)
+	:precondition (and
+		(at ?x ?p)
+		(at ?z ?p)
+		(available ?p ?x)
+		(in ?y ?z)
+	)
+	:effect (and
+		(lifting ?p ?x ?y)
+		(not (in ?y ?z))
+		(not (available ?p ?x))
+	)
+)
+
+)