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

https://hal.archives-ouvertes.fr/hal-01562090
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

File

aamas2012_NewCarc-short.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01562090, version 1

Citation

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⟩

Share

Metrics

Record views

103

Files downloads

24