Modeling Abstract Behavior: A Dynamic Logic Approach

Authors:
Yi Zhou;Yan Zhang
Affiliations:
Intelligent Systems Lab School of Computing and Mathematics, University of Western Sydney, Penrith South DC, Australia 1797;Intelligent Systems Lab School of Computing and Mathematics, University of Western Sydney, Penrith South DC, Australia 1797
Venue:
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Year:
2009

Citing 5
Cited 0

An essay in combinatory dynamic logic

Information and Computation
Semantics for hierarchical task-network planning

Semantics for hierarchical task-network planning
Dynamic Logic

Dynamic Logic
Multi-agent Logics of Dynamic Belief and Knowledge

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
PDL-based framework for reasoning about actions

AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.