Abstract
Modeling abstract behavior is essential for intelligent agents under incomplete and uncertain environments. In this paper, we extend Propositional Dynamic Logic (PDL) to Propositional Abstract Dynamic Logic (PADL) for modeling abstract behavior in two aspects. On the one hand, we treat the task of finding a plan to achieve a certain formula as an abstract action. On the other hand, we explicitly represent the subsumption relation between two actions as a formula in the language. We propose the semantics for the two operators and discuss some important related properties. © Springer-Verlag Berlin Heidelberg 2009.
Cite
CITATION STYLE
Zhou, Y., & Zhang, Y. (2009). Modeling abstract behavior: A dynamic logic approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5866 LNAI, pp. 538–546). https://doi.org/10.1007/978-3-642-10439-8_54
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
