No full text
Software (Computer developments)
rio: Reasoner for Input/Output Logics
Steen, Alexander
2021
 

Files


Full Text
No document available.

Send to



Details



Keywords :
Deontic logic; normative reasoning; Automated Reasoning
Abstract :
[en] rio provides a TPTP-aligned [3] automated reasoning system for unconstrained and constrained I/O logics basid on the outi operators, 1 ≤ i ≤ 4. It is implemented as a Scala application and based on the scala-tptp-parser [4]. In short, the system allows you to specify a set of conditional norms and a number of inputs (each of which describing aspects of the current situational context), and provides automated means for inferring whether given obligations (also encoded as formulas) can be derived. rio can also be used to infer the set of detached obligations instead of checking detachment of given ones.
Disciplines :
Computer science
Author, co-author :
Steen, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Language :
English
Title :
rio: Reasoner for Input/Output Logics
Publication date :
13 February 2021
Creation date :
2021-02
Commentary :
rio is distributed under the BSD 3-Clause license (see LICENSE file), and uses third party libraries that are distributed under their own terms (see LICENSE-3RD-PARTIES file).
Available on ORBilu :
since 13 February 2021

Statistics


Number of views
140 (6 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu