Modélisation du sujet humain en situation de résolution de problème basée sur le couplage d’un formalisme logique et d’un formalisme d’opérateurs.
Jean-Bernard Auriol
Remerciements
Mme Dominique Pastre m'a fait l'honneur de bien vouloit présider mon Jury. Qu'elle en soit ici remerciée.
MM. Jean-Marc Labat et Charles Tijus ont bien voulu être rapporteurs de ce manuscrit. Je tiens également à les remercier pour le plaisir que j'ai eu à collaborer avec eux au sein du groupe PROVERB. Bien que nos conceptions n'étaient pas toujours identiques, les débats contradictoires que nous avons eus m'ont permis de me sortir des impasses dans lesquelles je me croyais parfois enfermé.
M. Jean-Louis Dessalles, mon directeur de thèse, qui a su à la fois me pousser et me soutenir, fut un tuteur parfait au cours de ces longues années. Son regard critique, et sa capacité d'entraînement furent les éléments qui me permirent de mener cette recherche.
M. Pierre Dillenbourg, membre du jury au talent d'orateur incontestable, a posé sur mon travail un oeil critique. Qu'il trouve ici l'expression de ma gratitude.
Cette thèse a été réalisée en collaboration avec la société Cybel et le département Informatique de l'Ecole Nationale Supérieure des Télécommunications. Je tiens a exprimer ici mon amitié à l'ensemble des personnels pédagogiques et administratif de mon école, ainsi qu'à mes collègues de mon entreprise d'accueil. Je tiens tout particulièrement à remercier M. Gérard Chevalier, gérant de Cybel, qui m'a fait le plaisir de m'accueillir dans son entreprise, ainsi que M. Thierry Vagne, Directeur Technique de cette même société, qui a accepté d'être membre de mon jury, et avec qui j'ai pu établir une riche collaboration.
Cette thèse doit beaucoup au travail réalisé au sein du groupe PROVERB, animé par Jean Caron et Josiane Caron-Pargue. Qu'ils trouvent ici l'expression de ma reconnaissance et du plaisir que j'ai eu à être membre de ce groupe. J'y associe également M. Jean-François Richard, qui nous à fait le plaisir de sa collaboration.
Bernard Auriol et Nathalie Forestier ont eu la gentillesse de bien vouloir relire, critiquer et corriger ce document. Mais leur contribution à ce travail va bien au dela. Qu'ils trouvent ici l'expression de ma gratitude pour tout ce qu'ils ont su m'apporter pendant ces longues années.
Au moment d'achever ce travail, je pense à toutes les personnes que j'ai pu un jour connaître, et qui, depuis, me manquent.
Enfin, je tiens à dédier ce travail a Geneviève, ma mère.
