Goal-Directed Decision Procedures for Input/Output Logics

Steen, Alexander

Reference : Goal-Directed Decision Procedures for Input/Output Logics


	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/43591

Title :	Goal-Directed Decision Procedures for Input/Output Logics
Language :	English
Author, co-author :	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2021
Main document title :	Deontic Logic and Normative Systems: 15th International Conference (DEON 2020/2021)
Editor :	Marra, Alessandra
	Liu, Fenrong
	Portner, Paul
	Van De Putte, Frederik
Publisher :	College Publications
Collection and collection volume :	Deontic Logic and Normative Systems, Vol. 15
Peer reviewed :	Yes
On invitation :	No
Audience :	International
City :	London
Event name :	15th International Conference on Deontic Logic and Normative Systems (DEON 2020/2021)
Event date :	21-07-2021 to 24-07-2021
Event organizer :	MCMP/LMU Munich
Event place (city) :	Munich
Event country :	Germany
Keywords :	[en] Deontic logic ; normative reasoning ; Automated Reasoning
Abstract :	[en] Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been studied thoroughly in the past, including further applications and refinements. In this paper, a class of automated reasoning procedures is presented that, given a set of norms and a concrete situation, decide whether a specific state of affairs is obligatory according to the output operations of I/O logics. The procedures are parametric in the underlying logical formalism and can be instantiated with different classical objects logics, such as propositional logic or first-order logic. The procedures are shown to be correct, and a proof-of-concept implementation for propositional I/O logics is surveyed.
Funders :	Fonds National de la Recherche - FnR
Name of the research project :	Automated Reasoning with Legal Entities (AuReLeE)
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/43591
Other URL :	http://www.collegepublications.co.uk/DEON/?00003
Commentary :	I/O Logic Workbench available online at https://www.alexandersteen.de/iol/
FnR project :	FnR ; FNR14616644 > Alexander Steen > AuReLeE > Automated Reasoning With Legal Entities > 01/03/2021 > 28/02/2023 > 2020

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	paper.pdf		Author preprint	571.15 kB	View/Open

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

University of Luxembourg Library | Feedback | Legal notices