Argumentation Semantics for Defeasible Logics

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

doi:10.1007/3-540-44533-1_7

Argumentation Semantics for Defeasible Logics

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings
Editors	Riichiro Mizoguchi, John Slaney
Publisher	Springer Verlag
Pages	27-37
Number of pages	11
ISBN (Electronic)	9783540445333
ISBN (Print)	3540679251, 9783540679257
DOIs	https://doi.org/10.1007/3-540-44533-1_7
Publication status	Published - 2000
Externally published	Yes
Event	6th Pacific Rim International Conference on Artificial Intelligence - Melbourne, Australia Duration: 28 Aug 2000 → 1 Sep 2000 Conference number: 6

Publication series

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

Conference

Conference	6th Pacific Rim International Conference on Artificial Intelligence
Abbreviated title	PRICAI 2000
Country/Territory	Australia
City	Melbourne
Period	28/08/00 → 1/09/00

Access to Document

10.1007/3-540-44533-1_7Licence: Unspecified

Cite this

Governatori, G., Maher, M. J., Antoniou, G., & Billington, D. (2000). Argumentation Semantics for Defeasible Logics. In R. Mizoguchi, & J. Slaney (Eds.), PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 27-37). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1886 LNAI). Springer Verlag. https://doi.org/10.1007/3-540-44533-1_7

Governatori, G. ; Maher, M. J. ; Antoniou, G. et al. / Argumentation Semantics for Defeasible Logics. PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings. editor / Riichiro Mizoguchi ; John Slaney. Springer Verlag, 2000. pp. 27-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ccd6a7801e104c628ae7ac11b42cb8a9,

title = "Argumentation Semantics for Defeasible Logics",

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.",

keywords = "Logic Program, Inference Rule, Strict Rule, Business Rule, Proof Tree",

author = "G. Governatori and Maher, {M. J.} and G. Antoniou and D. Billington",

year = "2000",

doi = "10.1007/3-540-44533-1_7",

language = "English",

isbn = "3540679251",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "27--37",

editor = "Riichiro Mizoguchi and John Slaney",

booktitle = "PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings",

address = "Germany",

note = "6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000 ; Conference date: 28-08-2000 Through 01-09-2000",

}

Governatori, G, Maher, MJ, Antoniou, G & Billington, D 2000, Argumentation Semantics for Defeasible Logics. in R Mizoguchi & J Slaney (eds), PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1886 LNAI, Springer Verlag, pp. 27-37, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Victoria, Australia, 28/08/00. https://doi.org/10.1007/3-540-44533-1_7

Argumentation Semantics for Defeasible Logics. / Governatori, G.; Maher, M. J.; Antoniou, G. et al.

PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings. ed. / Riichiro Mizoguchi; John Slaney. Springer Verlag, 2000. p. 27-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1886 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Argumentation Semantics for Defeasible Logics

AU - Governatori, G.

AU - Maher, M. J.

AU - Antoniou, G.

AU - Billington, D.

N1 - Conference code: 6

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

KW - Logic Program

KW - Inference Rule

KW - Strict Rule

KW - Business Rule

KW - Proof Tree

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

UR - https://link.springer.com/book/10.1007/3-540-44533-1

U2 - 10.1007/3-540-44533-1_7

DO - 10.1007/3-540-44533-1_7

M3 - Conference contribution

AN - SCOPUS:84867806378

SN - 3540679251

SN - 9783540679257

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 27

EP - 37

BT - PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings

A2 - Mizoguchi, Riichiro

A2 - Slaney, John

PB - Springer Verlag

T2 - 6th Pacific Rim International Conference on Artificial Intelligence

Y2 - 28 August 2000 through 1 September 2000

ER -

Governatori G, Maher MJ, Antoniou G, Billington D. Argumentation Semantics for Defeasible Logics. In Mizoguchi R, Slaney J, editors, PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 2000. p. 27-37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44533-1_7

Argumentation Semantics for Defeasible Logics

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this