Team : SMA
Departure date : 10/01/2012
: Amal EL FALLAH SEGHROUCHNI Co-supervision
: 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.
: 05/14/2012 - 10h - Site Jussieu 25-26/105Jury members
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