Skip to Main content Skip to Navigation
Conference papers

Finding new consequences of an observation in a system of agents

Abstract : 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.
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download
Contributor : Gauvain Bourgne <>
Submitted on : Thursday, July 13, 2017 - 3:38:14 PM
Last modification on : Thursday, July 4, 2019 - 6:08:02 PM
Long-term archiving on: : Friday, January 26, 2018 - 6:10:28 PM


Files produced by the author(s)


  • HAL Id : hal-01562090, version 1


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⟩



Record views


Files downloads