Relating Defeasible and Default Logic

Grigoris Antoniou, David Billington

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Citations (Scopus)

Abstract

Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches. In this paper we will compare an ambiguity propagating defeasible logic with default logic. In fact the two logics take rather contrary approaches: defeasible logic takes a directly deductive approach, whereas default logic is based on alternative possible world views, called extensions. Computational complexity results suggest that default logics are more expressive than defeasible logics. This paper answers the opposite direction: an ambiguity propagating defeasible logic can be directly embedded into default logic.

Original languageEnglish
Title of host publicationAI 2001
Subtitle of host publicationAdvances in Artificial Intelligence - 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings
EditorsMarkus Stumptner, Dan Corbett, Mike Brooks
Place of PublicationBerlin
PublisherSpringer Verlag
Pages13-24
Number of pages12
VolumeLNCS/LNAI 2256
Edition1st
ISBN (Electronic)9783540456568
ISBN (Print)9783540429609
DOIs
Publication statusPublished - 28 Nov 2001
Externally publishedYes
Event14th Australian Joint Conference on Artificial Intelligence - Adelaide, Australia
Duration: 10 Dec 200114 Dec 2001
Conference number: 14

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume2256 LNCS/LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th Australian Joint Conference on Artificial Intelligence
Abbreviated titleAI 2001
Country/TerritoryAustralia
CityAdelaide
Period10/12/0114/12/01

Fingerprint

Dive into the research topics of 'Relating Defeasible and Default Logic'. Together they form a unique fingerprint.

Cite this