Lehekülje Add and use uncertainty in rules lähteteksti vaatamine

Here are just the initial instructions: further details will be added during and after explanatory lecture at 12. April and practical work at 13. April.

Your task is to experiment with using numeric confidences and exceptions in rules and ask questions so that these are sensibly used.

To do this, you need to:

* Augment some of your existing (uncertain) rules/facts with numeric confidences,
* Add some new sensible uncertain rules/facts with numeric confidences,
* Augment some of your existing (uncertain) rules/facts with exceptions,
* Add some new sensible uncertain rules/facts with exceptions,
* Ask questions which use these enhanced rules/facts in a sensible way.
* Give a presentation with the example queries, results and explanations of the rules/facts.

Use the [https://logictools.org/gk/ gk reasoner for these experiments]. 
Currently only a Linux version of the gk reasoner is available. Please use wsl or a linux server for experiments.

How to give confidences/exceptions and how to get answers?  

* For confidences read [https://link.springer.com/chapter/10.1007/978-3-030-79876-5_29 the paper] and look at the examples at [https://logictools.org/confer/ confer web page]
* For exceptions read [http://dijkstra.cs.ttu.ee/~tammet/Implementing_Default_Logic.pdf the draft paper] and look at the [https://logictools.org/gk/ gk web page] with the gk reasoner and a wealth of examples.

Additionally, it helpful to have a look at the [https://dtai.cs.kuleuven.be/problog/tutorial.html Problog tutorial]: a somewhat similar system for confidences.