search

normativeai / frontend

GNU General Public License v3.0
5 stars 3 forks source link

Change the example in the Demo account #43

Open matteo-si opened 5 years ago

matteo-si commented 5 years ago

The Socrates example is too poor, I would rather use the portion of the UN Convention that we formalized in the ICAIL paper, since we are sure that it works properly.

shaolintl commented 5 years ago

I have added the UN convention formalization and two queries to the demo account.

matteo-si commented 5 years ago

I would remove the Socrates example anyway. Also, we need to make sure that the other theories in the demo account are accessible to users. The multi-agent version is currently not in a good condition. We should at least specify somewhere that all the information is in the advanced tab and justify why the other tabs are empty.

shaolintl commented 5 years ago

@matteo-si We can put this information in the description of the theory. This is already available on the first screen. Please write here the text and I will do the two changes at once.

matteo-si commented 5 years ago

What about this text I sent you via mail at some point?

The dashboard includes a set of Legislations (I would change this name to "Normative Theories" or, better, "Theories") and a set of Queries that can be formulated on the various Legislations. Opening a Legislation, one has access to some tabs. The normative theory is contained either in the "Formalization" tab or in the "Advanced" tab. In the first case, it is also supported by an annotated text ("Annotation" tab) and by a list of the logical formulas used ("Vocabulary" tab). These formulas are automatically generated by annotating the text. The button "Run consistency check" allows one to check whether the theory is logically consistent.

Opening a Query, one has access to the same tabs. Also in this case, the query is contained either in the "Formalization" tab or in the "Advanced" tab. A query consists of a set of actual circumstances and a goal. The button "Execute query" allows one to check whether the goal is derivable in the actual circumstances.

terezanovot commented 5 years ago

Just a short remark: please don't change the name of "legislation" just to "theory". I think that this is getting too theoretical for lawyers. Please, use at least "normative theory" as it was proposed.

gjgoerke commented 5 years ago

What about just calling them "Formalizations"? It captures the distinction between the text and the user given formalization and I think is a little more intuitive than "Theory" / "Normative Theory."