TAMER Unified Planning Interface
This asset provides the interfacing between the TAMER temporal planner and the Unified Planning framework developed by the AIPlan4EU project.
TAMER is a temporal planner, that is a tool for automatically generating a course of actions to reach a desired objective given a formal model of a system (e.g. a robot) subject to temporal constraints. For example, temporal planning can be used to automatically synthesize the work-plan of a factory given a formal model of what the various machines can do and the available workforce.
The AIPlan4EU project developed a Unified Planning (UP) library to simplify the use and interfacing of various kinds of planning techniques, including temporal planning. This asset encompasses the code needed to connect the TAMER planner with the UP, thus using TAMER as one of the possible solution engines.
TAMER is a temporal planner employing algorithms based on heuristic search and Satisfiability Modulo Theory. The focus of the planner is to support advanced features like Intermediate Conditions and Effects (ICE) and Simulated effects and to provide a convenient API for using it in applications.
Operation Modes
- OneshotPlanning
- PlanValidator
Problem Kinds
- Temporal planning with Intermediate Conditions and Effects (ICE)
- Numeric fluents
- Simulated effects
- Custom heuristics
Installation
The library can be easily installed as follows.
python3 -m pip install up-tamer
Alternatively, one can simply install the UP together with tamer as follows
python3 -m pip install unified-planning[tamer]
Try it yourself!
A live demo showcasing the usage is available here.
See also
- Unified Planning
- TAMER
- Alessandro Valentini, Andrea Micheli and Alessandro Cimatti. Temporal Planning with Intermediate Conditions and Effects. AAAI 2020