Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computational Logic in Multi-Agent Systems

CLIMA 2004: Computational Logic in Multi-Agent Systems pp 71–88Cite as

Symbolic Negotiation with Linear Logic

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3259))

Abstract

Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. Previously it has been demonstrated [18] how symbolic negotiation and distributed planning together could be formalised as distributed Linear Logic (LL) theorem proving. LL has been chosen mainly because of its expressive power for representation of resources and its computation-oriented nature. This paper extends the previous work by taking advantage of a richer fragment of LL and introducing two sorts of nondeterministic choices into negotiation. This allows agents to reason and negotiate under certain degree of uncertainty. Additionally, a way of granting unbounded access to resources during negotiation is considered. Finally we extend our framework with first-order LL for expressing more complex offers during negotiation.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Bonacina, M.P.: A Taxonomy of Parallel Strategies for Deduction. Annals of Mathematics and Artificial Intelligence 29(1-4), 223–257 (2000)

    Article  MATH  Google Scholar 

  3. Bozzano, M., Delzanno, G., Martelli, M., Mascardi, V., Zini, F.: Logic Programming & Multi-Agent Systems: a Synergic Combination for Applications and Semantics. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 5–32. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  4. Cohen, P.R., Levesque, H.J.: Teamwork. Nous 25(4), 487–512 (1991)

    Article  Google Scholar 

  5. Fisher, M., Wooldridge, M.: Distributed Problem-Solving as Concurrent Theorem Proving. In: Boman, M., Van de Velde, W. (eds.) MAAMAW 1997. LNCS, vol. 1237, pp. 128–140. Springer, Heidelberg (1997)

    Google Scholar 

  6. 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 

  7. Fuchs, D.: Requirement-Based Cooperative Theorem Proving. In: Dix, J., Fariñas del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol. 1489, pp. 139–153. Springer, Heidelberg (1998)

    Google Scholar 

  8. Giampapa, J.A., Sycara, K.: Conversational Case-Based Planning for Agent Team Coordination. In: Aha, D.W., Watson, I. (eds.) ICCBR 2001. LNCS (LNAI), vol. 2080, pp. 189–203. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50, 1–102 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  10. Grosz, B., Kraus, S.: Collaborative Plans for Complex Group Actions. Artificial Intelligence 86, 269–357 (1996)

    Article  MathSciNet  Google Scholar 

  11. 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), July 15–19, Bologna, Italy (2002)

    Google Scholar 

  12. Harland, J., Winikoff, M.: Language Design Issues for Agents based on Linear Logic. In: Proceedings of the Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002) (August 2002)

    Google Scholar 

  13. Hirai, T.: Propositional Temporal Linear Logic and its Application to Concurrent Systems. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology) E83-A(11), 2219–2227 (2000)

    Google Scholar 

  14. Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Sierra, C., Wooldridge, M.: Automated Negotiation: Prospects, Methods and Challenges. International Journal of Group Decision and Negotiation 10(2), 199–215 (2001)

    Article  Google Scholar 

  15. Kanovich, M., Ito, T.: Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science,, Warsaw, Poland, June 29–July 2, 1997, pp. 48–57. IEEE Computer Society Press, Los Alamitos (1997)

    Chapter  Google Scholar 

  16. Komorowski, J.: A Specification of An Abstract Prolog Machine and Its Application to Partial Evaluation. PhD thesis, Technical Report LSST 69, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden (1981)

    Google Scholar 

  17. Kraus, S., Sycara, K., Evenchik, A.: Reaching Agreements through Argumentation: A Logical Model and Implementation. Artificial Intelligence 104(1-2), 1–69 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  18. 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. Lecture Notes in Artificial Intelligence Series, vol. 2990, pp. 263–279. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  19. Levesque, H.J., Cohen, P.R., Nunes, J.H.T.: On Acting Together. In: Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-1990, pp. 94–99 (1990)

    Google Scholar 

  20. Lincoln, P.: Linear Logic. ACM SIGACT Notices 23(2), 29–37 (1992)

    Article  Google Scholar 

  21. Lincoln, P.: Deciding Provability of Linear Logic Formulas. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic, London Mathematical Society Lecture Note Series, vol. 222, pp. 109–122 (1995)

    Google Scholar 

  22. Lloyd, J.W., Shepherdson, J.C.: Partial Evaluation in Logic Programming. Journal of Logic Programming 11, 217–242 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  23. Martini, S., Masini, A.: A Modal View of Linear Logic. Journal of Symbolic Logic 59(3), 888–899 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  24. Parsons, S., Sierra, C., Jennings, N.: Agents that Reason and Negotiate by Arguing. Journal of Logic and Computation 8(3), 261–292 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  25. Rao, J., Küngas, P., Matskin, M.: Application of Linear Logic to Web Service Composition. In: Proceedings of the First International Conference on Web Services (ICWS 2003), Las Vegas, USA, June 23–26, 2003, pp. 3–9. CSREA Press (2003)

    Google Scholar 

  26. 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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Norwegian University of Science and Technology, Trondheim, Norway

    Peep Küngas

  2. Department of Microelectronics and Information Technology, Royal Institute of Technology, Kista, Sweden

    Mihhail Matskin

Authors
  1. Peep Küngas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mihhail Matskin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  2. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Küngas, P., Matskin, M. (2004). Symbolic Negotiation with Linear Logic. In: Dix, J., Leite, J. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30200-1_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30200-1_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24010-5

  • Online ISBN: 978-3-540-30200-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation