We describe the application of a multi-agent system for the distributed diagnosis of infections within an hospital. Diagnosing infections within an hospital is a complex task that may require to collect data (e.g. analysis results, details on patient’s clinical history, diagnosis hypotheses) from several information sources (such as, for example, analysis laboratories, hospital wards. These sources act autonomously and they often have a partial knowledge about patients health, their clinical history, and medical information in general. As a natural consequence, this may lead a single entity (e.g., a specialist) to formulate incorrect diagnosis. In such a context, to obtain a correct diagnosis on the basis of information coming from different sources, a coordination mechanism is needed for the integration of collected data into a final diagnosis which should be compatible both with patient’s anamnesis and other knowledge (possibly distributed over the system) related to the clinical case. In the paper we face this problem by using abduction, which is a reasoning mechanism for formulating hypotheses in the case of incomplete knowledge, suitably etended to a multi-agent setting. In particular, we first apply ALIAS abductive agents to distributed diagnosis and show how the coordination mechanisms provided by such system are well suited when composing several (possibly partial) diagnosis into a final response, which is consistent with the knowledge of involved agents (i.e., hospital entities or specialist doctors). In the second part of the paper, we extend basic ALIAS coordination mechanisms towards probabilistic abduction. In this way, several (possibly partial) diagnosis obtained by probabilistic abductive reasoning can be merged into a final set of abductive diagnosis, each marked with a probability value.
[1]
Evelina Lamma,et al.
LAILA: a language for coordinating abductive reasoning among logic agents
,
2001,
Comput. Lang..
[2]
Philip T. Cox,et al.
Causes for Events: Their Computation and Applications
,
1986,
CADE.
[3]
David Poole,et al.
A Logical Framework for Default Reasoning
,
1988,
Artif. Intell..
[4]
Danny De Schreye,et al.
SLDNFA: An Abductive Procedure for Abductive Logic Programs
,
1998,
J. Log. Program..
[5]
Robert A. Kowalski,et al.
Problems and Promises of Computational Logic
,
1990
.
[6]
David Poole,et al.
Probabilistic Horn Abduction and Bayesian Networks
,
1993,
Artif. Intell..
[7]
Antonis C. Kakas,et al.
ACLP: Integrating Abduction and Constraint Solving
,
2000,
ArXiv.
[8]
Keith L. Clark,et al.
Negation as Failure
,
1987,
Logic and Data Bases.
[9]
Paolo Mancarella,et al.
Generalized Stable Models: A Semantics for Abduction
,
1990,
ECAI.
[10]
Robert A. Kowalski,et al.
Abduction Compared with Negation by Failure
,
1989,
ICLP.
[11]
Evelina Lamma,et al.
A Unifying View for Logic Programming with Non-Monotonic Reasoning
,
1997,
Theor. Comput. Sci..
[12]
J. van Leeuwen,et al.
Logic Programming
,
2002,
Lecture Notes in Computer Science.
[13]
Judea Pearl,et al.
Embracing Causality in Formal Reasoning
,
1987,
AAAI.
[14]
Evelina Lamma,et al.
An Implementation for Abductive Logic Agents
,
1999,
AI*IA.