Modeling Agents’ Choices in Temporal Linear Logic
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.
KeywordsModeling Agent Temporal Linear Logic Linear Logic Sequent Calculus Agent Interaction
Unable to display preview. Download preview PDF.
- 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.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.Hirai, T.: Temporal Linear Logic and Its Applications. PhD thesis, Graduate School of Science and Technology, Kobe University (2000)Google Scholar
- 4.Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science (vol. B): formal models and semantics, 995–1072 (1990)Google Scholar
- 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.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