The tutorial is a bit old. I think that advances in probablistic reasoning & modelling, such as practical Bayes networks should be included, and the mechanics

The tutorial is a bit old. I think that advances in probablistic reasoning & modelling, such as practical Bayes networks should be included, and the mechanics of resolution have improved massively with the introduction of answerset systems - this gets over the problem of commitment that kiboshed gen 5. https://en.wikipedia.org/wiki/Answer_set_programming https://en.wikipedia.org/wiki/Answer_set_programming https://en.wikipedia.org/wiki/Probabilistic_programming_language https://en.wikipedia.org/wiki/Probabilistic_programming_lang...