Our group has a strong background in formal logic based AI and particularly in the area of reasoning about knowledge and action. The expertise in this area extends from research into abstract representation formalisms for actions and knowledge, through to pragmatic issues of implementing reasoning for the purposes of controlling robot behaviour.

Action formalisms such as the situation calculus and the fluent calculus provide a mechanism to represent and reason about dynamic domains. This makes them well-suited for robotics, where they can be used for planning robot actions as well as execution monitoring at a high-level of abstraction. In this context it is important to have an explicit representation of the agent’s knowledge and belief, which typically only reflect an incomplete fragment of the real world and may even be incorrect. In particular it is important for the robot to be aware of what it does not know or what it is uncertain about and how new knowledge can be obtained to fill these gaps. For example, finding out what items are on a table may require the robot to inspect the table from different positions. Epistemic reasoning is also particularly important in a domestic environment where a robot has to interact with human agents and therefore has to reason not only about its own knowledge but also the knowledge of other agents.

Our group has been actively involved in efforts to bring these theories of actions and knowledge to practice. For instance, we have contributed in the development of ROSoClingo, an adaptation of a high-performance Answer Set Programming (ASP) reasoner for use in the ROS open-source robot framework, and used ASP to implement a epistemic variant of the situation calculus. We are furthermore currently working on a reasoning system for first-order epistemic reasoning.

Publications include:

• C. Schwering, T. Niemüller, G. Lakemeyer, N. Abdo, W. Burgard. Sensor Fusion in the Epistemic Situation Calculus. Journal of Experimental & Theoretical Artificial Intelligence, 2016.
• C. Schwering, G. Lakemeyer. Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. Proceedings of the Twenty-Second European Conference on Artificial Intelligence, 2016.
• B. Andres, D. Rajaratnam, O. Sabuncu, and T. Schaub. Integrating ASP into ROS for Reasoning in Robots.  International Conference on Logic Programming and Nonmonotonic Reasoning, 2015.
• C. Schwering, G. Lakemeyer, M. Pagnucco. Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015.
• C. Schwering, G. Lakemeyer. Projection in the Epistemic Situation Calculus with Belief Conditionals. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015.
• D. Rajaratnam, H. J. Levesque, M. Pagnucco, M. Thielscher. Forgetting in Action. International Conference on Principles of Knowledge Representation and Reasoning, 2014.
• M. Pagnucco, D. Rajaratnam, H. Strass, and M. Thielscher. Implementing Belief Change in the Situation Calculus and an Application. International Conference on Logic Programming and Nonmonotonic Reasoning, 2013.
• S. Shapiro, M. Pagnucco, Y. Lespérance, and H. J. Levesque. Iterated belief change in the situation calculus. Artificial Intelligence vol. 175, no.1, pp. 165-192, 2011.
• M. Pagnucco, D. Rajaratnam, H. Strass, and M. Thielscher. How to Plan When Being Deliberately Misled.  Automated Action Planning for Autonomous Mobile Robots, Papers from the AAAI Workshop, 2011.