getting_started - normativeai/guide GitHub Wiki

The tool is a web application, which means that the only software required is a browser, such as Firefox or Chrome. In order to be able to use it, user needs to register an account using e-mail adress and a password.

Please try out the Demo account - email: [email protected]; password: nai

The dashboard contains two sections: Legislations and Queries.

User can create a Legislation, which means to formalize whole legal text into a logical representation. The input is any legal text that the user wants to work with and the output is a list of formal logical rules obtained from the text. User annotates a legal text in order to transform it into logical formulas. User works with two types of annotations: terms and connectives. Terms are defining parts of legal text (a word or a whole proposition) and connectives are logical connections between terms.

In Queries, user inputs the question and the answer in the form of a full-text. He needs to annotate the defining facts in the text of a question and answer as terms that he defined in Legislation. In the answer, he also needs to define the fact as a goal. Than, user is able to execute the query and find if the answer is logically consistent with the facts and the legislation, i.e. if the answer logically follows the facts and the legislation.