Analysis of Planning Performance Module Theories for a New Domain Using Resources and Time
Abstract
As the search for plans becomes more relevant to applications in the real world, it increases the demands for expression in the modeling language. In particular, there is a new planning formalism for the use of new theories to increase the power of modeling. This paper shows how the Planning Modules Theory (PMT) fulfills this role by analyzing its performance compared to the Metric-FF planner. Also, a new domain is presented in which time and resources are used simultaneously , which is capable of making the PMT able to solve problems that are outside the existing domains.
Keywords:
Fundamentals of Artificial Intelligence, Automated Planning and Scheduling
References
Barrett, C., Fontaine, P., and Tinelli, C. (2016). The Satisability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org, acessado em 13/01/2018.
Barrett, C., Sebastiani, R., Seshia, S., and Tinelli, C. (2009). Satisability modulo theories. In Biere, A., Heule, M. J. H., van Maaren, H., and Walsh, T., editors, Handbook of Satisability, volume 185 of Frontiers in Articial Intelligence and Applications, chapter 26, pages 825–885. IOS Press.
Ghallab, M., Nau, D., and Traverso, P. (2004). Automated Planning: theory and practice. Elsevier.
Gregory, P., Long, D., Fox, M., and Beck, J. C. (2012). Planning Modulo Theories : Extending the Planning Paradigm. International Conference on Automated Planning and Scheduling, pages 65–73.
McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., and Wilkins, D. (1998). Pddl-the planning domain denition language.
Rich, E. (1985). Articial intelligence and the humanities. Computers and the Humanities, 19(2):117–122.
Russell, S. J. and Norvig, P. (2003). Articial intelligence: a modern approach. Elsevier.
Weld, D. S. (1999). Recent Advances in AI Planning. AI Magazine, 20(2):93.
Barrett, C., Sebastiani, R., Seshia, S., and Tinelli, C. (2009). Satisability modulo theories. In Biere, A., Heule, M. J. H., van Maaren, H., and Walsh, T., editors, Handbook of Satisability, volume 185 of Frontiers in Articial Intelligence and Applications, chapter 26, pages 825–885. IOS Press.
Ghallab, M., Nau, D., and Traverso, P. (2004). Automated Planning: theory and practice. Elsevier.
Gregory, P., Long, D., Fox, M., and Beck, J. C. (2012). Planning Modulo Theories : Extending the Planning Paradigm. International Conference on Automated Planning and Scheduling, pages 65–73.
McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., and Wilkins, D. (1998). Pddl-the planning domain denition language.
Rich, E. (1985). Articial intelligence and the humanities. Computers and the Humanities, 19(2):117–122.
Russell, S. J. and Norvig, P. (2003). Articial intelligence: a modern approach. Elsevier.
Weld, D. S. (1999). Recent Advances in AI Planning. AI Magazine, 20(2):93.
Published
2019-10-15
How to Cite
IVANCHECHEN, Danielle; CASTILHO, Marcos.
Analysis of Planning Performance Module Theories for a New Domain Using Resources and Time. In: NATIONAL MEETING ON ARTIFICIAL AND COMPUTATIONAL INTELLIGENCE (ENIAC), 16. , 2019, Salvador.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2019
.
p. 108-117.
ISSN 2763-9061.
DOI: https://doi.org/10.5753/eniac.2019.9276.
