An elementary belief function logic

03/23/2023
by   Didier Dubois, et al.
0

Non-additive uncertainty theories, typically possibility theory, belief functions and imprecise probabilities share a common feature with modal logic: the duality properties between possibility and necessity measures, belief and plausibility functions as well as between upper and lower probabilities extend the duality between possibility and necessity modalities to the graded environment. It has been shown that the all-or-nothing version of possibility theory can be exactly captured by a minimal epistemic logic (MEL) that uses a very small fragment of the KD modal logic, without resorting to relational semantics. Besides, the case of belief functions has been studied independently, and a belief function logic has been obtained by extending the modal logic S5 to graded modalities using Łukasiewicz logic, albeit using relational semantics. This paper shows that a simpler belief function logic can be devised by adding Łukasiewicz logic on top of MEL. It allows for a more natural semantics in terms of Shafer basic probability assignments.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/27/2013

Probability as a Modal Operator

This paper argues for a modal view of probability. The syntax and semant...
research
05/22/2020

A Novel Semantics for Belief, Knowledge and Psychological Alethic Modality

Recently there have been numerous proposed solutions to the problem of l...
research
04/28/2022

Positive (Modal) Logic Beyond Distributivity

We present a duality for non-necessarily-distributive (modal) lattices a...
research
03/27/2013

Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights

In this paper an approach to automated deduction under uncertainty,based...
research
08/16/2020

Inferential models and possibility measures

The inferential model (IM) framework produces data-dependent, non-additi...
research
12/20/2018

Iterated Belief Revision Under Resource Constraints: Logic as Geometry

We propose a variant of iterated belief revision designed for settings w...
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...

Please sign up or login with your details

Forgot password? Click here to reset