A computational model for pragmatic oddity

Thumbnail
View/Open
File version
Version of Record (VoR)
Author(s)
Governatori, G
Rotolo, A
Griffith University Author(s)
Year published
2019
Metadata
Show full item record
Abstract
We introduce a computational model based on Deontic Defeasible Logic to handle the issue of Pragmatic Oddity. The key idea is that a conjunctive obligation is allowed only when each individual obligation is independent of the violation of the other obligations. The solution makes essential use of the constructive proof theory of the logic.
Conference Title
Frontiers in Artificial Intelligence and Applications
Volume
322
DOI
Copyright Statement
© 2019 The authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0).
Subject
Theory of computation
Publication URI
Collection