Finding new consequences of an observation in a system of agents

Authors:
Gauvain Bourgne;Katsumi Inoue;Nicolas Maudet
Affiliations:
NII, Tokyo, Japan;NII, Tokyo, Japan;LIP6, UPMC Paris, France
Venue:
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Year:
2012

Citing 4
Cited 0

Linear resolution for consequence finding

Artificial Intelligence
Distributed reasoning in a peer-to-peer setting: application to the semantic web

Journal of Artificial Intelligence Research
Theorem proving with structured theories

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Partition-Based Consequence Finding

ICTAI '11 Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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 incrementally 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 to remove them.