No full text
Software (Computer developments)
NAI – The Normative Reasoner
Libal, Tomer; Steen, Alexander
2019
 

Files


Full Text
No document available.

Send to



Details



Keywords :
Legal Reasoning; Software; Automated Reasoning
Disciplines :
Computer science
Law, criminology & political science: Multidisciplinary, general & others
Author, co-author :
Libal, Tomer ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Steen, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
NAI – The Normative Reasoner
Publication date :
2019
Creation date :
2019
Technical description :
NAI (for Normative AI) is a framework for normative reasoning. NAI features an annotation-based editor which abstracts over the underlining logical language. It also contains an easily accessible functionality for quality assurance and a transparent analysis of the created formalized document. NAI also supports an approach for assessing the correctness of formalizations via execution of behavioral tests using so-called queries. Lastly, it provides an interface for the creation of such queries and for checking their validity. The architecture of NAI is modular, which allows using different logics and reasoning engines. It also provides an web-based interface, which can be used by other tools in order to reason over the formalized legislation.
Commentary :
NAI is open-source, its source code is freely available at GitHub 3 under GPL-3.0 license. It was awarded with the LexisNexis Best Paper Award of Internationales Rechtsinformatik Symposium (IRIS 2020), in Salzburg, Austria, 2020.
Available on ORBilu :
since 01 March 2020

Statistics


Number of views
135 (18 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu