liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Planning Speech Acts in a Logic of Action and Change
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2009 (English)In: The Swedish AI Society Workshop 2009, SAIS 2009 / [ed] Fredrik Heintz and Jonas Kvarnström, Linköping University Electronic Press, Linköpings universitet , 2009, p. 39-48Conference paper, Published paper (Other academic)
Abstract [en]

Cooperation is a complex task that necessarily involves communication and reasoning about others’ intentions and beliefs. Multi-agent communication languages aid designers of cooperating robots through standardized speech acts, sometimes including a formal semantics. But a more direct approach would be to have the robots plan both regular and communicative actions themselves. We show how two robots with heterogeneous capabilities can autonomously decide to cooperate when faced with a task that would otherwise be impossible. Request and inform speech acts are formulated in the same first-order logic of action and change as is used for regular actions. This is made possible by treating the contents of communicative actions as quoted formulas of the same language. The robot agents then use a natural deduction theorem prover to generate cooperative plans for an example scenario by reasoning directly with the axioms of the theory.

Place, publisher, year, edition, pages
Linköping University Electronic Press, Linköpings universitet , 2009. p. 39-48
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686, E-ISSN 1650-3740 ; 35
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-28259OAI: oai:DiVA.org:liu-28259DiVA, id: diva2:249049
Conference
25th annual workshop of the Swedish Artificial Intelligence Society (SAIS 2009), 27-28 May 2009, Linköping, Sweden
Available from: 2009-10-09 Created: 2009-10-09 Last updated: 2018-01-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Fulltext

Authority records

Magnusson, MartinDoherty, Patrick

Search in DiVA

By author/editor
Magnusson, MartinDoherty, Patrick
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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