A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition

03/27/2013
by   Gregory M. Provan, et al.
0

We formulate Dempster Shafer Belief functions in terms of Propositional Logic using the implicit notion of provability underlying Dempster Shafer Theory. Given a set of propositional clauses, assigning weights to certain propositional literals enables the Belief functions to be explicitly computed using Network Reliability techniques. Also, the logical procedure corresponding to updating Belief functions using Dempster's Rule of Combination is shown. This analysis formalizes the implementation of Belief functions within an Assumption-based Truth Maintenance System (ATMS). We describe the extension of an ATMS-based visual recognition system, VICTORS, with this logical formulation of Dempster Shafer theory. Without Dempster Shafer theory, VICTORS computes all possible visual interpretations (i.e. all logical models) without determining the best interpretation(s). Incorporating Dempster Shafer theory enables optimal visual interpretations to be computed and a logical semantics to be maintained.

READ FULL TEXT

page 1

page 2

page 3

page 5

page 6

page 7

page 8

research
03/02/2021

Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics

Intuitionistic belief has been axiomatized by Artemov and Protopopescu a...
research
09/29/2011

An Interpretation of Belief Functions by means of a Probabilistic Multi-modal Logic

While belief functions may be seen formally as a generalization of proba...
research
03/09/2000

On the tractable counting of theory models and its application to belief revision and truth maintenance

We introduced decomposable negation normal form (DNNF) recently as a tra...
research
04/07/2019

The Syntax of Disjunctive Propositional Logic and Algebraic L-domains

Based on the investigation of the proof system of a disjunctive proposit...
research
06/19/2020

Moore's Paradox and the logic of belief

Moores Paradox is a test case for any formal theory of belief. In Knowle...
research
01/25/2023

Towards a Unification of Logic and Information Theory

We examine the problem of efficient transmission of logical statements f...
research
01/11/2010

A betting interpretation for probabilities and Dempster-Shafer degrees of belief

There are at least two ways to interpret numerical degrees of belief in ...

Please sign up or login with your details

Forgot password? Click here to reset