Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Hirai, T.: Temporal Linear Logic and Its Applications. PhD thesis, Graduate School of Science and Technology, Kobe University (2000)
Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science (vol. B): formal models and semantics, 995–1072 (1990)
Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pham, D.Q., Harland, J., Winikoff, M. (2008). Modeling Agents’ Choices in Temporal Linear Logic. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies V. DALT 2007. Lecture Notes in Computer Science(), vol 4897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77564-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-77564-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77563-8
Online ISBN: 978-3-540-77564-5
eBook Packages: Computer ScienceComputer Science (R0)