seminar:ESP: A Logic of Only-Knowing, Noisy Sensing and Acting

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
            Alfredo Gabaldon
Center for Artificial Intelligence, New University of Lisbon
Abstract:
When reasoning about actions and sensors in realistic domains, the ability
to cope with uncertainty often plays an essential role. Among the
approaches dealing with uncertainty, the one by Bacchus, Halpern and
Levesque, which uses the situation calculus, is perhaps the most
expressive. However, there are still some open issues. For example, it
remains unclear what an agent's knowledge base would actually look
like. The formalism also requires second-order logic to represent uncertain
beliefs, yet a first-order representation clearly seems preferable. In this
talk we show how these issues can be addressed by incorporating noisy
sensors and actions into an existing logic of only-knowing.
Joint work with Gerhard Lakemeyer.
Short-bio:
Alfredo Gabaldon is a Senior Researcher at the Center for Artificial Intelligence, Dept. of Informatics, New Univ. of Lisbon. He holds a PhD from the Univ. of Toronto,
where he was a member of the Cognitive Robotics Group, and MS and BS degrees from the Univ. of Texas at El Paso. From 2004--2008 he was Research Scientist at NICTA NRL Lab
in Sydney, Australia and Research Fellow at the U. of New South Wales. His main research
interests are in the general area of Artificial Intelligence. Specifically, his interests
have been focused on Representing and Reasoning about Actions and Change, Planning, Cognitive Robotics, and Knowledge and Database Update.
11 August 2010, 13:40, FENS 2019