From Classical to Non-monotonic Deontic Logic Using ASPIC +

Huimin Dong; Beishui Liao; Réka Markovich; Leendert van der Torre

Conference Proceedings

From Classical to Non-monotonic Deontic Logic Using ASPIC +

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2019) 11813 LNCS 71-85

DOI: 10.1007/978-3-662-60292-8_6

5Citations

4Readers

Get full text

Abstract

In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC + to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission.

Cite

CITATION STYLE

APA

Dong, H., Liao, B., Markovich, R., & van der Torre, L. (2019). From Classical to Non-monotonic Deontic Logic Using ASPIC +. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11813 LNCS, pp. 71–85). Springer. https://doi.org/10.1007/978-3-662-60292-8_6

From Classical to Non-monotonic Deontic Logic Using ASPIC +

Abstract

Cite

Register to see more suggestions