Trial lecture for appointment as associate professor - Johannes Schmidt

Welcome to attend Johannes Schmidt’s trial lecture for appointment as associate professor!

Title:

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.