Permissions and Undercutters (bibtex)

by G. Boella, L. van der Torre

Abstract:

Input/output logics have been proposed to formalize rule based inference. They are mainly inspired by deontic logic, or the logic of obligations, although it has also been shown that they generalize for example Reiter's normal default logic. A recent extension of the input/output logics formalizes various notions of permission. We are interested in the question whether input/ output logics can be used to formalize rule-based inferences as they occur in for example belief revision, default reasoning, argumentation, causal reasoning, et cetera, and in particular whether permissions correspond to notions in such inferences. In this paper, we discuss permissions and their role in deontic logic, and relate it to undercutters in argumentation theory.

Reference:

Permissions and Undercutters (G. Boella, L. van der Torre), In Procs. of IJCAI Workshop on Non Monotonic Reasoning, Actions and Causality, 2003.

Bibtex Entry:

@InProceedings{Boella2003f, Title = {Permissions and Undercutters}, Author = {G. Boella and L. van der Torre}, Booktitle = {Procs. of IJCAI Workshop on Non Monotonic Reasoning, Actions and Causality}, Year = {2003}, Address = {Acapulco}, Abstract = {Input/output logics have been proposed to formalize rule based inference. They are mainly inspired by deontic logic, or the logic of obligations, although it has also been shown that they generalize for example Reiter's normal default logic. A recent extension of the input/output logics formalizes various notions of permission. We are interested in the question whether input/ output logics can be used to formalize rule-based inferences as they occur in for example belief revision, default reasoning, argumentation, causal reasoning, et cetera, and in particular whether permissions correspond to notions in such inferences. In this paper, we discuss permissions and their role in deontic logic, and relate it to undercutters in argumentation theory. }, Bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/nrac03.pdf}, Slides = {http://icr.uni.lu/leonvandertorre/papers/nrac03-slides.ps.Z}, Timestamp = {2013.07.26}, Url = {http://icr.uni.lu/leonvandertorre/papers/nrac03.pdf} }

Powered by bibtexbrowser