Commit 972d9c06 authored by domschrei's avatar domschrei
Browse files

Master thesis reference, change wording

parent 8624d96d
# HTN-SAT
This project is a framework designed to do SAT-based Hierarchical Task Network (HTN) planning. It is the practical contribution of my Master thesis (see the document `thesis.pdf`) and the repository for the publications [1] and [2].
This project is a framework designed to do SAT-based Hierarchical Task Network (HTN) planning. It is the practical contribution of the Master thesis [0] (see the document `thesis.pdf`) and serves as a repository for the publications [1] and [2].
Note that the SAT-based hierarchical planner **Tree-REX** as presented in [2] is referred to as **T-REX** in my master thesis and, generally, throughout this repository. The name has been changed retroactively to avoid name collisions with other planning-related projects.
Note that the SAT-based hierarchical planner **Tree-REX** as presented in [2] is referred to as **T-REX** in the master thesis and, generally, throughout this repository. The name has been changed retroactively to avoid name collisions with other planning-related projects.
## Structure
* `bin`: Contains all executables and general scripts.
* `evaluation`: The evaluation data gathered for [0], [1], and [2].
* `htn-sat`: The java project HTN-SAT which is used to read PDDL problem files, ground the problem via preprocessing routines [3], encode the problem into SAT, call an external solving application, and decode the solution back to a plan.
* `lib`: Contains libraries needed to build and execute the applications.
* `problems`: Contains some HTN problem benchmarks in PDDL format.
......@@ -62,7 +63,7 @@ More information on the usage of T-REX and on the underlying problem model and i
## Evaluation
All evaluation results can be found in the `evaluation/logs/` directory. Note that the results are provided in a compact manner, as the file sizes do not allow me to upload all of the files produced during the evaluation process.
All relevant evaluation results can be found in the `evaluation/logs/` directory.
In order to reproduce any evaluations that have been done or to conduct new evaluations, please consult the README in the `evaluation/` directory.
To reproduce the T-REX parameter tuning with [ParamILS](http://www.cs.ubc.ca/labs/beta/Projects/ParamILS/index.html), consult the README in `evaluation/tuning/`.
......@@ -73,6 +74,8 @@ If there are any questions or problems regarding this project, please feel free
## References
[0] Schreiber, Dominik (2018). "Hierarchical Task Network Planning Using SAT Techniques." Master thesis.
[1] Schreiber, Dominik et al. (2019). "Efficient SAT Encodings for Hierarchical Planning." To appear in: _Proceedings of the 11th International Conference on Agents and Artificial Intelligence_ (ICAART).
[2] Schreiber, Dominik et al. (2019). "Tree-REX: SAT-based Tree Exploration for Efficient and High-Quality HTN Planning." To appear in: _Proceedings of the 19th International Conference on Automated Planning and Scheduling_ (ICAPS).
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment