Verifiable Reasoning AI for Education – Looking to Connect

[stassa.p]

I think there may be some overlap with this project by user @siegfried :

Technical Failure Management and Root Cause Prediction with an Expert System

I stumbled across PROLOG by chance when I was looking for literature on expert systems in our campus library: there were still a few ‘old’ books in the basement of the library, including Bratko and Hans Kleine Bünning. As a PROLOG novice, I started with those… We operate a whole range of different accelerators on our campus. Technical failures must be rectified quickly so that researchers can work on the accelerators with as little interruption as possible. There is hardly any time to analyze t…

Good luck with your project!