Distributed Abductive Reasoning with Constraints

Abductive inference has many known applications in multi-agent systems. However, most abductive frameworks relyon a centrally executed proof procedure whereas many ofthe application problems are distributed by nature. Confidentiality and communication overhead concerns often preclude transmitting all the knowledge required for centralisedreasoning. We present in this paper a novel multi-agent abductive reasoning framework underpinned by a flexible andextensible distributed proof procedure that permits collaborative abductive reasoning with constraints between agentsover decentralised knowledge.

Authors

• Jiefei Ma
• Alessandra Russo
• Krysia Broda
• Emil Lupu

Keywords

• Multi-agent Reasoning
• Abductive Logic Programming