Change search
ReferencesLink to record
Permanent link

Direct link
Linear logic, partial deduction and cooperative problem solving
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture (Closed 20120101), Software and Computer Systems, SCS (Closed 20120101).ORCID iD: 0000-0002-4722-0823
2004 (English)In: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349, Vol. 2990, 263-279 p.Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
BERLIN: SPRINGER , 2004. Vol. 2990, 263-279 p.
National Category
Computer Science
URN: urn:nbn:se:kth:diva-43982ISI: 000222257200014ScopusID: 2-s2.0-23144452640OAI: diva2:450882
1st International Workshop on Declarative Agent Languages and Technologies. Melbourne, AUSTRALIA. JUL 15, 2003

QC 20150721

Available from: 2011-10-24 Created: 2011-10-19 Last updated: 2015-07-21Bibliographically approved

Open Access in DiVA

No full text


Search in DiVA

By author/editor
Kungas, PeepMatskin, Mihhail
By organisation
Software and Computer Systems, SCS (Closed 20120101)
In the same journal
Lecture Notes in Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 12 hits
ReferencesLink to record
Permanent link

Direct link