Reference : Sing and Dance!" - Input/Output Logics without Weakening
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Sing and Dance!" - Input/Output Logics without Weakening
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Torre, Leendert W. N. Van Der [> >]
Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
DEON 2014
July 2014
[en] normative reasoning ; input/output logic ; knowledge representation
[en] Makinson and van der Torre [14] introduce a number of in- put/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs. Using the same methodology, Stolpe [20,21] has developed some more I/O logics to include systems without the rule of weakening of the output (or principle of inheritance). We extend Stolpe’s account in two directions. First, we show how to make it support reasoning by cases−a common form of reasoning. Sec- ond, we show how to inject a new (as we call it, “aggregative”) form of cumulative transitivity, which we think is more suitable for normative reasoning. The main outcomes of the paper are soundness and complete- ness theorems for the proposed systems with respect to their intended semantics.

File(s) associated to this reference

Fulltext file(s):

Open access
deon2014.pdfAuthor preprint308.34 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.