Temporal Linear Logic for Symbolic Agent Negotiation

  • Peep Küngas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3157)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Hirai, T.: Propositional Temporal Linear Logic and its Application to Concurrent Systems. IEICE Transactions E83-A(11), 2228–2235 (2000)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Lloyd, J.W., Shepherdson, J.C.: Partial Evaluation in Logic Programming. Journal of Logic Programming 11, 217–242 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Parsons, S., Sierra, C., Jennings, N.: Agents that Reason and Negotiate by Arguing. Journal of Logic and Computation 8(3), 261–292 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Peep Küngas
    • 1
  1. 1.Department of Computer and Information ScienceNorwegian University of Science and Technology 

Personalised recommendations