Propositional Dynamic Logic for Planning

• Mario Folhadela Benevides UFF http://orcid.org/0000-0002-1481-1942
• Anna Moreira de Oliveira UFRJ http://orcid.org/0000-0002-9061-9290

DOI: https://doi.org/10.5753/wbl.2020.11454

Resumo

This paper presents an on going work on Propositional Dynamic Logic PDL in which atomic programs are STRIPS actions. We think that this new framework is appropriate to reasoning about actions and plans when dealing with planning problem. Unlike, PDL atomic programs, STRIPS actions have pre-conditions and post-conditions. We propose a novel operator of action composition that takes in account the features of STRIPS actions. We propose an axiomatization and prove its soundness. Completeness, decidability and computational complexity are left as future work.

Palavras-chave: Planning, Dynamic Logic, Action logic

Referências

Blackburn, P., de Rijke, M., and Venema, Y. (2001).Modal Logic. Cambridge UniversityPress, UK.

Fikes, R. E., Nillson, N. J., and Cocosco, C. A. (1998). A review of ”strips: A newapproach to the application of theorem proving to problem solving by r.e. fikes, n.j.nillson, 1971”

Fikes, R. E. and Nilsson, N. J. (1971). Strips: A new approach to the application oftheorem proving to problem solving. InProceedings of the 2Nd International JointConference on Artificial Intelligence, IJCAI’71, pages 608–620, San Francisco, CA,USA. Morgan Kaufmann Publishers Inc

Goldblatt, R. (1992).Logics of Time and Computation. CSLI Lecture Notes 7. CSLI,Stanford.

Harel, D., Kozen, D., and Tiuryn, J. (2000).Dynamic Logics. MIT Press

Luger, G. F. (2008).Artificial Intelligence: Structures and Strategies for Complex Pro-blem Solving. Addison-Wesley Publishing Company, USA, 6th editio

Russell, S. J. and Norvig, P. (2003).Artificial intelligence - a modern approach, 2ndEdition. Prentice Hall series in artificial intelligence. Prentice Hal