DEKOKER Sylvain

Doctor
Equipo : SMA
Fecha de salida : 01/10/2012
https://lip6.fr/Sylvain.Dekoker

Dirección de investigación : Amal EL FALLAH SEGHROUCHNI

Co-supervisión : TAILLIBERT Patrick

Alma : a programming language for cognitive agents

This thesis is about cognitive agents programming. We think this paradigm is an answer to the issues raised in designing, implementing and maintaining complex software systems. Concepts used in multi-agents systems are close to our natural way of thinking. This leads us to some new kind of solutions which are more declarative, adaptable and robust. We believe this paradigm will reach its true value only with the help of dedicated programming languages. This is the underlying goal of this thesis. Cognitive agents need to have a reasoning based on incomplete information. They also need to be able to manage contradictions, and to anticipate the possible actions from this situation. We have designed a solution based on hypothetical reasoning. We will show the consequences of this choice on the components of the agent architecture. The first consequence is the integration of an assumption based belief revision process. Then, we will show how plans are programmed, managed and how a consistent behavior is restored when beliefs have changed. And lastly we will show how we integrate an automated planning mechanism relying on a dynamic belief base. The contribution of this thesis is this agent programming language ALMA that has all those features.

Defensa : 14/05/2012

miembros del jurado :

Laurent VERCOUTER, INSA de Rouen [rapporteur]
Jean-Paul SANSONNET, Université Paris sud [rapporteur]
Philippe DAGUE, Université Paris sud
René MANDIAU, Université de Valencienne
Nicolas SABOURET, UPMC
Amal EL FALLAH SEGHROUCHNI, UPMC
Patrick TAILLIBERT, Thales

Fecha de salida : 01/10/2012

Publicaciones 2009-2012

Mentions légales
Mapa del sitio