Skip to main content
SpringerLink
Log in

A unified approach to intelligent agency

  • Conference paper
  • First Online:
Intelligent Agents (ATAL 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 890))

Included in the following conference series:

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].

This research has been supported by the Center for Industrial Information Technology (CENIIT).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Rodney A. Brooks. The behavior language; user's guide. Memo 1227, MIT AILab, April 1990.

    Google Scholar 

  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. Patrick Doherty. Reasoning about action and change using occlusion. In Proc. ECAI'94, pages 401–405, 1994.

    Google Scholar 

  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. 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. 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. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Google Scholar 

  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. 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. Leslie Pack Kaelbling and Stanley J. Rosenschein. Action and planning in embedded agents. Robotics and Autonomous Systems, 6:35–48, 1990.

    Google Scholar 

  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. 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. 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. 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. 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. 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. Maja J. Mataric. Basic tips for programming in the behavior language. Unpublished memo.

    Google Scholar 

  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. Magnus Morin. PLCL — Process Layer Configuration Language. Technical Report LAIC-IDA-91-TR10, Linköping University, 1991.

    Google Scholar 

  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. Magnus Morin. RL-RL: An embedded rule-based system. Technical Report LAIC-IDA-94-TR2, Linköping University, 1994.

    Google Scholar 

  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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden

    Jacek Malec

Authors
  1. Jacek Malec
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Malec, J. (1995). A unified approach to intelligent agency. In: Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents. ATAL 1994. Lecture Notes in Computer Science, vol 890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58855-8_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-58855-8_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58855-9

  • Online ISBN: 978-3-540-49129-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation