Argumentation semantics for defeasible logic

Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington

Research output: Contribution to journalArticle

160 Citations (Scopus)

Abstract

Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.

LanguageEnglish
Pages675-702
Number of pages28
JournalJournal of Logic and Computation
Volume14
Issue number5
DOIs
Publication statusPublished - 1 Oct 2004
Externally publishedYes

Fingerprint

Argumentation
Semantics
Logic
Reasoning
Business Rules
Nonmonotonic Reasoning
Industry
Fertilization
Efficient Implementation
Defeasible Reasoning
Modeling
Ambiguity

Cite this

Governatori, Guido ; Maher, Michael J. ; Antoniou, Grigoris ; Billington, David. / Argumentation semantics for defeasible logic. In: Journal of Logic and Computation. 2004 ; Vol. 14, No. 5. pp. 675-702.
@article{ef73dfcb901d4c48994b48c38a1da537,
title = "Argumentation semantics for defeasible logic",
abstract = "Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.",
keywords = "Argumentation semantics, Defeasiblre logic, Nonmonotonic reasoning",
author = "Guido Governatori and Maher, {Michael J.} and Grigoris Antoniou and David Billington",
year = "2004",
month = "10",
day = "1",
doi = "10.1093/logcom/14.5.675",
language = "English",
volume = "14",
pages = "675--702",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "5",

}

Argumentation semantics for defeasible logic. / Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David.

In: Journal of Logic and Computation, Vol. 14, No. 5, 01.10.2004, p. 675-702.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Argumentation semantics for defeasible logic

AU - Governatori, Guido

AU - Maher, Michael J.

AU - Antoniou, Grigoris

AU - Billington, David

PY - 2004/10/1

Y1 - 2004/10/1

N2 - Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.

AB - Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.

KW - Argumentation semantics

KW - Defeasiblre logic

KW - Nonmonotonic reasoning

UR - http://www.scopus.com/inward/record.url?scp=7544237999&partnerID=8YFLogxK

U2 - 10.1093/logcom/14.5.675

DO - 10.1093/logcom/14.5.675

M3 - Article

VL - 14

SP - 675

EP - 702

JO - Journal of Logic and Computation

T2 - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 5

ER -