|
Knowledge Representation for General Problem-Solving Systems and Robots| old_uid | 16071 |
|---|
| title | Knowledge Representation for General Problem-Solving Systems and Robots |
|---|
| start_date | 2018/06/15 |
|---|
| schedule | 12h30-14h |
|---|
| online | no |
|---|
| location_info | Salle ME303 |
|---|
| summary | 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. |
|---|
| responsibles | <not specified> |
|---|
| |
|