A situated-automata approach to the design of embedded agents

ABSTRACT

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.

REFERENCES

• 1: Philip E. Agre and David Chapman. Pengi: An implementation of a theory of activity. In <i>Proceedings of the Sixth National Conference on Artificial Intelligence,</i> volume 1, pages 268--272, Seattle, Washington, 1987. Morgan Kaufmann.
• 2: Rodney A. Brooks. A robust layered control system for a mobile robot. <i>IEEE Journal of Robotics and Automation,</i> RA-2:14--23, 1986.
• 3: Robert W. Floyd. Assigning meanings to programs. <i>Proceedings of the Symposium on Applied Mathematics,</i> 19, 1967.
• 4: Abraham Ginzburg. <i>Algebraic Theory of Automata.</i> Academic Press, New York, 1968.
• 5: Leslie Pack Kaelbling. Rex: A symbolic language for the design and parallel implementation of embedded systems. In <i>Proceedings of the AIAA Conference on Computers in Aerospace,</i> Wakefield, Massachusetts, 1987.
• 6: Leslie Pack Kaelbling. Goals as parallel program specifications. In <i>Proceedings of the Seventh National Conference on Artificial Intelligence,</i> Minneapolis-St. Paul, Minnesota, 1988.
• 7: Leslie Pack Kaelbling. <i>Learning in Embedded Systems.</i> PhD thesis, Stanford University, Stanford, California, 1990.
• 8: Leslie Pack Kaelbling. Specifying complex behavior for computer agents. In <i>Proceedings of the Workshop on Innovative Approaches to Planning, Scheduling, and Control,</i> pages 433--438, San Diego, California, 1990. Morgan Kaufmann.
• 9: Leslie Pack Kaelbling and Stanley J. Rosenschein. Action and planning in embedded agents. <i>Robotics and Autonomous Systems,</i> 6(1):35--48, 1990.
• 10: Leslie Pack Kaelbling and Nathan J. Wilson. Rex programmer's manual. Technical Report 381R, Artificial Intelligence Center, SRI International, Menlo Park, California, 1988.
• 11: Saul Kripke. Semantical analysis of model logic. <i>Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik,</i> 9:67--96, 1963.
• 12: Zohar Manna , Richard J. Waldinger, Toward automatic program synthesis, Communications of the ACM, v.14 n.3, p.151-165, March 1971 [doi>10.1145/362566.362568]
• 13: Nils J. Nilsson. Shakey the robot. Technical Report 323, Artificial Intelligence Center, SRI International, Menlo Park, California, 1984.
• 14: Nils J. Nilsson. Toward agent programs with circuit semantics. In preparation, 1990.
• 15: S J Rosenschein, Formal theories of knowledge in AI and robotics, New Generation Computing, v.3 n.4, p.345-357, 1985 [doi>10.1007/BF03037076]
• 16: Stanley J. Rosenschein, Synthesizing information-tracing automata from environment descriptions, Proceedings of the first international conference on Principles of knowledge representation and reasoning, p.386-393, December 1989
• 17: S Rosenschein , L Kaelbling, The synthesis of digital machines with provable epistemic properties, Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge, p.83-98, March 1986, Monterey, California, United States

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.1 Models of Computation
          Subjects: Automata (e.g., finite, push-down, resource-bounded)

Additional Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

General Terms:
Design, Theory