TY - GEN
T1 - Modeling abstract behavior : a dynamic logic approach
AU - Zhou, Yi
AU - Zhang, Yan
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://handle.uws.edu.au:8081/1959.7/562635
U2 - 10.1007/978-3-642-10439-8_54
DO - 10.1007/978-3-642-10439-8_54
M3 - Conference Paper
SN - 9783642104381
SP - 538
EP - 546
BT - AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference: Melbourne, Australia, December 1-4, 2009: Proceedings
PB - Springer
T2 - Australasian Joint Conference on Artificial Intelligence
Y2 - 1 December 2013
ER -