Graduate studies at Western
Studia Logica 67 (3):419-437 (2001)
|Abstract||There are two well-developed formalizations of discrete time dynamic systems that evidently share many concerns but suffer from a lack of mutual awareness. One formalization is classical systems and automata theory. The other is the logic of actions in which the situation and event calculi are the strongest representatives. Researchers in artificial intelligence are likely to be familiar with the latter but not the former. This is unfortunate, for systems and automata theory have much to offer by way of insight into problems raised in the logics of action. This paper is an outline of how the input-output view of systems and its associated solution of state realization may be applied to the formalization of dynamics that uses a situation calculus approach. In particular, because the latter usually admits incompletely specified dynamics, which induces a non-deterministic input-output system behavior, we first show that classical state realization can still be achieved if the behavior is causal. This is a novel systems-theoretic result. Then we proceed to indicate how situation calculi dynamic specifications can be understood in systems-theoretic terms, and how automata can be viewed as models of such specifications. As techniques for reasoning about automata are abundant, this will provide yet more tools for reasoning about actions.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Guido Boella & Leendert van der Torre (2007). The Ontological Properties of Social Roles in Multi-Agent Systems: Definitional Dependence, Powers and Roles Playing Roles. [REVIEW] Artificial Intelligence and Law 15 (3):201-221.
David Makinson & Leendert van der Torre (2001). Constraints for Input/Output Logics. Journal of Philosophical Logic 30 (2):155-185.
W. Schonbein (2005). Cognition and the Power of Continuous Dynamical Systems. Minds and Machines 15 (1):57-71.
Berent Enç (2004). Causal Theories of Intentional Behavior and Wayward Causal Chains. Behavior and Philosophy 32 (1):149 - 166.
J.-P. Moulin (1992). Modifiable Automata Self-Modifying Automata. Acta Biotheoretica 40 (2-3).
Joachim Funke (2001). Dynamic Systems as Tools for Analysing Human Judgement. Thinking and Reasoning 7 (1):69 – 89.
Yuri Gurevich & Saharon Shelah (1989). Time Polynomial in Input or Output. Journal of Symbolic Logic 54 (3):1083-1088.
Ned Block (2002). Behaviorism Revisited. Behavioral and Brain Sciences 24 (5):977-978.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,723 of 739,786 )
Recent downloads (6 months)0
How can I increase my downloads?