2012-07-18T23:59:59Z
2021-07-09T11:00:11Z
Apports de la logique mathématique en ingénierie des exigences
2002
2002-01-01
Cette thèse s'intéresse à l'ingénierie des exigences (IE), qui caractérise le processus qui conduit à la construction d'un ensemble cohérent de spécifications portant sur un produit à construire. Nous avons identifié trois phases distinctes dans le processus d'IE : modélisation des exigences, gestion des incohérences et distribution des exigences. Dans la phase de modélisation, nous nous sommes appuyés sur une logique de préférences, CO, qui nous a permis d'exprimer les exigences de chaque agent de façon ordonnée, mais également des contraintes du domaine et des phrases normatives complexes. Nous avons alors pu définir une notion de cohérence entre ces trois notions. Pour la résolution des éventuels conflits entre exigences émises par différents agents, nous avons développé M F, une logique modale permettant de raisonner sur le contenu de bases de croyances obtenus par fusion majoritaire de plusieurs bases primitives ainsi qu'un démonstrateur automatique en PROLOG pour M F. Dans un second temps, nous avons montré que notre approche permettait de raisonner sur des ensembles d'exigences ordonnées ou non. Enfin, nous avons proposé d'inclure dans le processus d'IE une phase de distribution des exigences à un ensemble d'agents exécutants. Après avoir proposé un modèle d'agent simple, nous avons montré que ce modèle permettait de déterminer les buts d'un agent. Nous avons étendu cette approche à un groupe d'agents, puis nous avons défini un modèle de distribution comportant une entité centrale connaissant les engagements des agents.
Intelligence artificielle
Logique déontique
Prise de décision
Intelligence artificielle répartie
Fusion de bases de croyances
Représentation de préférences
Théorie de la décision qualitative
Garion, Christophe
Cholvy, Laurence
École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007)