๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The complexity of belief update

โœ Scribed by Paolo Liberatore

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
377 KB
Volume
119
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Belief Revision and Update: Complexity o
Belief Revision and Update: Complexity of Model Checking
โœ Paolo Liberatore; Marco Schaerf ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 228 KB

One of the main challenges in the formal modeling of common-sense reasoning is the ability to cope with the dynamic nature of the world. Among the approaches put forward to address this problem are belief revision and update. Given a knowledge base T, representing our knowledge of the ``state of aff

The computational complexity of probabil
The computational complexity of probabilistic inference using bayesian belief networks
โœ Gregory F. Cooper ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 708 KB

Bayesian belief networks provide a natural, efficient method for representing probabilistic dependencies among a set of variables. For these reasons, numerous researchers are exploring the use of belief networks as a knowledge representation m artificial intelligence. Algorithms have been developed

The complexity of approximating MAPs for
The complexity of approximating MAPs for belief networks with bounded probabilities
โœ Ashraf M. Abdelbar; Stephen T. Hedetniemi; Sandra M. Hedetniemi ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 69 KB

Probabilistic inference and maximum a posteriori (MAP) explanation are two important and related problems on Bayesian belief networks. Both problems are known to be NP-hard for both approximation and exact solution. In 1997, Dagum and Luby showed that efficiently approximating probabilistic inferenc

Common Belief with the Logic of Individu
Common Belief with the Logic of Individual Belief
โœ Giacomo Bonanno; Klaus Nehring ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 177 KB ๐Ÿ‘ 1 views

The logic of common belief does not always reflect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief t