Reference : Modular Orders on Defaults in Formal Argumentation
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
Modular Orders on Defaults in Formal Argumentation
Pardo Ventura, Pere mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Strasser, Christian mailto [Ruhr-Universit├Ąt Bochum - RUB > Philosophie II]
Journal of Logic and Computation
Oxford University Press
United Kingdom
[en] Argumentation ; Non-monotonic Reasoning ; Default Logic
[en] Default logic and formal argumentation are paradigmatic methods in the study of nonmonotonic inference. Defeasible information often comes in different strengths stemming from different degrees of reliability in epistemic applications or from varying strengths of authorities issuing norms in deontic applications. In both paradigms methods have been developed to deal with prioritized knowledge bases and normative systems. Questions of comparability of these methods therefore naturally arise. Argumentation theory has been developed with a strong emphasis on unification. It is therefore a desideratum to obtain natural representations of various approaches to (prioritized) default logic within frameworks of structured argumentation, such as ASPIC. Important steps in this direction have been presented in Liao et al. (2016, 2018). In this work we identify and address some problems in earlier translations, we broaden the focus from total to modular orderings of defaults, and we consider non-normal defaults.

File(s) associated to this reference

Fulltext file(s):

Limited access
arg-def.pdfAuthor preprint713.12 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.