Docentföreläsning - Johannes Schmidt

Välkommen till Johannes Schmidt docentföreläsning torsdagen den 2 mars, kl 10.00-11.00 i Gjuterisalen (E1405)!

Titel på föreläsningen:

Non-monotonic reasoning, upper and lower bounds

Abstract

Non-monotonic reasoning formalisms are particularly suitable for applications in a world that is affected by constant change, as is the case in many applications in artificial intelligence (AI). In this lecture I will introduce non-monotonic reasoning and describe previous and current research efforts that try to construct faster, more efficient algorithms (upper bounds), and at the same time determine how close to optimal the newly developed algorithms are (lower bounds). Non-monotonic reasoning formalisms have numerous application areas, e.g., scientific discovery, network security, logic programming, computational biology, medical diagnosis, knowledge base updates, explainability in machine learning, decision support. Current research lies the basis to develop faster solvers for non-monotonic reasoning, to be applicable in any of the aforementioned areas.