Lecture Title: Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
Presented By: Gerhard Lakemeyer, University of Toronto/University of New South Wales
Location: DL Pratt Building, 6 King's College Road, Room 266
Abstract: When it comes to robotic agents operating in an uncertain world, a major concern in knowledge representation is to better relate high-level logical accounts of belief and action to the low-level probabilistic sensorimotor data. Perhaps the most general formalism for dealing with degrees of belief and, in particular, how such beliefs should evolve in the presence of noisy sensing and acting is the account by Bacchus, Halpern, and Levesque. In this paper, we reconsider that model of belief, and propose a new logical variant that hasmuch of the expressive power of the original, but goes beyond it in novel ways. In particular, by moving to a semantical account of a modal variant of the situation calculus based on possible worlds with unbounded domains and probabilistic distributions over them, we are able to capture the beliefs of a fully introspective knowledge base with uncertainty by way of an only-believingoperator. The paper introduces the new logic and discusses key properties as well as examples that demonstrate how the beliefs of a knowledge base change as a result of noisy actions.
This is joint work with Vaishak Belle and Hector Levesque.
Biography: Gerhard Lakemeyer received his Ph.D. from the University of Toronto in 1990. After six years at the University of Bonn he joined the faculty of theDepartment of Computer Science at RWTH Aachen University, where he is FullProfessor and heads the Knowledge-Based Systems Group. He is also a Full Professor(status-only) at the University of Toronto, Canada, and a Professorial Fellow at the University of New South Wales, Australia. His research interests include knowledge representation and cognitive robotics. He has published more than 150 scientific papers and has served on numerous program committees, including IJCAI, AAAI, ECAI, and KR. He is a Fellow of the European Association for Artificial Intelligence (EurAI), current President of EurAI and an Associate Editor of Artificial Intelligence and Computational Intelligence. He is also a member of the Editorial Board of the Journal of Applied Logic, and was a member of the Editorial and Advisory Board of the Journal of Artificial Intelligence Research.