Finding new consequences of an observation in a system of agents

Gauvain Bourgne (1) , Katsumi Inoue (1) , Nicolas Maudet (2)

1 NII - National Institute of Informatics
2 SMA - Systèmes Multi-Agents

When a new observation is added to an existing logical theory , it is often necessary to compute new consequences of this observation together with the theory. This paper investigates whether this reasoning task can be performed incre-mentally in a distributed setting involving first-order theories. We propose a complete asynchronous algorithm for this non-trivial task, and illustrate it with a small example. As some produced consequences may not be new, we also propose a post-processing technique.

Mots clés: Incremental Consequence Finding; Abduction; Multiagent systems; Distributed Artificial Intelligence; Distributed Consequence Finding

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]; Système multi-agents [cs.MA]

Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet. Finding new consequences of an observation in a system of agents. 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Jun 2012, Valencia, Spain. pp.1223-1224. ⟨hal-01562090⟩