Formalisation et évaluation des théories traitant des centres d'attention et application aux dialogues en langue naturelle d'acquisition des besoins / Renaud Lecoeuche ; sous la dir. de Jean-Pierre Pécuchet

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Langages de programmation

Méthodes formelles (informatique)

Intelligence artificielle

Interaction humain-machine

Pecuchet, Jean-Pierre (Directeur de thèse / thesis advisor)

Université de Rouen Normandie (1966-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : L'acquisition des besoins est une étape difficile de l'ingénierie logicielle, pendant laquelle les spécifications d'un nouveau logiciel sont discutées avec les futurs utilisateurs. Vérifier que cette étape est correcte est une tâche complexe. Une aide informatique est donc souvent bénéfique. Cette aide nécessite des spécifications formelles. Cependant, peu de gens sont habitues à utiliser des langages de spécifications formels. Des langages adaptés à un domaine particulier peuvent aider dans l'écriture de spécifications formelles, mais l'acquisition reste souvent entachée d'erreurs. Un outil qui interagit avec les utilisateurs et les aide à exprimer leurs besoins pourrait réduire le nombre d'erreurs commises. Le but est ici d'extraire les besoins activement par un dialogue avec les utilisateurs. Malgré le développement de nombreux moyens de représentation et d'analyse des besoins, peu d'attention a été donnée au contrôle du dialogue ordinateur-utilisateur lors de l'acquisition des besoins. Les théories traitant des centres d'attention expliquent comment les protagonistes d'un dialogue portent leur attention sur certaines choses à certains moments du dialogue. Dans cette thèse, nous proposons d'utiliser ces théories afin d'améliorer la qualité du dialogue ordinateur-utilisateurs. Nous montrons qu'en combinant les contraintes sur l'évolution du dialogue données par ces théories et les contraintes inhérentes à l'acquisition des besoins nous pouvons guider l'acquisition d'une manière naturelle et facile à suivre pour les utilisateurs. Cette utilisation interactive des théories traitant des centres d'attention est nouvelle. Nous comparons également différentes théories pour cette tâche. Cela nous force à formaliser les théories et à développer une méthode originale pour les tester empiriquement.