Default logic and Dempster-Shafer theory

  • Nic Wilson

Research output: Chapter in Book/Report/Conference proceedingsChapterpeer-review

Abstract

A new version of Reiter’s Default Logic is developed which has a number of advantages: it is computationally much simpler and has some more intuitive properties, such as cumulativity. Furthermore, it is shown that mis Default Logic is a limiting case of a Dempster-Shafer framework, thereby demonstrating a strong connection between two apparently very different approaches to reasoning with uncertainty, and opening up the possibility of mixing default and numerical rules within the same framework.

Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference ECSQARU 1993, Proceedings
EditorsMichael Clarke, Rudolf Kruse, Serafin Moral
PublisherSpringer Verlag
Pages372-379
Number of pages8
ISBN (Print)9783540573951
DOIs
Publication statusPublished - 1993
Externally publishedYes
EventEuropean Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993 - Granada, Spain
Duration: 8 Nov 199310 Nov 1993

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume747 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceEuropean Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993
Country/TerritorySpain
CityGranada
Period8/11/9310/11/93

Fingerprint

Dive into the research topics of 'Default logic and Dempster-Shafer theory'. Together they form a unique fingerprint.

Cite this