Timotheus Kampik is a PhD Student at the Department of Computing Science, Umeå University

Abstract: The seminar will provide an overview of the intersection of research on human reasoning and decision-making, as most notably conducted in Microeconomics and Behavioral Psychology, and research on machine reasoning. In particular, the seminar will illustrate how concepts and models of human decision-making relate to fundamental principles of automated reasoning, explainable AI, and combinations of symbolic reasoning and learning. To demonstrate the real-world applicability of the presented perspectives, the seminar will relate to practical tools and methods, such as industry-scale decision automation using the Decision Model and Notation (DMN) standard.