Argumentation semantics for defeasible logics

G. Governatori, M. J. Maher, G. Antoniou, D. Billington

Research output: Book chapter/Published conference paperConference paperpeer-review

5 Citations (Scopus)

Abstract

Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. So far defeasible logic has been defined only proof-theoretically. Argumentation-based semantics have become popular in the area of logic programming. In this paper we give an argumentation-based semantics for defeasible logic. Recently it has been shown that a family of approaches can be built around defeasible logic, in which different intuitions can be followed. In this paper we present an argumentation-based semantics for an ambiguity propagating logic, too. Further defeasible logics can be characterised in a similar way.

Original languageEnglish
Title of host publicationPRICAI 2000, Topics in Artificial Intelligence
Subtitle of host publication6th Pacific Rim International Conference on Artificial Intelligence, Proceedings
EditorsRiichiro Mizoguchi, John Slaney
Place of PublicationBerlin
PublisherSpringer Berlin Heidelberg
Pages27-37
Number of pages11
ISBN (Electronic)9783540445333
ISBN (Print)9783540679257
DOIs
Publication statusPublished - 2000
Event6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000 - Melbourne, VIC, Australia
Duration: 28 Aug 200001 Sept 2000

Publication series

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

Conference

Conference6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000
Country/TerritoryAustralia
CityMelbourne, VIC
Period28/08/0001/09/00

Fingerprint

Dive into the research topics of 'Argumentation semantics for defeasible logics'. Together they form a unique fingerprint.

Cite this