Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Linear Time
Probabilistic Inference
Real Time Application
bayesian network
Logical Form
Subscribe
Academic
Publications
Logical Compilation of Bayesian Networks with Discrete Variables
Logical Compilation of Bayesian Networks with Discrete Variables,10.1007/9783540752561_48,Michael Wachter,Rolf Haenni
Edit
Logical Compilation of Bayesian Networks with Discrete Variables
(
Citations: 3
)
BibTex

RIS

RefWorks
Download
Michael Wachter
,
Rolf Haenni
This paper presents a new direction in the area of compiling Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an appropriate form. From there, all possible queries are answerable in
linear time
relative to the size of the logical form. Therefore, our approach is a potential solution for realtime applications of
probabilistic inference
with limited computational resources. The underlying idea is similar to both the differential and the weighted model counting approach to inference in Bayesian networks, but at the core of the proposed encoding we avoid the transformation from discrete to binary variables. This alternative encoding enables a more natural solution.
Conference:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty  ECSQARU
, pp. 536547, 2007
DOI:
10.1007/9783540752561_48
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.springerlink.com
)
(
www.informatik.unitrier.de
)
(
dx.doi.org
)
More »
Citation Context
(1)
...It saves a great space [
5
].The other one represents BNs without CNF [6] [7]...
...For binary states, [
5
] introduces one way to represent AC with a compressed structure, which result in a more effective online inference...
Zhang Lian
,
et al.
Real time diagnosis with compiling Bayesian networks
References
(21)
A Survey of Algorithms for RealTime Bayesian Network Inference
(
Citations: 42
)
Haipeng Guo
,
William Hsu
Published in 2002.
Solving Bayesian Networks by Weighted Model Counting
(
Citations: 28
)
Tian Sang
,
Paul Beame
,
Henry Kautz
Conference:
National Conference on Artificial Intelligence  AAAI
A Differential Approach to Inference in Bayesian Networks
(
Citations: 93
)
Adnan Darwiche
Conference:
Uncertainty in Artificial Intelligence  UAI
, pp. 123132, 2000
Compiling Bayesian Networks Using Variable Elimination
(
Citations: 32
)
Mark Chavira
,
Adnan Darwiche
Conference:
International Joint Conference on Artificial Intelligence  IJCAI
, pp. 24432449, 2007
A Logical Approach for Factoring Belief Networks
(
Citations: 44
)
Adnan Darwiche
Conference:
Principles of Knowledge Representation and Reasoning  KR
, 2001
Sort by:
Citations
(3)
Real time diagnosis with compiling Bayesian networks
Zhang Lian
,
Yu JinSong
,
Wan Jiuqin
,
Xia Wei
Conference:
IEEE Conference on Industrial Electronics and Applications  ICIEA
, pp. 542546, 2011
Probabilistic argumentation
(
Citations: 5
)
Rolf Haenni
Journal:
Journal of Applied Logic
, vol. 7, no. 2, pp. 155176, 2009
Probabilistic Logics and Probabilistic Networks
(
Citations: 3
)
Rolf Haenni
,
JanWillem Romeijn
,
Gregory Wheeler
,
Jon Williamson