A situated-automata approach to the design of embedded agents

This paper addresses Laird's issues concerning integrated intelligent architectures in the context of work done by the Situated Automata group at SRI International, CSLI, and Teleos Research. The first section contains a brief general introduction to the theory and programming methodologies of the situated-automata approach, the second section discusses some terminological difficulties; and the third section addresses the specific issues.

[1]  Leslie Pack Kaelbling,et al.  Learning in embedded systems , 1993 .

[2]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[3]  David Chapman,et al.  Pengi: An Implementation of a Theory of Activity , 1987, AAAI.

[4]  Robert W. Floyd,et al.  Assigning Meanings to Programs , 1993 .

[5]  Abraham Ginzburg,et al.  Algebraic theory of automata , 1968 .

[6]  Zohar Manna,et al.  Toward automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.

[7]  Nils J. Nilsson,et al.  Shakey the Robot , 1984 .

[8]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[9]  Leslie Pack Kaelbling.  Rex: A Symbolic Language for the Design and Parallel Implementation of Embedded Systems , 1987 .

[10]  Nils J. Nilsson,et al.  Toward agent programs with circuit semantics , 1992 .

[11]  Zohar Manna,et al.  Towards automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.

[12]  Leslie Pack Kaelbling,et al.  Goals as Parallel Program Specifications , 1988, AAAI.

[13]  Leslie Pack Kaelbling,et al.  Rex Programmer's Manual , 1988 .

[14]  Leslie Pack Kaelbling,et al.  Action and planning in embedded agents , 1990, Robotics Auton. Syst..

[15]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[16]  Leslie Pack Kaelbling,et al.  Specifying Complex Behavior for Computer Agents , 1991 .

[17]  Stanley J. Rosenschein,et al.  Synthesizing Information-Tracking Automata from Environment Descriptions , 1989, KR.