Introduction to distributed probability propagation nets
Article No.: 29, Pages 1 - 4
Abstract
This paper addresses the problem of model based diagnosis in distributed systems. It gives a special focus to probabilistic reasoning and modeling uncertainty. The system setting we consider is a set of interacting subsystems, each of which is modeled with a PPN (probability propagation net). The interaction between subsystems is modeled by the firing of common transitions that belong to more than one subsystem. All of that is logically defined by means of PHA (probabilistic Horn abductions) and the method to calculate probabilities of diagnoses is shown. The diagnostic process is done by exploiting transition invariants of Petri nets.
References
[1]
M. Weiser, The computer for the 21st century, Scientific American, 265(3):94--104, September, pages 94--95, 1991.
[2]
K. Lautencach, A. Pinl, Probability Propagation in Petri Nets, Fachberichte Informatik, p. 16--2005, 2005.
[3]
J. Lee, Senior Member, K. F. R. Liu, and W. Chiang, Modeling Uncertainty Reasoning With Possibilistic Petri Nets, IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICSâĂŤPART B: CYBERNETICS, VOL. 33, NO. 2, APRIL 2003.
[4]
P. Lucas, P. JF. Bayesian model-based diagnosis, International Journal of Approximate Reasoning, vol. 27, no 2, p. 99--119, 2001.
[5]
T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol. 77, no 4, p. 541--580, 1989.
[6]
D. Poole, Probabilistic Horn abduction and Bayesian networks. Artificial intelligence, vol. 64, no 1, p. 81--129, 1993.
[7]
D. Poole, Logic programming, abduction and probability. New Generation Computing, vol. 11, no 3-4, p. 377--400, 1993.
[8]
K. Lautenbach, S. Philippi and A. Pinl, Bayesian Networks and Petri Nets, In E. Schnieder (Hrsg), Entwurf komplexer Autimatisierungssysteme, EKA 2006, 9. Fachtagung, Braunschweig, 2006.
[9]
G. Jiroveanu and R. K. Boel, Distributed Diagnosis for Petri Nets models with unobservable interactions via common places, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005.
[10]
S. Genc, S. Lafortune, Distributed Diagnosis of Place-Bordered Petri Nets, Automation Science and Engineering, IEEE Transactions, vol. 4, no 2, p. 206--219, 2007.
[11]
H. Bennoui, A. Chaoui, and K. Barkaoui, Distributed causal model-based diagnosis based on interacting behavioral Petri nets, In Proceedings of the 8th international symposium on parallel and distributed computing ISPDC'09, pp. 99--106, 2009.
- Introduction to distributed probability propagation nets
Recommendations
Distributed diagnosis based on distributed probability propagation nets
This paper addresses the problem of modelling uncertainty in the distributed context. It is situated in the field of diagnosis; more precisely, model-based diagnosis of distributed systems. A special focus is given to modelling uncertainty and ...
Logic programming, abduction and probability: —A top-down anytime algorithm for estimating prior and posterior probabilities—
AbstractProbabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted probabilistically, and all of the rules can be interpreted ...
Distributed constraint propagation for diagnosis of faults in physical processes
AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systemsMost of the current research on distributed diagnosis in and for multiagent systems focuses on diagnosis of coordination failures. Proposed approaches for this problem are not efficient for diagnosing failures in physical devices. This paper proposes ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
November 2015
495 pages
ISBN:9781450334587
DOI:10.1145/2816839
Copyright © 2015 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 November 2015
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
IPAC '15
IPAC '15: International Conference on Intelligent Information Processing, Security and Advanced Communication
November 23 - 25, 2015
Batna, Algeria
Acceptance Rates
Overall Acceptance Rate 87 of 367 submissions, 24%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 40Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 30 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in