Robolog 2017 workshop

Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes, France - june 28-29 2017

Aim of the workshop

The aim of this workshop is to present recent work and discuss potential links and cross-fertilising challenges between researchers in logic and those developing decisional processes for multi-robot cooperation and for cognitive and interactive robots that act and interact with humans.

Recently, several logical frameworks have been developed and investigated for reasoning about relevant concepts such as: strategies in imperfect information games, high-order knowledge, temporal/spatial reasoning, etc.

In robotics decisisonal issues involve cognitive architectures, interaction schemes and modalities, models and algorithms for situation assessment, task planning and context-based refinement, theory of mind, reasoning and acting on mental state, negotiation and collaboration schemes, temporal reasoning etc.

This workshop will help researchers to understand which features of their already existing frameworks are relevant for application in robotics. It will also focus on identifying new research challenges to tackle that will be useful for building advanced decisional capabilities for robot systems.

The workshop will be organized into several thematic sessions consisting in focused presentations followed by a panel discussion.


Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) is located on the campus Beaulieu of University Rennes 1, in Rennes, France. It will hold in room Turing in the main building of IRISA (Rennes site). More information here.



The list of participants is not complete. Full list: TBA


Rachid Alami
On decisional abilities for a cognitive and interactive robot
This talk addresses some key decisional issues that are necessary for a cognitive robot which shares space and tasks with a human. We adopt a constructive approach based on the identification and the effective implementation of individual and collaborative skills. The system is comprehensive since it aims at dealing with a complete set of abilities articulated so that the robot controller is effectively able to conduct in a flexible manner a human-robot collaborative problem solving and task achievement. These abilities include geometric reasoning and situation assessment based essentially on perspective-taking and affordances, management and exploitation of each agent (human and robot) knowledge in a separate cognitive model, human-aware task planning and interleaved execution of shared plans.

Short bio.
Dr. Rachid Alami is Senior Scientist at CNRS. He received an engineer diploma in computer science in 1978 from ENSEEIHT, a Ph.D in Robotics in 1983 from Institut National Polytechnique and an Habilitation HDR in 1996 from Paul Sabatier University He contributed and took important responsibilities in several national, European and international research and/or collaborative projects (EUREKA: FAMOS, AMR and I-ARES projects, ESPRIT: MARTHA, PROMotion, ECLA, IST: COMETS, IST FP6 projects COGNIRON, URUS, PHRIENDS, and FP7 projects CHRIS, SAPHARI, ARCAS, SPENCER France: ARA, VAP-RISP for planetary rovers, PROMIP, ANR projects). His main research contributions fall in the fields of Robot Decisional and Control Architectures, Task and motion planning, multi-robot cooperation, and human-robot interaction. Rachid Alami is currently the head of the Robotics and InteractionS group at LAAS.
François Schwarzentruber
Introduction to Dynamic epistemic logic
In this talk, we will introduce dynamic epistemic logic that enables to represent and reason about higher-order knowledge (a knows that b knows that...). I will present basics about event models. Then I will make a summary of algorithms for model checking, satisfiability and epistemic planning.


CNRS - AAP - Défi InFINIty