Abstract
In this paper we present a model of cooperative problem solving (CPS). Linear Logic (LL) is used for encoding agents’ states, goals and capabilities. LL theorem proving is applied by each agent to determine whether the particular agent is capable of solving the problem alone. If no individual solution can be constructed, then the agent may start negotiation with other agents in order to find a cooperative solution. Partial deduction in LL is used to derive a possible deal. Finally proofs are generated and plans are extracted from the proofs. The extracted plans determine agents’ responsibilities in cooperative solutions.
This is a preview of subscription content, log in via an institution to check access.
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
Wooldridge, M., Jennings, N.R.: The cooperative problem-solving process. Journal of Logic and Computation 9, 563–592 (1999)
Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
Lincoln, P.: Linear logic. ACM SIGACT Notices 23, 29–37 (1992)
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)
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)
Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. Journal of Logic Programming 11, 217–242 (1991)
Matskin, M., Komorowski, J.: Partial structural synthesis of programs. Fundamenta Informaticae 30, 23–41 (1997)
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 (2002)
Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8, 261–292 (1998)
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, 199–215 (2001)
Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: A logical model and implementation. Artificial Intelligence 104, 1–69 (1998)
Fisher, M.: Characterising simple negotiation as distributed agent-based theoremproving – a preliminary report. In: Proceedings of the Fourth International Conference on Multi-Agent Systems, Boston, IEEE Press, Los Alamitos (2000)
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 (2001)
Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue and negotiation. In: Proceedings of 14th European Conference on Artificial Intelligence, Berlin, Germany, pp. 338–342 (2000)
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)
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, p. 189. Springer, Heidelberg (2001)
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)
Cohen, P.R., Levesque, H.J.: Teamwork. Nous 25, 487–512 (1991)
Grosz, B., Kraus, S.: Collaborative plans for complex group actions. Artificial Intelligence 86, 269–357 (1996)
Sycara, K., Zeng, D.: Coordination of multiple intelligent software agents. International Journal of Intelligent and Cooperative Information Systems 5, 181–211 (1996)
Tambe, M.: Towards flexible teamwork. Journal of Artificial Intelligence Research 7, 83–124 (1997)
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)
Harland, J., Winikoff, M.: Language design issues for agents based on linear logic. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002), Copenhagen, Denmark, August 1. Electronic Notes in Theoretical Computer Science, vol. 70(5), Elsevier, Amsterdam (2002)
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., Matskin, M. (2004). Linear Logic, Partial Deduction and Cooperative Problem Solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-25932-9_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22124-1
Online ISBN: 978-3-540-25932-9
eBook Packages: Springer Book Archive