search

normativeai / frontend

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

Remove trivial theories #67

Open matteo-si opened 4 years ago

matteo-si commented 4 years ago

Please remove the Socrates example from the demo account, since it is too trivial

lex-lex commented 4 years ago

Is there a consensus? I have no strong feeling about the socrates example; however, I see that the principles of a tool are usually explained on very simple examples.

Maybe we can also rename it and update its description in such a way that we have three examples in the end, like "Example 1: First steps", "Example 2: XYZ", etc. And the description could give the information like "This example illustrates ..." in order to be clear that is just for demonstrating fundamentals.

matteo-si commented 4 years ago

Why don't we put the Jane example instead of the Socrates one? I mean the usual example with contrary to duty reasoning (also in the ICAIL paper). That one is an example of normative reasoning at least

terezanovot commented 4 years ago

The Jane example is good, but to be honest - it shows contrary to duty obligations, but the focus of the tool is much wider. Socrates example is, according to me, understandable enough for first meeting with the tool. I would keep it and maybe we can add some more complex example (Jane example)?