Logic-based theories of action and automata-based systems theories share concerns about state dynamics that are however not reflected by shared insights. As an example of how to remedy this we examine a simple variety of situation calculus theories from the viewpoint of system-theoretic properties to reveal relationships between them. These provide insights into relationships between logic-based solution policies, and are suggestive of similar relationships for more complex versions. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Foo, N., & Peppas, P. (2005). System properties of action theories. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3397, pp. 416–427). Springer Verlag. https://doi.org/10.1007/978-3-540-30583-5_45
Mendeley helps you to discover research relevant for your work.