/attribute-grammar-htn

Attribute grammar representation and usage of HTN models.

Primary LanguageRubyGNU General Public License v3.0GPL-3.0

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