PDDLSharp 1.0.14

PDDLSharp

This is a project to make a PDDL parser, contextualiser, analyser, code generator and much more for C#. The parser is fully PDDL 2.2 compatible.

PDDL Parser

The PDDL Parser is the main part of PDDLSharp. Its a fully fledged parser that can parser up to PDDL 2.2 files.

A usage example of how to use the PDDL parser:

IErrorListener listener = new ErrorListener();
IParser<INode> parser = new PDDLParser(listener);
PDDLDecl decl = new PDDLDecl(
    parser.ParseAs<DomainDecl>("domain.pddl"),
    parser.ParseAs<ProblemDecl>("problem.pddl")
)

To parse a file as a specific PDDL object:

IErrorListener listener = new ErrorListener();
IParser<INode> parser = new PDDLParser(listener);
ActionDecl decl = parser.ParseAs<ActionDecl>("action-file.pddl");

To contextualise a domain/problem:

IErrorListener listener = new ErrorListener();
IParser<INode> parser = new PDDLParser(listener);
PDDLDecl decl = new PDDLDecl(
    parser.ParseAs<DomainDecl>("domain.pddl"),
    parser.ParseAs<ProblemDecl>("problem.pddl")
)
contextualiser.Contexturalise(decl);

To analyse a domain/problem (Note, the analyser will also contextualise the PDDL declaration, if it have not been contextualised):

IErrorListener listener = new ErrorListener();
IParser<INode> parser = new PDDLParser(listener);
IAnalyser analyser = new PDDLAnalyser(listener);
PDDLDecl decl = new PDDLDecl(
    parser.ParseAs<DomainDecl>("domain.pddl"),
    parser.ParseAs<ProblemDecl>("problem.pddl")
)
analyser.Analyse(decl);

PDDL Code Generator

To generate PDDL code from a PDDL declaration:

IErrorListener listener = new ErrorListener();
ICodeGenerator<INode> generator = new PDDLCodeGenerator(listener);
PDDLDecl decl = new PDDLDecl(...);
// If you want a "pretty" output, use:
// generator.Readable = true;
generator.Generate(decl.Domain, "domain.pddl");
generator.Generate(decl.Problem, "problem.pddl");

Plan Parser

There is also a plan parser that can parse Fast Downward output plans.

IErrorListener listener = new ErrorListener();
IParser<ActionPlan> parser = new FastDownwardPlanParser(listener);
ActionPlan plan = parser.Parse("planFile");

Plan Code Generator

To generate a Fast Downward plan from a ActionPlan declaration:

IErrorListener listener = new ErrorListener();
ICodeGenerator<ActionPlan> generator = new FastDownwardPlanGenerator(listener);
ActionPlan plan = new ActionPlan(...);
// If you want a "pretty" output, use:
// generator.Readable = true;
generator.Generate(plan, "planFile");

State Space Simulator

There is a State Space Simulator included with PDDLSharp. This is a simulator that is capable of simulating the state changes for each action execution. If there are invalid arguments or type issues, the simulator will throw an exception.

PDDLDecl declaration = new PDDLDecl(...);
IStateSpaceSimulator simulator = new StateSpaceSimulator(declaration);
simulator.Step("actionName", "obj1", "obj2");

You can also give it the output of the Plan Parser to step through:

IErrorListener listener = new ErrorListener();
IParser<ActionPlan> parser = new FastDownwardPlanParser(listener);
ActionPlan plan = parser.Parse("planFile");

PDDLDecl declaration = new PDDLDecl(...);
IStateSpaceSimulator simulator = new StateSpaceSimulator(declaration);
simulator.ExecutePlan(plan);

Supported Requirements

PDDLSharp supports a large set of requirements, all the way up to PDDL 2.2:

• STRIPS (:strips)
• Typing (:typing)
• Disjunctive Preconditions (:disjunctive-preconditions)
• Equality (:equality)
• Quantified Preconditions (:quantified-preconditions)
  • Existential Preconditions (:existential-preconditions)
  • Universal Preconditions (:universal-preconditions)
• Conditional Effects (:conditional-effects)
• Domain Axioms (:domain-axioms)
  • Subgoals Through Axioms (:subgoals-through-axioms)
  • Expression Evaluation (:expression-evaluation)
• ADL (:adl)
• Fluents (:fluents)
• Durative Actions (:durative-actions)
  • Durative Inequalities (:durative-inequalities)
  • Continuous Effects (:continuous-effects)
• Negative Preconditions (:negative-preconditions)
• Derived Predicates (:derived-predicates)
• Timed Initial Literals (:timed-initial-literals)
• Action Expansions (:action-expansions)
• Foreach Expansions (:forach-expansions)
• DAG Expansions (:dag-expansions)
• Safety Constraints (:safety-constraints)
• Open World (:open-world)
• True Negation (:true-negation)
• UCPOP (:ucpop)
• Constraints (:constraints)
• Preferences (:preferences)