|
Title:
|
A PDDL-BASED SIMULATION SYSTEM |
|
Author(s):
|
Cristóbal Tapia, Pablo San Segundo, Jorge Artieda |
|
ISBN:
|
978-989-8533-39-5 |
|
Editors:
|
Ajith P. Abraham, Antonio Palma dos Reis and Jörg Roth |
|
Year:
|
2015 |
|
Edition:
|
Single |
|
Keywords:
|
Automated Planning, Artificial Intelligence, SAT, PDDL, Simulation. |
|
Type:
|
Full Paper |
|
First Page:
|
81 |
|
Last Page:
|
88 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
This paper presents a planning simulation system that allows automated planning practitioners to experiment with planning domains, defined using the PDDL language. The proposed system has a modular architecture including a SAT planner (PDDL parser, SAT encoder and SAT solver), a plan simulator and a 3D view user interface. Most of these modules can be changed with other with similar purpose. This system allows users to test and validate PDDL domains and solutions, using an attractive user interface that includes the simulation of the execution of the plan on a 3D view as an animation. |
|
|
|
|
|
|
