Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Linear logic, partial deduction and cooperative problem solving
KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster (Stängd 20120101), Programvaru- och datorsystem, SCS (Stängd 20120101).ORCID-id: 0000-0002-4722-0823
2004 (engelsk)Inngår i: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349, Vol. 2990, s. 263-279Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
BERLIN: SPRINGER , 2004. Vol. 2990, s. 263-279
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-43982ISI: 000222257200014Scopus ID: 2-s2.0-23144452640OAI: oai:DiVA.org:kth-43982DiVA, id: diva2:450882
Konferanse
1st International Workshop on Declarative Agent Languages and Technologies. Melbourne, AUSTRALIA. JUL 15, 2003
Merknad

QC 20150721

Tilgjengelig fra: 2011-10-24 Laget: 2011-10-19 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Scopus

Personposter BETA

Matskin, Mihhail

Søk i DiVA

Av forfatter/redaktør
Kungas, PeepMatskin, Mihhail
Av organisasjonen
I samme tidsskrift
Lecture Notes in Computer Science

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 63 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf