A Truly Concurrent Model for Interacting Agents

  • Wieke de Vries
  • Frank S. de Boer
  • Wiebe van der Hoek
  • John-Jules Ch. Meyer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2132)


We offer a new operational model of agents, which focuses on the interaction of agents with each other and with a dynamic environment. We abstract from the inner workings of agents by offering a definable mental lexicon and a flexible cycle of sensing, reasoning and acting. The model incorporates a truly concurrent semantics for physical action, observation, communication and events. The dynamic world and events which can occur in it are explicitly modelled, and actions have a duration. Due to these features, the models offers a realistic view on interacting agents.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. W. de Bakker, W.-P. de Roever and G. Rozenberg (eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer, 1989.zbMATHGoogle Scholar
  2. 2.
    P. R. Cohen and H. J. Levesque, “Intention is Choice with Commitment”, Artificial Intelligence 42, pp. 213–261.Google Scholar
  3. 3.
    C. M. Jonker, J. Treur and W. deVries, “Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments”, in: Agent-Oriented Software Engineering, First International Workshop (AOSE-2000), (P. Ciancarini and M. Wooldridge, eds.), LNCS 1957, Springer, 2001.Google Scholar
  4. 4.
    K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, “Agent Programming in 3APL”, Autonomous Agents and Multi-Agent Systems, 2 (1999), pp. 357–401.CrossRefGoogle Scholar
  5. 5.
    J.-J. Ch. Meyer and E. P. de Vink, “Step Semantics for ‘True’ Concurrency with Recursion”, Distributed Computing 3 (1989), pp. 130–145.zbMATHCrossRefGoogle Scholar
  6. 6.
    J. Müller, “Control Architectures for Autonomous and Interacting Agents: A Survey”, in Intelligent Agent Systems: Theoretical and Practical Issues, (L. Cavedon, A. Rao, W. Wobcke, eds.), LNCS 1209, Springer, 1996, pp. 1–26.Google Scholar
  7. 7.
    A. S. Rao, “AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language”, in Agents Breaking Away, (W. van der Velde and J. W. Perram, eds.), LNAI 1038, Springer, 1995, pp. 341–354.Google Scholar
  8. 8.
    E. Sandewall and Y. Shoham, “Non-monotonic Temporal Reasoning”, in Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4 on Epistemic and Temporal Reasoning, (D. M. Gabbay, C. J. Hogger, J. A. Robinson, eds.), Clarendon Press, Oxford, 1995.Google Scholar
  9. 9.
    Y. Shoham, “Agent-Oriented Programming”, Artificial Intelligence 60 (1993), pp. 51–92.CrossRefMathSciNetGoogle Scholar
  10. 10.
    G. Weiss, Multiagent Systems: a Modern Approach to Distributed Artificial Intelligence, The MIT Press, 1999, pp. 1–9.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Wieke de Vries
    • 1
  • Frank S. de Boer
    • 1
  • Wiebe van der Hoek
    • 1
    • 2
  • John-Jules Ch. Meyer
    • 1
  1. 1.Institute of Information and Computing SciencesUtrecht UniversityTB UtrechtThe Netherlands
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK

Personalised recommendations