Modeling Agents’ Choices in Temporal Linear Logic

  • Duc Quang Pham
  • James Harland
  • Michael Winikoff
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4897)


Decision-making is a fundamental feature of agent systems. Agents need to respond to requests from other agents, to react to environmental changes, and to prioritize and pursue their goals. Such decisions can have ongoing effects, as the future behavior of an agent may be heavily dependent on choices made earlier. In this paper we investigate a formal framework for modeling the choices of an agent. In particular, we show how the use of a choices calculus based on temporal linear logic can be used to capture distribution, temporal and dependency aspects of choices.


Modeling Agent Temporal Linear Logic Linear Logic Sequent Calculus Agent Interaction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Munroe, S., Miller, T., Belecheanu, R.A., Pechoucek, M., McBurney, P., Luck, M.: Crossing the agent technology chasm: Experiences and challenges in commercial applications of agents. Knowledge Engineering Review 21(4) (2006)Google Scholar
  2. 2.
    Pham, D.Q., Harland, J.: Temporal linear logic as a basis for flexible agent interactions. In: AAMAS 2007. Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 124–131 (May 2007)Google Scholar
  3. 3.
    Hirai, T.: Temporal Linear Logic and Its Applications. PhD thesis, Graduate School of Science and Technology, Kobe University (2000)Google Scholar
  4. 4.
    Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science (vol. B): formal models and semantics, 995–1072 (1990)Google Scholar
  5. 5.
    Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Harland, J., Winikoff, M.: Agent negotiation as proof search in linear logic. In: AAMAS 2002. Proceedings of the first international joint conference on Autonomous agents and Multi-Agent Systems, pp. 938–939. ACM Press, New York (2002)CrossRefGoogle Scholar
  7. 7.
    Küngas, P.: Linear logic, partial deduction and cooperative problem solving. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 97–112. Springer, Heidelberg (2004)Google Scholar
  8. 8.
    Küngas, P., Matskin, M.: Symbolic negotiation with linear logic. In: Dix, J., Leite, J.A. (eds.) CLIMA IV. LNCS (LNAI), vol. 3259, pp. 71–88. Springer, Heidelberg (2004)Google Scholar
  9. 9.
    Pham, D.Q., Harland, J.: Flexible agent protocols via temporal and resource-based reasoning. In: AAMAS 2006. Proceedings of the fifth international joint conference on Autonomous agents and Multi-Agent Systems, pp. 235–237. ACM Press, New York (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Duc Quang Pham
    • 1
  • James Harland
    • 1
  • Michael Winikoff
    • 1
  1. 1.School of Computer Science and Information TechnologyRMIT UniversityMelbourneAustralia

Personalised recommendations