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
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.
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.
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