Développement d'un système expert pour le raisonnement logique

Kissok Gassa, Pamella Sorelle (2018). « Développement d'un système expert pour le raisonnement logique » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (9MB)

Résumé

Ce sujet de maîtrise naît dans le cadre d'un projet de recherche sur le fonctionnement du raisonnement logique humain. Il s'agit d'un projet multidisciplinaire mettant à contribution un ensemble de thèses et/ou de pratiques de différentes disciplines, incluant le raisonnement logique, la psychologie du raisonnement et l'informatique cognitive. La raison est ce qui définit et distingue un être humain. Quotidiennement ce dernier est amené à souvent prendre des décisions obtenues suite à un processus cognitif complexe permettant de traiter l'information, le plus souvent basé sur des faits dont il a connaissance à un instant donné. C'est le raisonnement. Le raisonnement étudié en informatique est une garantie de la rationalité et s'intéresser à des systèmes rationnels impliquerait le développement de raisonneurs logiques automatiques fondés essentiellement sur la logique et les théories sous-jacentes au raisonnement logique. Cette recherche vise la reproduction des processus d'inférences logique que fait un être humain au sein d'un système expert pour ainsi arriver à un outil doté de connaissances en logique, capable de produire des inférences logiques valides dans des situations variées, d'expliquer le résultat de ces inférences, de détecter les erreurs de raisonnement d'une tierce personne et de les expliquer au cours de divers exercices soumis. Ce projet vise donc le développement d'un système expert en raisonnement logique appelé MUSE-Expert. MUSE-Expert a été intégré dans un système tutoriel intelligent pour contribuer à l'apprentissage de la logique et du raisonnement logique et pour tester des hypothèses sur le raisonnement humain. Le système tutoriel intelligent qui en est résulté permet de faciliter le développement des compétences logique d'un raisonneur humain novice. Il est évident que la conception d'un système comme MUSE-Expert développé dans le laboratoire du GDAC (Gestion, Diffusion et Acquisition des Connaissances) a nécessité de travailler en totale collaboration avec des experts du domaine en logique et en sciences cognitives afin d'éliciter les connaissances nécessaires. L'équipe du laboratoire LANCI (Laboratoire d'Analyse Cognitive de l'Information) au département de philosophie de l'Université du Québec à Montréal nous a permis d'atteindre cet objectif. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : représentation des connaissances, raisonnement logique, systèmes experts, théorie des modèles mentaux, logique des propositions, systèmes tutoriels intelligents.

Type:	Mémoire accepté
Informations complémentaires:	Le mémoire a été numérisé tel que transmis par l'auteur.
Directeur de thèse:	Nkambou, Roger
Mots-clés ou Sujets:	Représentation des connaissances / Systèmes experts / Raisonnement / Inférence (Logique) / Logique / Systèmes tutoriels intelligents
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	Service des bibliothèques
Date de dépôt:	04 déc. 2018 16:04
Dernière modification:	15 janv. 2019 13:17
Adresse URL :	http://archipel.uqam.ca/id/eprint/11951

Modifier les métadonnées (propriétaire du document)

Statistiques