Explication de l’insatisfiabilité en modélisation par contraintes pour des problèmes d’optimisation industriels

Depuis 2018, Thales Digital Solutions développe des systèmes d’optimisation et d’aide à la décision ayant pour but d’accélérer la transformation numérique de ses industries, en particulier dans les domaines militaire et aérospatial. Ces systèmes reposent sur des approches de modélisation par contraintes et permettent de résoudre des problèmes d’optimisation particulièrement complexes. Lors de l’utilisation de ces systèmes, le choix des données fournies par un utilisateur peut mener à un modèle incorrect, impliquant qu’aucune solution au problème n’existe. On dit alors que le problème est insatisfiable et il est habituellement difficile d’en obtenir la raison. Ainsi, l’objectif général de ce projet est de développer des méthodes d’explication de l’insatisfiabilité afin que les utilisateurs soient en mesure de comprendre le ou les conflit(s) et de corriger les données adéquatement selon leur expertise du domaine d’application, sans nécessiter l‘expertise technique du modèle.

Faculty Supervisor:

Claude-Guy Quimper

Student:

Partner:

Thales Recherche et Technologie

Discipline:

Computer science

Sector:

Management of companies and enterprises; Manufacturing; Professional, scientific and technical services

University:

Université Laval

Program: