Sciweavers

Share
PRICAI
2000
Springer

Argumentation Semantics for Defeasible Logics

11 years 3 months ago
Argumentation Semantics for Defeasible Logics
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.
Guido Governatori, Michael J. Maher, Grigoris Anto
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where PRICAI
Authors Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
Comments (0)
books