Une méthodologie automatisée de la logique juridique

Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique. Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-A. Celui-ci a été réalisé sur ordinateur Macintosh et utilise le langage de programmation PROLOG.Law is a subject matter that lends itself well to data processing. Indeed, it is a discipline in which we can identify the two distinctive and complementary aspects of one reality : the ethical and the logical aspects. In this study, as the ethical question has been settled beforehand, the author delves into the logical aspect of law. To do so, he uses formal logic so as to reduce to logical rules the data related to the refunding of improvements made to a third party's building. The final result is one of artificial intelligence with the realization of an expert system bearing the name LEX-A. It was developed on a Macintosh computer and uses the PROLOG programming language

INDEXATION AUTOMATIQUE ET RECHERCHE D'INFORMATION DANS LES DOCUMENTS DOCUMENTS

Les applications du Traitement automatique des Langues naturelles (TAL) sont multiples. Parmi les principales, ayant donné lieu à des développements plus ou moins avancés, on trouve principalement l'indexation et la traduction automatiques. l'indexation automatique consiste, comme l'indexation manuelle, à identifier et à sélectionner dans le document des éléments informatifs qui, une fois isolés et stockés dans une base de données, permettront à l'utilisateur de décrire le contenu du document concerné et de retrouver ultérieurement les informations pertinentes à une question donnée. L'objectif de cet article consiste donc dans la présentation et la description globale des approches et des méthodes d'analyse, en vue des applications à l'indexation automatique pour la reconnaissance de contenu du texte. Dans les lignes qui suivent, nous allons d’abord présenter très brièvement un aperçu général de l'indexation automatique et de certaines méthodes de recherches dans ce domaine. Puis nous essayerons de donner quelques solutions informatiques pour la conception d’un analyseur MS (MS), qui permettrait la reconnaissance automatique des syntagmes nominaux (SN) en Français. Les SN sont en fait considérés comme des éléments parmi les plus informatifs dans le contexte d’une recherche documentaire

Potentiel et application des systèmes experts pour le transport urbain collectif

Applications potentielles des S.E. : Généralités -- Évaluation du potentiel d'application des S.E. en transport -- Quelques applications potentielles des S.E. en transport -- Les S.E. de renseignement -- Les S.E. d'aide à l'analyse et l'interprétation -- Les S.E. de design -- Les S.E. d'aide au diagnostic -- Les S.E. d'identification -- Les S.E. de contrôle et de surveillance -- Les S.E. de support des politiques -- Quelques applications de S.E. en transport -- La circulation -- Considérations d'environnement et de sécurité -- Design des réseaux -- Entretien des infrastructures -- S.E. de renseignement pour le T.U.C. -- Construction du S.E. -- Évaluation du protorype de S.E. -- Synthèse -- Évolution de l'approche S.E

Une approche propédagogique du diagnostic cognitif dans les STI : conception, formalisation et implémentation

Dans un STI, la question de la conception et de l'implémentation du diagnostic cognitif (DC) du comportement de l'apprenant est abordée de manière intuitive et au "cas par cas", selon les objectifs spécifiques de ce STI. D'un point de vue purement opérationnel, cette approche n'est pas vraiment néfaste puisque les STI qui en résultent "fonctionnent". Cependant lorsqu' il s'agit de rendre au DC dans un STI, la dimension pédagogique qui lui est naturellement sienne dans le tutorat humain, un regard en perspective sur des considérations plus fondamentales favorise la réflexion dans ce sens. Cette thèse formule, formalise et implémente explicitement une dimension «propédagogique» du DC dans les STI. Cette dimension pro-pédagogique s'exprime principalement à travers deux relations qui n'ont jamais été explicitement étudiées et mises en pratique dans la recherche sur le DC dans les STI : la relation entre le DC et les paradigmes de cognition; la relation entre le DC et son exploitation pédagogique, en l'occurrence la remédiation des difficultés de l'apprenant, ce à travers une boucle diagnostic-remédiation. Outre leur originalité conceptuelle, ces relations sont articulées dans un cadre de spécification pour le DC lorsqu'il s'agit de l'appliquer dans un STI. L'originalité de l'idée d'un tel cadre de référence est qu'il favorise une préservation de la fidélité pédagogique du DC au cours de son implémentation dans un système informatique. Sur le plan informatique, l'originalité de la contribution de cette thèse est qu'elle formalise cette perspective du processus de DC dans un STI, notamment en systématisant la dynamique de la boucle diagnostic-remédiation à travers: (1) un algorithme générique de type « générer et tester», (2) l'intégration à cet algorithme de mécanismes formels de raisonnement incertain par le biais des inférences bayésiennes (pour tenir compte des facteurs d'incertitude reliés au DC dans un STI) et (3) l'implémentation de cet algorithme dans une librairie de programmes génériques et donc réutilisables par tout membre de la communauté AIED désireux d'adopter cette philosophie de diagnostic cognitif dans un STI

Actes du Congrès Collèges célébrations 92

Également disponible en version papierTitre de l'écran-titre (visionné le 2 août 2009)Notes (part. bibliogr.): p.

Mathématiques et programmation analyse des besoins et inventaire de ressources au collégial /

"Ce projet constitue le troisième volet d'une recherche portant sur les applications de l'ordinateur dans l'enseignement et l'apprentissage des mathématiques au collégial"Également disponible en version papierTitre de l'écran-titre (visionné le 5 déc. 2009)Bibliogr

Modélisation d'un outil d'acquisition de connaissances destiné à l'enseignant

Ce mémoire de maîtrise s'inscrit dans le domaine de l'ingénierie de connaissances et plus précisément dans une tâche de construction de contenu pédagogique pour un système éducationnel. Jusqu'ici, divers outils de présentation, d'échange et de stockage des informations ont été développés pour favoriser l'apprentissage de l'étudiant dans les systèmes éducationnels. Cependant, à notre connaissance, peu d'outils visent à minimiser l'effort de l'enseignant dans la construction de contenu pédagogique. L'objectif de notre projet est d'approfondir la notion d'acquisition des connaissances pour aider l'enseignant à construire les connaissances associées à un système éducationnel. Ce projet s'insère dans le cadre de la conception d'un système informatique, disponible en ligne, pour l'apprentissage humain à partir d'exemples. Un agent d'acquisition est proposé pour entrer des exemples et générer automatiquement des documents électroniques représentant ces exemples. Cet agent a été développé et permet de créer des patrons représentant la structure d'un exemple donné. Une interface d'acquisition est générée à partir d'un patron pour permettre la saisie des données qui vont servir à générer l'exemple. Cet exemple sera stocké dans un fichier XML, puis présenté à l'apprenant par le système éducationnel. La technologie XML se prête bien à ces tâches de gestion des connaissances, car elle permet d'inclure une logique de traitement des informations et d'automatiser les traitements, et ce de façon indépendante de la plate-forme utilisée. L'enseignant dispose ainsi d'un outil lui permettant d'ajouter des exemples d'exercices résolus d'une manière plus conviviale et plus flexible, peu importe le contenu de l'exemple