English
Related papers

Related papers: Belief Calculus

200 papers

Probability measures by themselves, are known to be inappropriate for modeling the dynamics of plain belief and their excessively strong measurability constraints make them unsuitable for some representational tasks, e.g. in the context of…

Artificial Intelligence · Computer Science 2013-02-28 Emil Weydert

Belief fusion is the principle of combining separate beliefs or bodies of evidence originating from different sources. Depending on the situation to be modelled, different belief fusion methods can be applied. Cumulative and averaging…

Artificial Intelligence · Computer Science 2007-12-10 Audun Josang

This article deals with plausible reasoning from incomplete knowledge about large-scale spatial properties. The availableinformation, consisting of a set of pointwise observations,is extrapolated to neighbour points. We make use of belief…

Artificial Intelligence · Computer Science 2013-01-14 Jerome Lang , Philippe Muller

Shafer's belief functions were introduced in the seventies of the previous century as a mathematical tool in order to model epistemic probability. One of the reasons that they were not picked up by mainstream probability was the lack of a…

Probability · Mathematics 2017-03-27 Timber Kerkvliet , Ronald Meester

An evidential reasoning mechanism based on the Dempster-Shafer theory of evidence is introduced. Its performance in real-world image analysis is compared with other mechanisms based on the Bayesian formalism and a simple weight combination…

Computer Vision and Pattern Recognition · Computer Science 2013-04-11 Ze-Nian Li

Bayesian statistics is based on the subjective definition of probability as {\it ``degree of belief''} and on Bayes' theorem, the basic tool for assigning probabilities to hypotheses combining {\it a priori} judgements and experimental…

High Energy Physics - Phenomenology · Physics 2016-09-01 G. D'Agostini

We propose an inequality paradigm for probabilistic reasoning based on a logic of upper and lower bounds on conditional probabilities. We investigate a family of probabilistic logics, generalizing the work of Nilsson [14]. We develop a…

Artificial Intelligence · Computer Science 2013-04-15 Benjamin N. Grosof

The problem of belief tracking in the presence of stochastic actions and observations is pervasive and yet computationally intractable. In this work we show however that probabilistic beliefs can be maintained in factored form exactly and…

Artificial Intelligence · Computer Science 2019-10-01 Blai Bonet , Hector Geffner

Over time, there have hen refinements in the way that probability distributions are used for representing beliefs. Models which rely on single probability distributions depict a complete ordering among the propositions of interest, yet…

Artificial Intelligence · Computer Science 2013-02-28 Paul Snow

Dempster-Shafer evidence theory is an efficient mathematical tool to deal with uncertain information. In that theory, basic probability assignment (BPA) is the basic element for the expression and inference of uncertainty. Decision-making…

Artificial Intelligence · Computer Science 2015-02-26 Xinyang Deng , Yong Deng

Mathematical Theory of Evidence called also Dempster-Shafer Theory (DST) is known as a foundation for reasoning when knowledge is expressed at various levels of detail. Though much research effort has been committed to this theory since its…

Artificial Intelligence · Computer Science 2017-07-14 Mieczysław A. Kłopotek

In the interpretation of experimental data, one is actually looking for plausible explanations. We look for a measure of plausibility, with which we can compare different possible explanations, and which can be combined when there are…

Artificial Intelligence · Computer Science 2010-12-30 Wan Ahmad Tajuddin Wan Abdullah

We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete…

Artificial Intelligence · Computer Science 2014-07-29 Joseph Y. Halpern , Riccardo Pucella

Causal belief is a cognitive practice that humans apply everyday to reason about cause and effect relations between factors, phenomena, or events. Like optical illusions, humans are prone to drawing causal relations between events that are…

Human-Computer Interaction · Computer Science 2024-01-17 Shahreen Salim , Md Naimul Hoque , Klaus Mueller

Based on the ideas of quantum physics and dual-process theory of human reasoning that takes into account two primary mechanisms of reasoning : 1) deductive rational thinking and 2) intuitive heuristic judgment, we proposed the "quantum"…

Physics and Society · Physics 2013-10-01 E. D. Vol

We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete…

Artificial Intelligence · Computer Science 2007-05-23 Joseph Y. Halpern , Riccardo Pucella

Parameter estimation based on uncertain data represented as belief structures is one of the latest problems in the Dempster-Shafer theory. In this paper, a novel method is proposed for the parameter estimation in the case where belief…

Artificial Intelligence · Computer Science 2014-02-18 Xinyang Deng , Yong Hu , Felix Chan , Sankaran Mahadevan , Yong Deng

This paper examines the concept of a combination rule for belief functions. It is shown that two fairly simple and apparently reasonable assumptions determine Dempster's rule, giving a new justification for it.

Artificial Intelligence · Computer Science 2013-03-08 Nic Wilson

Probabilistic Logic Programming (PLP) under the Distribution Semantics is a leading approach to practical reasoning under uncertainty. An advantage of the Distribution Semantics is its suitability for implementation as a Prolog or Python…

Logic in Computer Science · Computer Science 2026-01-14 Damiano Azzolini , Fabrizio Riguzzi , Theresa Swift

We introduce a logical framework for reasoning about "uncertain interpretations" and investigate two key applications: a new semantics for implication capturing a kind of "meaning entailment", and a conservative notion of "evidentially…

Logic in Computer Science · Computer Science 2025-03-21 Adam Bjorndahl