Python DSL for writing PDDL

Related tags

Miscellaneous pddl-in-python

Overview

PDDL in Python – Python DSL for writing a PDDL

A minimal implementation of a DSL which allows people to write PDDL in python. Based on parsing python’s AST.

Author: Masataro Asai

License: MIT.

Example in examples/blocksworld.py:

class Blocksworld(Domain):
    def move_b_to_b(bm, bf, bt):
        if clear[bm] and clear[bt] and on[bm, bf]:
            clear[bt]  = False
            on[bm, bf] = False
            on[bm, bt] = True
            clear[bf]  = True

    def move_b_to_t(bm, bf):
        if clear[bm] and on[bm, bf]:
            on[bm, bf]   = False
            on_table[bm] = True
            clear[bf]    = True

    def move_t_to_b(bm, bt):
        if clear[bm] and clear[bt] and on_table[bm]:
            clear[bt]    = False
            on_table[bm] = False
            on[bm, bt]   = True

print(Blocksworld())

will print

(domain blocksworld
  (:requirement :strips)
  (:types)
  (:predicates
    (clear ?x0)
    (on ?x0 ?x1)
    (on-table ?x0))
  (:action move-b-to-b :parameters (?bm ?bf ?bt)
   :preconditions
   (and
     (clear ?bm)
     (clear ?bt)
     (on ?bm ?bf))
   :effects
   (and
     (not (clear ?bt))
     (not (on ?bm ?bf))
     (on ?bm ?bt)
     (clear ?bf)))
  (:action move-b-to-t :parameters (?bm ?bf)
   :preconditions
   (and
     (clear ?bm)
     (on ?bm ?bf))
   :effects
   (and
     (not (on ?bm ?bf))
     (on-table ?bm)
     (clear ?bf)))
  (:action move-t-to-b :parameters (?bm ?bt)
   :preconditions
   (and
     (clear ?bm)
     (clear ?bt)
     (on-table ?bm))
   :effects
   (and
     (not (clear ?bt))
     (not (on-table ?bm))
     (on ?bm ?bt))))

Example in examples/briefcaseworld.py:

class location:
    pass
class portable:
    pass
class Briefcaseworld(Domain):
    def move(m : location, l : location):
        if is_at[m]:
            is_at[l] = True
            is_at[m] = False
            for x in all(portable): # current python syntax does not allow annotating loop variable
                if _in[x]:
                    at[x,l] = True
                    at[x,m] = False

    def take_out(x : portable):
        if _in[x]:
            _in[x] = False

    def put_in(x : portable, l : location):
        if not _in[x] and at[x,l] and is_at[l]:
            _in[x] = True

print(Briefcaseworld())

will print

(domain briefcaseworld
  (:requirement :strips)
  (:types
    portable - object)
  (:predicates
    (is-at ?x0)
    (in ?x0)
    (at ?x0 ?x1))
  (:action move :parameters (?m - location ?l - location)
   :preconditions
   (is-at ?m)
   :effects
   (and
     (is-at ?l)
     (not (is-at ?m))
     (forall (?x - portable)
       (when (in ?x)
         (and
           (at ?x ?l)
           (not (at ?x ?m)))))))
  (:action put-in :parameters (?x - portable ?l - location)
   :preconditions
   (and
     (not (in ?x))
     (at ?x ?l)
     (is-at ?l))
   :effects
   (in ?x))
  (:action take-out :parameters (?x - portable)
   :preconditions
   (in ?x)
   :effects
   (not (in ?x))))

You might also like...

Todos os exercícios do Curso de Python, do canal Curso em Vídeo, resolvidos em Python, Javascript, Java, C++, C# e mais...

Exercícios - CeV Oferecido por Linguagens utilizadas atualmente O que vai encontrar aqui? 👀 Esse repositório é dedicado a armazenar todos os enunciad

43 Nov 10, 2022

PyDy, short for Python Dynamics, is a tool kit written in the Python

PyDy, short for Python Dynamics, is a tool kit written in the Python programming language that utilizes an array of scientific programs to enable the study of multibody dynamics. The goal is to have a modular framework and eventually a physics abstraction layer which utilizes a variety of backends that can provide the user with their desired workflow

307 Jan 1, 2023

Comments

constants

mock example

class Briefcaseworld(Domain):

    # option 1: class variable notation
    constants = [a, b, c]

    # option 2: dataclass notation
    a : object
    b : object

opened by guicho271828 3

costs

mock example

class Briefcaseworld(Domain):
    def move(m : location, l : location):
        if is_at[m]:
            is_at[l] = True
            is_at[m] = False
            # option 1
            total_cost += cost[l, m]
            # option 2
            return cost[l, m]

opened by guicho271828 0

probabilistic effects

mock example

class Briefcaseworld(Domain):
    def move(m : location, l : location):
        if is_at[m]:
            with probability as 0.6:
                at[x,m] = False
            (0.6, at[x,m] = False) or ...

opened by guicho271828 0

non-det effects

Mock example:

class Briefcaseworld(Domain):
    def move(m : location, l : location):
        if is_at[m]:
            (at[x,m] = True) or (at[x,m] = False)

opened by guicho271828 0

Python DSL for writing PDDL

Related tags

Overview

PDDL in Python – Python DSL for writing a PDDL

You might also like...

Todos os exercícios do Curso de Python, do canal Curso em Vídeo, resolvidos em Python, Javascript, Java, C++, C# e mais...

PyDy, short for Python Dynamics, is a tool kit written in the Python

A Python script made for the Python Discord Pixels event.

this is a basic python project that I made using python

Analisador de strings feito em Python // String parser made in Python

Python with braces. Because Python is awesome, but whitespace is awful.

PSP (Python Starter Package) is meant for those who want to start coding in python but are new to the coding scene.

Py-Parser est un parser de code python en python encore en plien dévlopement.

Simple, high-school-leveled sequence library written in Python / 간단한 고등학교 수준 수열 라이브러리 (Python)

Comments

constants

costs

probabilistic effects

non-det effects

Owner

International Business Machines

Small exercises to get you used to reading and writing Python code!

Cirq is a Python library for writing, manipulating, and optimizing quantum circuits and running them against quantum computers and simulators

This repository requires you to solve a problem by writing some basic python code.

A python library for writing parser-based interactive fiction.

Basic infrastructure for writing scripts in Python

Tool to generate wrappers for Linux libraries allowing for dlopen()ing them without writing any boilerplate

Viewflow is an Airflow-based framework that allows data scientists to create data models without writing Airflow code.

Just some mtk tool for exploitation, reading/writing flash and doing crazy stuff

WriteAIr is a website which allows users to stream their writing.

Procedurally generated Oblique Strategies for writing your own Oblique Strategies