Advertisement

A unified approach to intelligent agency

  • Jacek Malec
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 890)

Abstract

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 Linköping 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].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. S. Albus, H. G. McCain, and R. Lumia. NASA/NBS Standard Reference Model for Telerobot Control System Architecture (NASREM). NIST Tecnical Note 1235, National Institute of Standards and Technology, Robot Systems Division, Center for Manufacturing Engineering, Gaithersburg, MD 20899, 1989.Google Scholar
  2. 2.
    R. Peter Bonasso. Integrating reaction plans and layered competences through synchronous control. In Proceedings of the Twelvth International Joint Conference on Artificial Intelligence, Sydney, pages 1225–1231. Morgan Kaufman, 1991.Google Scholar
  3. 3.
    Rodney A. Brooks. The behavior language; user's guide. Memo 1227, MIT AILab, April 1990.Google Scholar
  4. 4.
    Jonathan H. Connell. SSS: A hybrid architecture applied to robot navigation. In Proceedings of the 1992 IEEE International Conference on Robotics and Automation, pages 2719–2724, Nice, France, May 1992.Google Scholar
  5. 5.
    Patrick Doherty. Reasoning about action and change using occlusion. In Proc. ECAI'94, pages 401–405, 1994.Google Scholar
  6. 6.
    Innes A. Ferguson. TouringMachines: An Architecture for Dynamic, Rational, Mobile Agents. PhD thesis, University of Cambridge, Computer Laboratory, Cambridge CB2 3QG, England, November 1992.Google Scholar
  7. 7.
    Anita M. Flynn, Rodney A. Brooks, and Lee S. Tavrow. Twilight zones and cornerstones: A gnat robot double feature. AI Memo 1126, MIT, 1989.Google Scholar
  8. 8.
    Erann Gat. Integrating reaction and planning in a heterogenous asynchronous architecture for mobile robot navigation. SIGART Bulletin, 2(4):70–74, 1991.Google Scholar
  9. 9.
    David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.Google Scholar
  10. 10.
    B. Hayes-Roth. Architectural Foundations for Real-Time Performance in Intelligent Agents. Journal of Real-Time Systems, 2:99–125, 1990.Google Scholar
  11. 11.
    Johan Hultman, Anders Nyberg, and Mikael Svensson. A software architecture for autonomous systems. In Proc. 6th International Symposium on Unmanned Untethered Submersible Technology, pages 279–292, 1989.Google Scholar
  12. 12.
    Leslie Pack Kaelbling and Stanley J. Rosenschein. Action and planning in embedded agents. Robotics and Autonomous Systems, 6:35–48, 1990.Google Scholar
  13. 13.
    Jacek Malec. Passing an intersection, or automata theory is still useful. In Brian Mayoh, editor, Proc. of the Scandinavian Conference on Artificial Intelligence — 91, pages 258–265. IOS Press, 1991.Google Scholar
  14. 14.
    Jacek Malec. Applied knowledge representation. CC-AI: The Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology, 9(1):9–41, 1992.Google Scholar
  15. 15.
    Jacek Malec. Complex behavior specification for autonomous systems. In Proc. IEEE International Symposium on Intelligent Control'92, pages 178–183, Glasgow, Scotland, August 1992.Google Scholar
  16. 16.
    Jacek Malec. On semantics of behaviour languages. In Proceedings of the Fourth National Conference on Robotics, Wrocław, Poland, 1993. Available also as Technical Report IDA-RKL-93-TR17, Department of Computer and Information Sciences, Linköping University.Google Scholar
  17. 17.
    Jacek Malec. On formal analysis of emergent properties. In Christer Bäckström and Erik Sandewall, editors, Current trends in AI planning, pages 213–225. IOS Press, 1994.Google Scholar
  18. 18.
    Jacek Malec and Per Österling. Driver support system for traffic manoeuvers. In G. Ambrosino, M. Bielli, and M. Boero, editors, Artificial Intelligence in Traffic Engineering. VSP International Science Publishers, Zeist, The Netherlands, 1994. Available also as Technical Report LiTH-IDA-R-93-21, Department of Computer and Information Sciences, Linköping University.Google Scholar
  19. 19.
    Maja J. Mataric. Basic tips for programming in the behavior language. Unpublished memo.Google Scholar
  20. 20.
    David Moffat and Nico Frijda. An agent architecture: Will. In Michael Wooldridge and Nicholas R. Jennings, editors, Proceedings of the ECAI'94 Workshop on Agent Theories, Architectures and Languages, pages 216–225, Amsterdam, The Netherlands, August 1994.Google Scholar
  21. 21.
    Magnus Morin. PLCL — Process Layer Configuration Language. Technical Report LAIC-IDA-91-TR10, Linköping University, 1991.Google Scholar
  22. 22.
    Magnus Morin. Predictable cyclic computations in autonomous systems: A computational model and implementation. Licenciate thesis 352, Department of Computer and Information Sciences, Linköping University, 1993.Google Scholar
  23. 23.
    Magnus Morin. RL-RL: An embedded rule-based system. Technical Report LAIC-IDA-94-TR2, Linköping University, 1994.Google Scholar
  24. 24.
    Magnus Morin, Simin Nadjm-Tehrani, Per Österling, and Erik Sandewall. Real-time hierarchical control. IEEE Software, 9(5):51–57, September 1992.Google Scholar
  25. 25.
    Magnus Morin and Erik Sandewall. A software architecture supporting integration of sub-systems. In PROMETHEUS: Proceedings of the Fourth Workshop, 1990. Also available as Technical Report LAIC-IDA-90-TR21, Dept. of Computer and Information Science, Linköping University.Google Scholar
  26. 26.
    Jörg P. Müller, Markus Pischel, and Michael Thiel. A pragmatic approach to modeling autonomous interacting systems — preliminary report. In Michael Wooldridge and Nicholas R. Jennings, editors, Proceedings of the ECAI'94 Workshop on Agent Theories, Architectures and Languages, pages 226–240, Amsterdam, The Netherlands, August 1994.Google Scholar
  27. 27.
    Erik Sandewall. Features and Fluents. Oxford University Press, 1994. The final review version is available as the research report LiTH-IDA-R-94-15, Department of Computer and Information Science, University of Linköping.Google Scholar
  28. 28.
    Lee Spector and James Hendler. Knowledge strata: Reactive planning with a multi-level architecture. Technical Report CS-TR-2564, Department of Computer Science, University of Maryland, College Park, MD, November 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Jacek Malec
    • 1
  1. 1.Department of Computer and Information ScienceLinköping UniversityLinköpingSweden

Personalised recommendations