Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Symbolic Negotiation with Linear Logic
KTH, Superseded Departments, Microelectronics and Information Technology, IMIT.ORCID iD: 0000-0002-4722-0823
2004 (English)In: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, ISSN 0302-9743, Vol. 3259, 71-88 p.Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2004. Vol. 3259, 71-88 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-81371ISI: 000226639100005Scopus ID: 2-s2.0-23144453269OAI: oai:DiVA.org:kth-81371DiVA: diva2:497378
Conference
Fourth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA IV
Note
4th International Workshop on Computational Logic in Multi-Agent Systems Location: Ft Lauderdale, FL Date: JAN 06-07, 2004. QC 20120302Available from: 2012-02-10 Created: 2012-02-10 Last updated: 2012-03-14Bibliographically approved

Open Access in DiVA

No full text

Scopus

Authority records BETA

Matskin, Mihhail

Search in DiVA

By author/editor
Kungas, PeepMatskin, Mihhail
By organisation
Microelectronics and Information Technology, IMIT
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 25 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf