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