Raisonner et filtrer avec un choix probabiliste partiellement connu

La Programmation Concurrente par Contraintes Probabilistes (PCCP) étend la Programmation Concur- rente par Contraintes (CCP) par l'ajout d'un opérateur de choix probabiliste. Cet opérateur permet d'introduire de l'aléa dans l'exécution d'un processus de CCP. Dans cet article, les fonctionnalités de cet opérateur sont éten- dues afin de raisonner avec un choix probabiliste partiel- lement connu. Pour cela, nous définissons l'opérateur de choix probabiliste comme un nouveau combinateur de contraintes et lui associons un algorithme de filtrage. Cet algorithme de filtrage permet, la plupart du temps, d'accélérer la propagation de contraintes. L'implanta- tion sous la forme d'une nouvelle librairie d'opérateurs de choix probabilistes pour SICStus Prolog ainsi qu'une validation expérimentale est présentée

Raisonner et filtrer avec un choix probabiliste partiellement connu

La Programmation Concurrente par Contraintes Probabilistes (PCCP) étend la Programmation Concur- rente par Contraintes (CCP) par l'ajout d'un opérateur de choix probabiliste. Cet opérateur permet d'introduire de l'aléa dans l'exécution d'un processus de CCP. Dans cet article, les fonctionnalités de cet opérateur sont éten- dues afin de raisonner avec un choix probabiliste partiel- lement connu. Pour cela, nous définissons l'opérateur de choix probabiliste comme un nouveau combinateur de contraintes et lui associons un algorithme de filtrage. Cet algorithme de filtrage permet, la plupart du temps, d'accélérer la propagation de contraintes. L'implanta- tion sous la forme d'une nouvelle librairie d'opérateurs de choix probabilistes pour SICStus Prolog ainsi qu'une validation expérimentale est présentée

Étude et implémentation d'un modèle de conscience d'agent

La thèse essaie de montrer comment il est possible d'offrir une implémentation fonctionnelle d'un agent doté d'une conscience (psychologique). Une première étape étudie les différentes approches, définitions et théories de la conscience proposées par la littérature. Cette étude dégage plus particulièrement un modèle psychologique qui offre une modélisation des fonctionnalités de la conscience, de ses éléments constitutifs et des relations entre ces éléments. Cet effort de formalisation permet d'identifier les corrélations computionnelles du modèle ouvrant ainsi la voie à une implémentation fonctionnelle de la conscience. Une seconde étape réuni les outils et méthodes informatiques existants en vue de procéder à une telle implémentation. En particulier, celle-ci repose sur un modèle de communication permettant d'élaborer une machine virtuelle basée sur des processus concurrents synchronisés. La troisième étape consiste à implémenter les corrélations computationnelles dont l'une est une fonction de délibération qui, après une analyse itérative de son état et de son environnement (machine à état), aboutit à la sélection d'une action. Une deuxième fonction est la formation de contextes, autrement dit l'apprentissage d'automatismes, consistant à compiler la délibération. Cette compilation s'opère grâce à un processus concurrent reflétant le processus de délibération, dotant ainsi l'agent de la capacité d'observer son propre fonctionnement. La thèse se conclut en proposant quelques axes de recherches et d'applications futures susceptibles de prolonger le travail

L'utilisation concurrente de différentes méthodes de recueil de données pour l'étude de l'activité de programmation

Version anglaise de ce texte : Visser, W., & Morais, A. Concurrent use of different expertise elicitation methods applied to the study of the programming activity. In M. J. Tauber & D. Ackermann (Eds.), Mental models and human-computer interaction 2. Amsterdam: Elsevier, 1991. Disponible en tant que INRIA Research report No. n° 0939 (1988)International audienceDiscusses and advocates the concurrent use of several knowledge acquisition me-thods for eli-citing different types of expertise. Illustrations in the do-main of programming are pre-sented. Interviews are of particular use in the first stage of a domain study, providing general informa-tion on the organisation of the activity and topics to be investigated with other techniques. Analyzing the result of the activity, know-ledge the expert possesses may be identified, but the way it is used remains hy-pothetical. Data on this knowledge use may be gathered observing the expert in real time during his daily activity, but, as this method is very expensive, it can only be applied to a few ex-perts, and thus requires, in general, independent validation of its results. Observation in a controlled situation may cover many subjects, but on a limited number of factors and, generally, in a rather limited context. Using these methods concurrently however cancels out the disadvantages of a particular method and makes it possible to benefit from the advantages of them all.L'utilisation concurrente de différentes méthodes de recueil de données est pro-posée, chacune étant appropriée pour recueillir un type particulier de données. L'exposé de son application au recueil de connaissances en programmation sert d'illustration. Dans une première étape d'étude d'un domaine nouveau, des entretiens permettent d'obtenir des informations générales sur l'organisation de l'activité et des thèmes d'étude à appro-fondir à l'aide d'autres méthodes. L'analyse du produit de l'activité permet une étude détaillée des connaissances que pos-sède l'opérateur, mais ne fournit que des hypothèses sur la façon dont il les utilise. L'observation en temps réel en situation de travail donne accès à cette utilisation des connaissances, mais -pour des raisons de coût, ne permettant pas l'étude de beaucoup d'opérateurs- nécessite, en général, une validation indépen-dante des résultats. L'observation en situation contrôlée permet d'étudier beaucoup de sujets, mais sur un nombre de facteurs restreint et, en général, dans un contexte plutôt limité. L'utilisation concurrente de ces méthodes permet alors de neutraliser les inconvénients de cha-cune prise individuelle-ment, tout en tirant profit des avantages de chacune

Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal