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.
Similar content being viewed by others
References
M. Arbib, Theories of Abstract Automata, Prentice-Hall, 1969.
M. Arbib, ‘Automata theory: the rapprochement with control theory’, in R. Kalman, P. Falb and M. Arbib, Topics in Mathematical Systems Theory, McGraw-Hill, 1969.
T. Booth, Sequential Machines and Automata Theory, John Wiley, 1968.
V. Lifschitz, ‘Circumscription’, in The Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning, D.M. Gabbay, C. J. Hogger and J.A. Robinson (eds.), Oxford University Press, 297-352, 1994.
A. Naylor and G. Sell, Linear Operator Theory in Science and Engineering, Holt, Rihehart and Winston, 1971.
M. Shanahan, Solving the Frame Problem: a mathematical investigation of the commonsense law of inertia, MIT Press, 1997.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Foo, N.Y., Peppas, P. Realization for Causal Nondeterministic Input-Output Systems. Studia Logica 67, 419–437 (2001). https://doi.org/10.1023/A:1010524802140
Issue Date:
DOI: https://doi.org/10.1023/A:1010524802140