Abstract
In this paper we present an application of temporal linear logic (TLL) to symbolic agent negotiation and reasoning. While linear logic gives us control over resources and agent capabilities during negotiation, TLL allows considering time issues as well. That allows us to construct more expressive offers, which would not be possible in linear logic only.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amgoud, L., Parsons, S., Maudet, N.: Arguments, Dialogue and Negotiation. In: Proceedings of 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, pp. 338–342. IOS Press, Amsterdam (2000)
Fisher, M.: Characterising Simple Negotiation as Distributed Agent-Based Theorem-Proving – A Preliminary Report. In: Proceedings of the Fourth International Conference on Multi-Agent Systems, Boston, July 2000, IEEE Press, Los Alamitos (2000)
Harland, J., Winikoff, M.: Agent Negotiation as Proof Search in Linear Logic. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15-19 (2002)
Hirai, T.: Propositional Temporal Linear Logic and its Application to Concurrent Systems. IEICE Transactions E83-A(11), 2228–2235 (2000)
Kanovich, M.I., Ito, T.: Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). In: Proceedings of 12th Annual IEEE Symposium on Logic in Computer Science (LICS 1997), Warsaw, Poland, June 29-July 2, 1997, pp. 48–57 (1998)
Kanovich, M.I., Okada, M., Scedrov, A.: Specifying Real-Time Finite-State Systems in Linear Logic. In: Proceedings of the 2nd International Workshop on Constraint Programming for Time-Critical Applications and Multi-Agent Systems (COTIC 1998), Nice, France, September 7 (1998)
Küngas, P., Matskin, M.: Linear Logic, Partial Deduction and Cooperative Problem Solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 263–279. Springer, Heidelberg (2004) (to appear)
Lloyd, J.W., Shepherdson, J.C.: Partial Evaluation in Logic Programming. Journal of Logic Programming 11, 217–242 (1991)
Parsons, S., Sierra, C., Jennings, N.: Agents that Reason and Negotiate by Arguing. Journal of Logic and Computation 8(3), 261–292 (1998)
Sadri, F., Toni, F., Torroni, P.: Logic Agents, Dialogues and Negotiation: An Abductive Approach. In: Proceedings of the Symposium on Information Agents for E-Commerce, Artificial Intelligence and the Simulation of Behaviour Convention (AISB 2001), York, UK, March 21-24 (2001)
Tanabe, M.: Timed Petri Nets and Temporal Linear Logic. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 156–174. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Küngas, P. (2004). Temporal Linear Logic for Symbolic Agent Negotiation. In: Zhang, C., W. Guesgen, H., Yeap, WK. (eds) PRICAI 2004: Trends in Artificial Intelligence. PRICAI 2004. Lecture Notes in Computer Science(), vol 3157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28633-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-28633-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22817-2
Online ISBN: 978-3-540-28633-2
eBook Packages: Springer Book Archive