Representation and Reasoning for Cognitive Personal Robotics

机器人系统正变得越来越复杂和普遍。开发复杂和可维护的机器人程序来控制这些系统仍然是一个重大的挑战，特别是考虑到机器人平台和应用领域的多样性。该项目旨在建立在人工智能解决问题和编程范式的基础上，将其应用于学习复杂的机器人程序。这些技术具有提供精化容忍度、知识/程序维护和性能优化的潜力。该项目旨在开发构建复杂的声明式机器人程序的技术。它的目标是通过学习程序机器人程序并将它们转化为可维护的声明式机器人程序来实现这一目标。

Robotic systems are becoming increasingly more sophisticated and prevalent. Developing complex and maintainable robot programs to control these systems remains a significant challenge particularly given the diversity of robot platforms and application areas. This project aims to build on advances in problem solving and programming paradigms in Artificial Intelligence, applying them to learning sophisticated robot programs. These techniques have the potential to provide for elaboration tolerance, knowledge/program maintenance and optimisation of performance. This project aims to develop techniques for building sophisticated declarative robot programs. It aims to achieve this by learning procedural robot programs and turning them into maintainable declarative robot programs.