Finding MAPs using strongly equivalent high order recurrent symmetric connectionist networks

Belief revision is the problem of finding the most plausible explanation for an observed set of evidences. It has many applications in various scientific domains like natural language understanding, medical diagnosis and computational biology. Bayesian Networks (BN) is an important probabilistic gra...

Full description

Saved in:
Bibliographic Details
Published in:Cognitive systems research 2012-04, Vol.14 (1), p.50-59
Main Authors: Andrews, Emad A.M., Bonner, Anthony J.
Format: Article
Language:English
Subjects:
Bayesian Network
Belief revision
Cost-Based Abduction
Explanation
High order recurrent neural networks
Uncertainty
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Belief revision is the problem of finding the most plausible explanation for an observed set of evidences. It has many applications in various scientific domains like natural language understanding, medical diagnosis and computational biology. Bayesian Networks (BN) is an important probabilistic graphical formalism widely used for belief revision tasks. In BN, belief revision can be achieved by finding the maximum a posteriori (MAP) assignment. Finding MAP is an NP-Hard problem. In previous work, we showed how to find the MAP assignment in BN using High Order Recurrent Neural Networks (HORN) through an intermediate representation of Cost-Based Abduction. This method eliminates the need to explicitly construct the energy function in two steps, objective and constraints. This paper builds on that previous work by providing the theoretical foundation and proving that the resultant HORN used to find MAP is strongly equivalent to the original BN it tries to solve.
ISSN:1389-0417
1389-0417
DOI:10.1016/j.cogsys.2010.12.013