4,342 research outputs found

    Du Langage Naturel à la Spécification – Application à la Spécification de Services de Télécommunication

    No full text
    International audienceLa rédaction de spécifications techniques, écrites la plupart du temps en langage naturel, est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de développement de systèmes complexes, comme ceux des télécommunications, est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Nous essayerons donc de montrer la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécification. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentation intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z. Puis, dans une deuxième approche, nous exposerons les éléments méthodologiques liés à un processus de conception orientée agent, cette fois semi-formel. Pour illustrer notre présentation et lui conférer une meilleure lisibilité, nous avons choisi un exemple simple de spécification que nous appliquerons à chacune des phases du processus de formalisation

    Vers une théorie connexioniste de la firme.<br />Towards a Connexionist Theory of the Firm. How Knowledge is Treated in Economic Analysis

    No full text
    Cet article fut présenté en 2003 lors d'un séminaire du laboratoire Matisse à la Maison des Sciences Economiques. Par la suite, une version remaniée fut traduite en anglais et publiée dans un numéro spécial du European Journal of Economic and Social Systems.International audienceNous posons ici la question de savoir sur la base de quel modèle épistémique les économistes peuvent aborder le thème de l'information et de la connaissance. Nous opposons, ce qui est banal dans le domaine de sciences cognitives, et ne l'est pas en économie, le paradigme computationniste et le paradigme connexionniste. Le paradigme computationniste s'articule bien avec le courant orthodoxe ainsi qu'avec sa forme amoindrie qui est le paradigme néo-rationaliste Simonien. Par contre, on doit s'interroger sur la façon dont se manifeste le paradigme connexionniste en économie. Nous montrons dans ce papier que la théorie évolutionniste de la firme selon Nelson et Winter constitue en fait, sans que les auteurs semblent l'avoir voulu ou explicité, une bonne illustration de l'approche connexionniste. Nous plaidons pour un programme de recherche exploitant systématiquement le paradigme connexionniste pour l'analyse de l'entreprise

    L'analyse économique des normes : représentation et traitement des interactions dans les modèles de simulation

    Get PDF
    L'ensemble des travaux que l'on regroupe sous la même dénomination d'"analyse économique des normes" sont relativement dispersés. Ce qui fait leur point commun est qu'ils se revendiquent de l'individualisme méthodologique et qu'ils donnent lieu à des modélisations de l'interaction entre les acteurs. La présentation qui en est faite ici vise moins la rédaction d'un "survey" que l'indication des hypothèses principales et des options de recherche choisies. Après avoir précisé les termes d'une convergence de travaux récents vers une analyse économique des normes, on se concentre sur deux grands axes de ces approches : les démarches "analytiques" qui reposent sur des modèles stochastiques, et les simulations multi-agents.analyse économique ; norme ; modèle ; simulation

    Proposition de l'architecture de l'agent gestionnaire du modèle de l'apprenant dans un système tuteur multi-agents en apprentissage de la lecture : contribution au projet AMICAL

    Get PDF
    In this thesis we propose an architecture for a learner model manager agent in a multiagent reading tutor. This agent aims to both build the learner model and answer queries from the other agents of the system about that model. Our problematic was both to find out the best knowledge representation for the learner model in the specific domain of learning to read and to propose mechanisms to build this learner model integrated in the learner model manager agent. To build the learner model, the developed agent has to analyze the recorded interactions between the learner and the system and to put forward hypotheses on the level of knowledge of the learner. Then, the hypotheses are added to the existing learner model. The architecture proposed in this thesis is a multilayer architecture where each layer is itself a multiagent system. The agent is composed of three layers: the communication layer manages communications between the inner agent and the rest of the agents of the system; the analysis layer aims to put forward hypotheses on the level of knowledge of the learner; the model layer provides both the storage and the update of the learner model. Each layer is composed of a particular type of agent: the communication layer is composed of communication agents, the analysis layer is composed of analysis agents and the model layer is composed of knowledge agents.Dans le cadre de l'environnement multi-agents AMICAL, cette thèse se propose d'étudier les problématiques liées à la conception de l'agent gestionnaire du modèle de l'apprenant (AGMA). Par gestion du modèle de l'apprenant, nous entendons à la fois la construction de ce modèle ainsi que la réponse aux interrogations des autres agents de l'environnement concernant le contenu de celui-ci. Nos problématiques sont à la fois de réfléchir à une formalisation du modèle de l'apprenant dans un domaine particulier qu'est l'apprentissage de la lecture ainsi que de proposer des mécanismes de construction de ce modèle intégrés à AGMA. Pour remplir son rôle de modélisation, AGMA va analyser le compte-rendu de la session de travail réalisée avec l'apprenant puis intégrer les nouvelles hypothèses issues de cette analyse au modèle existant. La contribution apportée par nos travaux est de deux ordres. Premièrement, nous proposons une représentation du modèle de l'apprenant sous forme de système multi-agents cognitifs où chaque agent sera en charge d'une partie du modèle. Deuxièmement, nous proposons de voir l'architecture d'AGMA comme un système multi-agents. À partir de l'analyse des différents rôles d'AGMA, nous avons dégagé une architecture modulaire : un module communication responsable de la communication entre les modules d'AGMA et le reste du système, un module analyse en charge de l'analyse des séquences de travail avec l'apprenant et un module modèle en charge de stocker et de maintenir à jour le modèle en intégrant les nouvelles hypothèses issues de l'analyse. Pour accroître la rapidité d'exécution nous avons représenté chaque module comme un système multi-agents

    Mod\'elisation multi-niveaux dans AA4MM

    Get PDF
    In this article, we propose to represent a multi-level phenomenon as a set of interacting models. This perspective makes the levels of representation and their relationships explicit. To deal with coherence, causality and coordination issues between models, we rely on AA4MM, a metamodel dedicated to such a representation. We illustrate our proposal and we show the interest of our approach on a flocking phenomenon

    Vers une théorie connexioniste de la firme.Towards a Connexionist Theory of the Firm. How Knowledge is Treated in Economic Analysis

    Get PDF
    Nous posons ici la question de savoir sur la base de quel modèle épistémique les économistes peuvent aborder le thème de l'information et de la connaissance. Nous opposons, ce qui est banal dans le domaine de sciences cognitives, et ne l'est pas en économie, le paradigme computationniste et le paradigme connexionniste. Le paradigme computationniste s'articule bien avec le courant orthodoxe ainsi qu'avec sa forme amoindrie qui est le paradigme néo-rationaliste Simonien. Par contre, on doit s'interroger sur la façon dont se manifeste le paradigme connexionniste en économie. Nous montrons dans ce papier que la théorie évolutionniste de la firme selon Nelson et Winter constitue en fait, sans que les auteurs semblent l'avoir voulu ou explicité, une bonne illustration de l'approche connexionniste. Nous plaidons pour un programme de recherche exploitant systématiquement le paradigme connexionniste pour l'analyse de l'entreprise.information ; connaissance ; computationnisme ; connexionisme ; Simon ; Nelson ; Winter ; paradigmes ; économie de la connaissance ; évolutionnisme ; théorie de la firme ;

    L'ontologies d'entreprise pour la technologie blockchain

    Get PDF
    L'ontologie d'entreprise établit une distinction claire entre le niveau de données, le niveau d'information et le niveau essentiel des transactions blockchain et des contrats intelligents. La méthodologie OntoClean analyse des ontologies basées sur des propriétés formelles, indépendantes des domaines (méta-propriétés), constituant la première tentative de formalisation des concepts d'analyse ontologique pour des systèmes informatiques. Les notions sont extraites de l'ontologie philosophique. DOI: 10.13140/RG.2.2.12557.4912
    • …
    corecore