A Unified Approach to Intelligent Agency

The paper presents a unified approach to intelligent agency that has been developed by the members of the Laboratory for Knowledge Representation in Logic at the Department of Computer and Information Science, University of Linkoping since 1986. The approach is based on the theory of Inhabited Dynamical Systems proposed and developed by Sandewall [27], on the integrated layered software architecture concept developed at our lab [24] and on the research on specification of reactive system behaviour pursued since 1990 [15].

[1]  Barbara Hayes Roth Architectural foundations for real-time performance in intelligent agents , 1990 .

[2]  SystemsJacek Malec,et al.  Complex Behavior Speciication for Autonomous Systems , 1992 .

[3]  Patrick Doherty,et al.  Reasoning about Action and Change Using Occlusion , 1994, ECAI.

[4]  R. Peter Bonasso,et al.  Integrating Reaction Plans and Layered Competences Through Synchronous Control , 1991, IJCAI.

[5]  Rodney A. Brooks,et al.  The Behavior Language: User''s Guide , 1990 .

[6]  Jacek Malec,et al.  Complex behavior specification for autonomous systems , 1992, Proceedings of the 1992 IEEE International Symposium on Intelligent Control.

[7]  Rodney A. Brooks,et al.  Twilight Zones and Cornerstones: A Gnat Robot Double Feature , 1989 .

[8]  Jacek Malec,et al.  DRIVER SUPPORT SYSTEM FOR TRAFFIC MANOEUVRES , 1994 .

[9]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[10]  Innes A. Ferguson TouringMachines: an architecture for dynamic, rational, mobile agents , 1992 .

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

[12]  Erann Gat,et al.  Integrating reaction and planning in a heterogeneous asynchronous architecture for mobile robot navigation , 1991, SGAR.

[13]  J. Hultman,et al.  A Software Architecture for Autonomous Systems , 1989, Proceedings of the 6th International Symposium on Unmanned Untethered Submersible Technology,.

[14]  James A. Hendler,et al.  Knowledge strata: reactive planning with a multi-level architecture , 1990 .

[15]  Jacek Malec,et al.  On Semantics of Behaviour Languages , 1993 .

[16]  Jonathan H. Connell,et al.  SSS: a hybrid architecture applied to robot navigation , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[17]  Simin Nadjm-Tehrani,et al.  Real-time hierarchical control , 1992, IEEE Software.

[18]  James S. Albus,et al.  NASA/NBS Standard Reference Model for Telerobot Control System Architecture (NASREM) , 1989 .