DEKOKER Sylvain

Кандидат наук
Подразделение : SMA
Окончание контракта : 01.10.2012
https://lip6.fr/Sylvain.Dekoker

Научны(е)й руководител(и)ь : Amal EL FALLAH SEGHROUCHNI

Со-руководитель : 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.

Защита диссертаций : 14.05.2012

Члены жюри :

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

Окончание контракта : 01.10.2012

Публикации 2009-2012

Mentions légales
Карта сайта