Catholijn Jonker gives talk at LIRa seminar at University of Amsterdam

I will discuss how bi-modular logics of a simple kind can be used to perform abstract meta-level forms of reasoning.
I will show how you can use meta-level reasoning for Diagnostic Reasoning and for reasoning about the Closed World Assumption in a different way. I will reflect on this to show how this reasoning could help in modern day AI to have systems realise what it is that they don’t know about.

Read more