Towards Refinement of Abductive or Inductive Hypotheses through Propagation
Bourgne, Gauvain; El Fallah Seghrouchni, Amal; Maudet, Nicolas (2009), Towards Refinement of Abductive or Inductive Hypotheses through Propagation, Journal of Applied Logic, 7, 3, p. 289-306. http://dx.doi.org/doi:10.1016/j.jal.2008.10.003
Type
Article accepté pour publication ou publiéDate
2009-09-15Journal name
Journal of Applied LogicVolume
7Number
3Publisher
Elsevier
Pages
289-306
Publication identifier
Metadata
Show full item recordAbstract (EN)
In this paper we address the problem of distributed sources of information, or agents, that observe the environment locally and have to communicate in order to refine their hypothesis regarding the actual state of this environment. One way to address the problem would be to centralize all the collected observations and knowledge, and to centrally compute the resulting theory. In many situations however, it would not be possible to adopt this centralized approach (e.g. for practical reasons, or privacy concerns). In this paper, we assume that agents individually face abductive or inductive tasks in a globally coherent environment, and we show that general mechanisms can be designed that abstractly regard both cases as special instances of a problem of hypothesis refinement through propagation. Assuming that agents are equipped with some individual revision machinery, our concern will be to investigate how (under what conditions) convergence to a consistent state can be guaranteed at more global levels: (i) between two agents; (ii) in a clique of agents; and (iii) in general in a connected society of agents.Subjects / Keywords
Artificial Intelligence, Multiagent SystemsRelated items
Showing items related by title and author.
-
Soldano, Henry; Maudet, Nicolas; Seghrouchni, Amal El Fallah; Bourgne, Gauvain (2008) Communication / Conférence
-
Bourgne, Gauvain; Inoue, Katsumi; Maudet, Nicolas (2010) Communication / Conférence
-
Bourgne, Gauvain; El Fallah Seghrouchni, Amal; Soldano, Henry (2007) Communication / Conférence
-
Hette, Gaël; Bourgne, Gauvain; Maudet, Nicolas; Pinson, Suzanne (2007) Communication / Conférence
-
Bourgne, Gauvain; Maudet, Nicolas; Pinson, Suzanne (2013) Chapitre d'ouvrage