Abstract
A lot of methods exist to prevent errors and incorrect behaviors in a distributed framework, where all peers work together for the same purpose, under the same protocol. For instance, one may limit them by replication of data and processes among the network. However, with the emergence of web services, the willing for privacy, and the constant growth of data size, such a solution may not be applicable. For some problems, failure of a peer has to be detected and located by the whole system. In this paper, we propose an approach to diagnose abnormal behaviors of the whole system by extending the well known consistency-based diagnosis framework to a fully distributed inference system, where each peer only knows the existence of its neighbors. Contrasting with previous works on model-based diagnosis, our approach computes all minimal diagnoses in an incremental way, without needs to get any conflict first.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adjiman, P., Chatalic, P., Rousset, M.-C., Simon, L.: Distributed reasoning in a peer-to-peer setting. In: IJCAI 2005 (2005)
Beckstein, C., Fuhge, R., Kraetzschmar, G.: Supporting assumption-based reasoning in a distributed environment. In: Workshop on Distributed Artificial Intelligence (1993)
Biteus, J., Frisk, E., Nyberg, M.: Distributed diagnosis by using a condensed local representation of the global diagnoses with minimal cardinality. In: DX 2006 (2006)
Console, L., Picardi, C., Theseider Dupré, D.: A framework for decentralized qualitative model-based diagnosis. In: IJCAI 2007 (2007)
Darwiche, A.: Model-based diagnosis using structured system descriptions. Journal of AI Research 8, 165–222 (1998)
Darwiche, A., Marquis, P.: A knowledge compilation map. Journal of AI Research 17, 229–264 (2002)
de Kleer, J.: An assumption-based tms. Artificial Intelligence 28, 127–162 (1986)
de Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing diagnoses and sytems. Artificial Intelligence 56, 197–222 (1992)
Halevy, A., Ives, Z., Tatarinov, I.: Schema mediation in peer data management systems. . In: ICDE 2003, pp. 505–516 (March 2003)
Kalech, M., Gal Kaminka, A.: On the design of social diagnosis algorithms for multi-agent teams. In: IJCAI 2003 (2003)
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97–130 (1987)
Kurien, J., Koutsoukos, X., Zhao, F.: Distributed diagnosis of networked, embedded systems. In: DX 2002 (2002)
Provan, G.: A model-based diagnosis framework for distributed systems. In: DX 2002 (2002)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–96 (1987)
Roos, N., ten Teije, A., Witteveen, C.: A protocol for multi agent diagnosis with spatially distributed knowledge. In: AAMAS 2003 (2003)
Simon, L., del Val, A.: Efficient consequence finding. In: IJCAI 2001 (2001)
Stoica, I., Morris, R., Karger, D., Kaasshoek, M.F., Balakrishnan, H.: Chord: a scalable peer-to-peer lookup service for internet applications. In: ACM SIGCOMM 2001 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Armant, V., Dague, P., Simon, L. (2008). Distributed Consistency-Based Diagnosis. In: Cervesato, I., Veith, H., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2008. Lecture Notes in Computer Science(), vol 5330. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89439-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-89439-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89438-4
Online ISBN: 978-3-540-89439-1
eBook Packages: Computer ScienceComputer Science (R0)