Sing and Dance!" - Input/Output Logics without Weakening

Parent, Xavier; Torre, Leendert W. N. Van Der

Reference : Sing and Dance!" - Input/Output Logics without Weakening


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/23806

Title :	Sing and Dance!" - Input/Output Logics without Weakening
Language :	English
Author, co-author :	Parent, Xavier [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Torre, Leendert W. N. Van Der [> >]
Publication date :	2014
Main document title :	Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Peer reviewed :	Yes
Audience :	International
Event name :	DEON 2014
Event date :	July 2014
Keywords :	[en] normative reasoning ; input/output logic ; knowledge representation
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/23806
Commentary :	149--165

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	deon2014.pdf		Author preprint	308.34 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices