If you need an accessible version of this item please contact JSTOR User Support

Realization for Causal Nondeterministic Input-Output Systems

Norman Y. Foo and Pavlos Peppas
Studia Logica: An International Journal for Symbolic Logic
Vol. 67, No. 3, On Commonsense Reasoning 2 (Apr., 2001), pp. 419-437
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016291
Page Count: 19
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
Realization for Causal Nondeterministic Input-Output Systems
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[419]
    [419]
  • Thumbnail: Page 
420
    420
  • Thumbnail: Page 
421
    421
  • Thumbnail: Page 
422
    422
  • Thumbnail: Page 
423
    423
  • Thumbnail: Page 
424
    424
  • Thumbnail: Page 
425
    425
  • Thumbnail: Page 
426
    426
  • Thumbnail: Page 
427
    427
  • Thumbnail: Page 
428
    428
  • Thumbnail: Page 
429
    429
  • Thumbnail: Page 
430
    430
  • Thumbnail: Page 
431
    431
  • Thumbnail: Page 
432
    432
  • Thumbnail: Page 
433
    433
  • Thumbnail: Page 
434
    434
  • Thumbnail: Page 
435
    435
  • Thumbnail: Page 
436
    436
  • Thumbnail: Page 
437
    437