• Recherche,

"Knowledge Representation for General Problem-Solving Systems and Robots", Michael Thielscher, colloque de l'IRIT

le 15 juin 2018

Manufacture des Tabacs

Michael Thielscher, professeur à UNSW Sidney, Australia, et professeur invité à UT1 pour le mois de juin, nous presentera ses travaux intitulés "Knowledge Representation for General Problem-Solving Systems and Robots ". Il tiendra la conference en anglais.

Abstract: A general problem-solving robot is able to understand the representation of a new task and successfully tackle it without human intervention. This requires architectures for cognitive robotics that integrate symbolic and sub-symbolic representations. I will present a formal framework for the design of control hierarchies along with an instantiation for a real Baxter robot that combines high-level reasoning and planning with a physics simulator and low-level control nodes for motors and sensor processing.

As an example of a general problem representation technique, I will present and discuss a formal language for describing so-called epistemic games to a general problem-solving system. These are characterised by rules that depend on what players can and cannot deduce from the information they get during gameplay.

Mis à jour le 7 juin 2018