Date(s) - 03/10/2019
1:00 pm - 2:00 pm
The School of Informatics
We are delighted to welcome Professor Esra Erdem as our SICSA DVF. Professor Erdam will be giving a talk on Hybrid Reasoning for Robotics using Answer Set Programming at the University of Edinburgh on 3 October.
Hybrid reasoning for robotics necessitates combining discrete high-level reasoning with continuous feasibility checks and perception. We propose to address such hybrid reasoning problems with a causality-based approach using Answer Set Programming (ASP). The idea is (i) to represent the robotic actions and change in a high-level language of ASP, which allows embedding continuous feasibility checks into logical formulas by means of formal interfaces, and (ii) to compute feasible solutions to hybrid reasoning problems using state-of-the-art ASP solvers and relevant feasibility checkers within a modular architecture. We discuss this hybrid approach in the context of two main reasoning tasks: planning of robotic actions for a feasible execution, and explanation generation of failures via diagnostic reasoning. We illustrate its applications in different robotic domains.
Esra Erdem is an associate professor in computer science and engineering at Sabanci University. She received her Ph.D. in computer sciences at the University of Texas at Austin (2002), and carried out postdoctoral research at the University of Toronto and Vienna University of Technology from 2002 to 2006. Her research is in the area of artificial intelligence, in particular, the mathematical foundations of knowledge representation and reasoning, and their applications to cognitive robotics and computational biology.
Professor Erdem is being hosted at the University of Edinburgh by Professor Subramanian Ramamoorthy