Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

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

Main informationBy: Alfredo Gabaldon (CENTRIA)

Date: Wednesday, 21st of October 2009, 14h00

Location: FCT/UNL, Seminar Room (Ed. II)
AbstractWhen 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-bioAlfredo Gabaldon holds a PhD from the University of Toronto, where he was a member of the Cognitive Robotics Group, and MS and BS degrees from the University 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. He joined CENTRIA as a researcher in September 2008.
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT