Reference : Modular Orders on Defaults in Formal Argumentation
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/52826
Modular Orders on Defaults in Formal Argumentation
English
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]
17-Nov-2022
Journal of Logic and Computation
Oxford University Press
Yes
International
0955-792X
1465-363X
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.
http://hdl.handle.net/10993/52826
10.1093/logcom/exac084
https://academic.oup.com/logcom/advance-article-abstract/doi/10.1093/logcom/exac084/6825178

File(s) associated to this reference

Fulltext file(s):

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