Using Dempster-Shafer theory in knowledge representation

In this pa�, we suggest marry ing Dempster-Shafer (DS) theory w1th Knowledge Representation (KR). Born out of this marr iage is the defmition of "Dempster-Shafer Belief Bases", abstract data types representing uncertain knowledge that use DS theory for representing strength of belief about our knowledge, and the linguistic structures of an arbitrary KR system for representing the knowledge itself. A formal result guarantees that both the properties of the given KR system and of DS theory are preserved. The general model is exemplified by defming DS Belief Bases where First Order Logic and (an extension of) KRYPTON are used as KR systems. The implementation problem is also touched upon.

• Publication year

  1990

• Venue

  Conference on Uncertainty in Artificial Intelligence

• Publication date

  1990-07-27

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  arXiv 1304.1123
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A New Introduction to Modal Logic

  1998cited by this paper
• Knowledge Representation in Fuzzy Logic

  1996cited by this paper
• A Hybrid Framework for Representing Uncertain Knowledge

  1990cited by this paper
• Non-standard logics for automated reasoning

  1990cited by this paper
• Belief functions

  1990cited by this paper
• A Hybrid Belief System for Doubtful Agents

  1990cited by this paper
• Uncertainty, belief, and probability

  1989cited by this paper
• Assumptions, Beliefs and Probabilities

  1989cited by this paper
• Knowledge representation in fuzzy logic

  1989cited by this paper
• Dialogue modelling in M-KRYPTON-a hybrid language for multiple believers

  1988cited by this paper
• A hybrid approach to reasoning under uncertainty

  1987cited by this paper
• The Logical Foundations of Evidential Reasoning (revised)

  1987cited by this paper
• An assumption-based truth maintenance system

  1986cited by this paper
• An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON

  1985cited by this paper
• Foundations of a Functional Approach to Knowledge Representation

  1984influential reference
• Competence in Knowledge Representation

  1982cited by this paper
• Distinctions and Confusions: A Catalogue Raisonne

  1981cited by this paper
• An Introduction to Modal Logic

  1977cited by this paper

• Logical Foundations of Evidential Reasoning with Contradictory Information

  2016cites this paper
• Analysis and Improvement of Combination Rule in D-S Theory

  2014influential citation
• Belief functions on distributive lattices

  2012cites this paper
• From ignorance to uncertainty: a conceptual analysis

  1998cites this paper
• The mathematical theory of evidence — A short introduction

  1996cites this paper
• Modeling Uncertain Relational Knowledge: the AV-Quantified Production Rules Approach

  1995cites this paper
• Issues of knowledge representation in Dempster-Shafer's theory

  1994cites this paper
• Theory of evidence — A survey of its mathematical foundations, applications and computational aspects

  1994cites this paper
• Theory of Evidence -a Survey of Its Mathematical Foundations, Applications and Computational Aspects

  1994cites this paper
• -1 - Issues of Knowledge Representation in Dempster-shafer's Theory 2. Representing Problems in the Dempster-shafer Theory 2.1. the Straightforward Use 2.2. the Multivariate Approach 2.3. Graph-based Approaches 3. Why We Need More? 3.1. Odd Representation Tools 3.2. Missed Distinctions

  1994cites this paper
• DRUMS: Defeasible Reasoning and Uncertainty Management Systems

  1993cites this paper
• The Transferable Belief Model

  1991cites this paper
• A Hybrid Belief System for Doubtful Agents

  1990cites this paper
• Working Paper 91-0172 330 B 385 1991 : 172 COPY 2 STX On the Decision Making Problem Dempster-Shafer Theory Mar t u

  year unknowncites this paper