Files:DescriptionFile size FormatBrowse
Fulltext0.47 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors:Martin Magnusson: Department of Computer and Information Science, Linköping University, Sweden
Patrick Doherty: Department of Computer and Information Science, Linköping University, Sweden
Publication title:Planning Speech Acts in a Logic of Action and Change
Conference:The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University
Publication type: Abstract and Fulltext
Issue:035
Article No.:008
Abstract: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.
Language:English
Year:2009
No. of pages:10
Pages:39-48
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/035/008/ecp0935008.pdf
Available:2009-05-27
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Martin Magnusson, Patrick Doherty (2009). Planning Speech Acts in a Logic of Action and Change, The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University http://www.ep.liu.se/ecp_article/index.en.aspx?issue=035;article=008 (accessed 9/23/2014)