Global ETD Search

11	Coopération et évaluation cognitive d'agents artificiels pour la supervision DUMONT D'AYOT, Gilles 23 May 2005 (has links) (PDF) L'idée générale de cette thèse est d'évaluer la plausibilité cognitive de modèles de raisonnement couramment utilisés en Intelligence Artificielle en les mettant en correspondance avec le raisonnement humain, ceci dans des situations de supervision de systèmes dynamiques. Pour cela, un micro-monde lié au domaine de la physique hydraulique est utilisé. Il s'agit donc en premier lieu de développer des opérateurs artificiels capables de superviser ce processus, chacun dans un "style cognitif" spécifique. Trois types d'agents ont ainsi été mis au point, basés sur le raisonnement qualitatif, la classification à partir d'exemples, et le raisonnement à base de cas. La seconde phase consiste à comparer les séquences d'actions correspondant aux raisonnements d'un opérateur humain et d'un agent artificiel durant la tâche de supervision, notamment par l'intermédiaire de la découverte des intentions associées aux actions, puis à définir une coopération entre ces trois modes fondamentaux de raisonnement. Supervision dynamique de procédés Micro-monde Processus cognitifs Raisonnement qualitatif Classification à partir d'exemples Raisonnement à base de cas Intention associée à une action Logique floue
12	La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie Duong, Vu Nguyen 16 November 1990 (has links) (PDF) La thèse est que la représentation par contraintes, en terme de langage et la déduction par la gestion automatique des réseaux de contraintes est une voie adéquate pour les systèmes d'aide à la conception en ingénierie. Deux techniques de l'Intelligence Artificielle à savoir la Propagation de Contraintes et le Raisonnement Qualitatif sont abordées. La Propagation de Contraintes est un mécanisme d'inférences déductives sur les réseaux de contraintes. Ce mécanisme présente plusieurs difficultés, particulièrement dans les calculs pas-à-pas de la résolution des relations entre valeurs des variables. Pour améliorer ce mécanisme, il est proposé dans le présente travail des algorithmes de filtrage sur la consistance locale dans des réseaux de contraintes algébriques n-aires. Ainsi, le concept de réseaux dynamiques est exploité comme un module d'aide à la conception. Le Raisonnement Qualitatif permet aux concepteurs d'analyser les modèles quand la connaissance est incomplète. L'approche de la Simulation Qualitative est proposée. L'adéquation de celle-ci est illustrée par d'une part, la représentation de connaissances incomplètes en termes de contraintes qualitatives, et d'autre part, sa capacité de saisir les comportements qualitatifs possibles des modèles. Un ensemble de logiciels est développé et leur efficacité démontrée sur des cas simples. intelligence artificielle ingénierie réseau de contraintes propagation de contraintes algorithme de filtrage physique qualitative raisonnement qualitatif simulation qualitative conception assistée par ordinateur CAO algorithme filtrage contrainte représentation connaissances modélisation moteur inférence logiciel modèle mathématique identification raisonnement mathématique

Search results

Coopération et évaluation cognitive d'agents artificiels pour la supervision

La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie