David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 67 (3):419-437 (2001)
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||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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.
Yuri Gurevich & Saharon Shelah (1989). Time Polynomial in Input or Output. Journal of Symbolic Logic 54 (3):1083-1088.
Joachim Funke (2001). Dynamic Systems as Tools for Analysing Human Judgement. Thinking and Reasoning 7 (1):69 – 89.
J.-P. Moulin (1992). Modifiable Automata Self-Modifying Automata. Acta Biotheoretica 40 (2-3):195-204.
Berent Enç (2004). Causal Theories of Intentional Behavior and Wayward Causal Chains. Behavior and Philosophy 32 (1):149 - 166.
W. Schonbein (2005). Cognition and the Power of Continuous Dynamical Systems. Minds and Machines 15 (1):57-71.
David Makinson & Leendert van der Torre (2001). Constraints for Input/Output Logics. Journal of Philosophical Logic 30 (2):155-185.
Ned Block (2002). Behaviorism Revisited. Behavioral and Brain Sciences 24 (5):977-978.
Added to index2009-01-28
Total downloads4 ( #370,781 of 1,696,615 )
Recent downloads (6 months)2 ( #250,163 of 1,696,615 )
How can I increase my downloads?