DARE: a system for distributed abductive reasoning

Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used to abduce high-level descriptions of the world from robot sense data, using rules that tell us what sense data would be generated by certain objects and events of the robots world, subject to certain constraints on their co-occurrence. It has also been used to abduce actions that might result in a desired goal state of the world, using descriptions of the normal effects of these actions, subject to constraints on the action combinations. We can generalise these applications to a multi-agent context. Several robots can collaboratively try to abduce an agreed higher-level description of the state of the world from their separate sense data consistent with their collective constraints on the abduced description. Similarly, multi-agent planning can be accomplished by the abduction of the actions of a collective p...

• Type: Journal
• Year: 2008
• Where: AAMAS
• Authors: Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark
• Keywords: AAMAS 2008, Abductive Reasoning, Description, Intelligent Agents, Sense Data