✦ LIBER ✦

Dempster-shafer approach in propositional logic

✍ Scribed by Qing Zhu; E. S. Lee

Publisher: John Wiley and Sons
Year: 1993
Tongue: English
Weight: 357 KB
Volume: 8
Category: Article
ISSN: 0884-8173
DOI: 10.1002/int.4550080302

No coin nor oath required. For personal study only.

✦ Synopsis

A general framework of uncertainty reasoning based on Dempster-Shafer's theory is proposed in the context of logic calculus. Under this framework, any inference can be conducted without much computational complexity. Furthermore, it avoids the problems of considering conflicting information and common universe when two pieces of evidence are combined.

📜 SIMILAR VOLUMES

On modal logic interpretation of Dempste

On modal logic interpretation of Dempster–Shafer theory of evidence

✍ David Harmanec; George J. Klir; Germano Resconi 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 465 KB 👁 1 views

It fully formulates an interpretation of the Dempster-Shafer theory in terms of the standard semantics of modal logic. It is shown how to represent the basic probability assignment function as well as the commonality function of the Dempster-Shafer theory by modal logic and that this representation

Isomorphic formulae in classical proposi

Isomorphic formulae in classical propositional logic

✍ Kosta Došen; Zoran Petrić 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 170 KB

## Abstract Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions.

Fixed points in the propositional nonmon

Fixed points in the propositional nonmonotonic logic

✍ Grigory F. Shvarts 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 317 KB

We give an explicit description of fixed points for propositional theories in the nonmonotonic logic of McDermott and Doyle. Using this description we refute two claims from McDermott and Doyle's original paper.

Induced aggregation operators in decisio

Induced aggregation operators in decision making with the Dempster-Shafer belief structure

✍ J. M. Merigó; M. Casanovas 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 151 KB

In this study, we analyze the induced aggregation operators. The analysis begins with a revision of some basic concepts such as the induced ordered weighted averaging operator and the induced ordered weighted geometric operator. We then analyze the problem of decision making with Dempster-Shafer (D-

A topological characterization of consis

A topological characterization of consistency of logic theories in propositional logic

✍ Guo-Jun Wang; Yan-Hong She 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs

Conjunction analysis and propositional l

Conjunction analysis and propositional logic in fMRI data analysis using Bayesian statistics

✍ Thomas Rudert; Gabriele Lohmann 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 243 KB

## Abstract ## Purpose To evaluate logical expressions over different effects in data analyses using the general linear model (GLM) and to evaluate logical expressions over different posterior probability maps (PPMs). ## Materials and Methods In functional magnetic resonance imaging (fMRI) data