Dear all,
We will have our next LIRa session tomorrow, on Thursday, 25 November 16:30.
Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984)
You can find the details of the talk below.
Speaker: Catholijn Jonker (Delft University of Technology)
Date and Time: Thursday, November 25th 2021, 16:30-18:00, Amsterdam time.
Venue: online.
Title: Revisiting Computational Fragments of Logic and Meta-Reasoning: the DESIRE framework
Abstract.
I will discuss how bi-modular logics of a simple kind can be used to perform abstract meta-level forms of reasoning. I don’t know if I can get the old DESIRE system running again for you, but I will give it a try. Otherwise I will explain the concept to you in detail. Showing 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 I to have systems realise what it is that they don’t know about.
Hope to see you there!
The LIRa team