attribute-grammar-htn's Introduction

attribute-grammar-htn

Install

Make sure ruby is installed (to check type ruby -v on a terminal).
Clone (or download) the repository.
Open a terminal and navigate to the repostory main folder

Usage

To validate type ruby Hype.rb domain problem plan validate where domain, problem, and plan are the locations of the domain, problem, and solution plan files.
To parse HTN models from SHOP2-like syntax to an intermediate represenation of attribute grammars type ruby Hype.rb domain problem parse where domain, and problem, are the locations of the domain, and problem files.

Examples

ruby Hype.rb examples/toy/domain.lisp examples/toy/problem.lisp examples/toy/plan.lisp validate

ruby Hype.rb examples/toy/domain.lisp examples/toy/problem.lisp parse

attribute-grammar-htn's People

Contributors

Watchers

attribute-grammar-htn's Issues

Propagation is not working properly

Negative preconditions are not being propagated all the way.

Ignore (or remove) subtasks that have contradicting begin and end indexes

Apply before contraints

The algorithm can only correctly apply before contraints if the subtask has the same number of variables as the method's preconditions.
This should be remade, and moved to where it is necessary, so as to optimise the code as well.

Recommend Projects