Propositional Dynamic Logic for Planning
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.
Referências
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