Reference : NAI – The Normative Reasoner
Computer developments : Software
Law, criminology & political science : Multidisciplinary, general & others
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/42686
NAI – The Normative Reasoner
English
Libal, Tomer mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2019
2019
[en] Legal Reasoning ; Software ; Automated Reasoning
Researchers ; Professionals
http://hdl.handle.net/10993/42686
https://github.com/normativeai
http://nai.uni.lu
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.
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.

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.