Cette thèse se situe à l’intersection des domaines de la recherche en linguistique et du traitement automatique de la langue. Ces deux domaines se croisent pour la construction d’outils de traitement de texte, et des applications industrielles intégrant des solutions de désambiguïsation et d’interprétation de la langue.Une tâche difficile et très peu abordée et appliqué est arrivée sur les travaux de l’entreprise Techlimed, celle de l’analyse automatique des textes écrits en arabe. De nouvelles ressources sont apparues comme les lexiques de langues et les réseaux sémantiques permettant à la création de grammaires formelles d’accomplir cette tâche.Une métadonnée importante pour l’analyse de texte est de savoir « qu’est-ce qui est dit, et que signifie-t-il ? ». Le domaine de linguistique computationnelle propose des méthodes très diverses et souvent partielle pour permettre à l’ordinateur de répondre à de telles questions.L’introduction et l’application des règles de grammaire descriptives de langues dans les langages formels spécifiques au traitement de langues par ordinateur est l’objet principal de cette thèse.Au-delà de la réalisation d’un système de traitement et d’interprétation de textes en langue arabe, basé aussi sur la modélisation informatique, notre intérêt s’est porté sur l’évaluation des phénomènes linguistiques relevés par la littérature et les méthodes de leur formalisation en informatique.Dans tous les cas, nos travaux de recherche ont été testés et validés dans un cadre expérimental rigoureux autour de plusieurs formalismes et outils informatiques.Nos expérimentations concernant l'apport de la grammaire syntaxico-sémantique, a priori, ont montré une réduction importante de l’ambiguïté linguistique dans le cas de l'utilisation d’une grammaire à état fini écrite en Java et une grammaire générativetransformationnelle écrite en Prolog, intégrant des composants morphologiques, syntaxiques et sémantiques.La mise en place de notre étude a requis la construction d’outils de traitement de texte et d’outils de recherche d’information. Ces outils ont été construits par nos soins et sont disponible en Open-source.La réussite de l’application de nos travaux à grande échelle s’est conclue par la condition d’avoir de ressources sémantiques riches et exhaustives. Nous travaux ont été redirigés vers une démarche de production de telles ressources, en termes de recherche d’informations et d’extraction de connaissances. Les tests menés pour cette nouvelle perspective ont étéfavorables à d’avantage de recherche et d’expérimentation. / This thesis lies at the frontier of the fields of linguistic research and the automatic processing of language. These two fields intersect for the construction of natural language processing tools, and industrial applications integrating solutions for disambiguation and interpretation of texts.A challenging task, briefly approached and applied, has come to the work of the Techlimed company, that of the automatic analysis of texts written in Arabic. Novel resources have emerged as language lexicons and semantic networks allowing the creation of formal grammars to accomplish this task.An important meta-data for text analysis is "what is being said, and what does it mean". The field of computational linguistics offers very diverse and, mostly, partial methods to allow the computer to answer such questions.The main purpose of this thesis is to introduce and apply the rules of descriptive language grammar in formal languages specific to computer language processing.Beyond the realization of a system of processing and interpretation of texts in Arabic language based on computer modeling, our interest has been devoted to the evaluation of the linguistic phenomena described by the literature and the methods of their formalization in computer science.In all cases, our research was tested and validated in a rigorous experimental framework around several formalisms and computer tools.The experiments concerning the contribution of syntaxico-semantic grammar, a priori, have demonstrated a significant reduction of linguistic ambiguity in the case of the use of a finite-state grammar written in Java and a transformational generative grammarwritten in Prolog, integrating morphological, syntactic and semantic components.The implementation of our study required the construction of tools for word processing, information retrieval tools. These tools were built by us and are available in Open-source.The success of the application of our work in large scale was concluded by the requirement of having rich and comprehensive semantic resources. Our work has been redirected towards a process of production of such resources, in terms of informationretrieval and knowledge extraction. The tests for this new perspective were favorable to further research and experimentation.

Call number: LD2668 .T4 1985 W94 / Master of Science

Natural language understanding has been a persistent challenge to researchers in various computer science fields, in a number of applications ranging from user support systems to entertainment and online teaching. A long term goal of the Artificial Intelligence field is to implement mechanisms that enable computers to emulate human dialogue. The recently developed ALICEbots, virtual agents with underlying AIML scripts, by A.L.I.C.E. foundation, use AIML scripts - a subset of XML - as the underlying pattern database for question answering. Their goal is to enable pattern-based, stimulus-response knowledge content to be served, received and processed over the Web, or offline, in the manner similar to HTML and XML. In this thesis, we describe a system that converts the AIML scripts to Prolog clauses and reuses them as part of a knowledge processor. The inference mechanism developed in this thesis is able to successfully match the input pattern with our clauses database even if words are missing. We also emulate the pattern deduction algorithm of the original logic deduction mechanism. Our rules, compatible with Semantic Web standards, bring structure to the meaningful content of Web pages and support interactive content retrieval using natural language.

Made available in DSpace on 2016-04-29T14:22:51Z (GMT). No. of bitstreams: 1 Reinaldo Augusto de Oliveira Ramos.pdf: 2077084 bytes, checksum: 37060ab0d0c88fe2c2aa4098bf809ea7 (MD5) Previous issue date: 2011-04-08 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / This paper introduces the possibilities of using informatized interactive systems in effectively teaching computer logics and the development of logic thinking and its implications. It is about experiment and analysis accomplished in educational institutions in the city of São Paulo, having the directive to observate the given hypothesis: games and their developing tools can work as methodological resources to the teaching-learning process in the development of the conception of logic programming as used with intentionality. To progress in educating students on logic programming and in mathematical abstraction, it is proposed the development of electronic games through singular tools level editors, simplified scripts and visual programming environments. These help develop propositions, digital productions, animations, sounds and other interactive resources with the objective of working and problematizing in practical environments and of arranging facts and simulated experiments to understand logics. Using development indicators in the evolution processes of students, individual cases were studied, in which it was observed the way the teaching-learning process works, from propositions faced during the game production. Through the discussion, it was analysed the importance of different kinds of tools used to teach and learn the programming logic contents. Therefore, this study is based on theoretical references provided by Jean Piaget s constructivism Lev Semenovitch Vygostky s social-historical approach and Seymour Papert s and José Armando Valente s constructionism. We seek in these methodologies, in special Vygotsky s Proximal Development Zone theory, the key to the pedagogic base of the methodology here proposed. Coming to the conclusion, this present work confirms the hypothesis that games and their development tools can be na adequate instrument for studentes to understand programming logics. It also has a bibliographic revision on interactive media, culture and also education and information science / Este trabalho apresenta as possibilidades de uso de sistemas informatizados interativos para o aproveitamento no ensino da lógica computacional e na construção do raciocínio lógico e suas implicações. Trata-se de experimentos e análises realizadas em instituições de ensino da cidade de São Paulo e experiências em sala de aula com o objetivo de verificar a hipótese de que o jogo e suas ferramentas de desenvolvimento são recursos metodológicos de ensino e aprendizagem para a construção da noção de lógica de programação, ao ser utilizado com intencionalidade. Para desenvolver o ensino de lógica de programação propõe-se o desenvolvimento de jogos eletrônicos através de ferramentas especializadas - editores de fase, scripts simplificados e ambientes de programação visual. Elas auxiliam a resolver problemas, desenvolver produções digitais, animações, sons e demais recursos interativos que objetivam problematizar sobre o aprendizado de lógica e de abstração matemática em ambientes práticos, com experiências de simulação e o entendimento de conceitos para a elaboração do raciocínio lógico. Com base em indicadores de evolução dos processos de desenvolvimento dos alunos estudaram-se casos nos quais se observou o desenrolar do processo de ensino e da aprendizagem a partir dos problemas enfrentados durante a produção dos jogos. Nesta reflexão, analisou-se a importância dos tipos de ferramentas utilizadas para o ensino e a aprendizagem dos conteúdos propostos em lógica de programação. Para tanto, as nossas referências teóricas foram o construtivismo de Jean Piaget, a abordagem sócio-histórica de Lev Semenovitch Vygotsky e o construcionismo de Seymour Papert e de José Armando Valente. Buscamos nestas metodologias e, em especial na teoria da Zona de Desenvolvimento Proximal de Vygotsky a chave para a fundamentação pedagógica de nossa reflexão. Em conclusão, o presente trabalho corrobora a hipótese de que os jogos e suas ferramentas de desenvolvimento podem servir de instrumento para a compreensão de lógica de programação. Este trabalho conta com uma revisão bibliográfica sobre mídias interativas, sua cultura e também educação e informática

Dans le cadre du projet OPALE, ayant pour objectif la conception d'une machine base de connaissance PROLOG, on spécifie un opérateur devant réaliser l'unification au vol sur un flux de données issu d'une unité de disque. Pour améliorer les performances de l'interprétation de PROLOG dans un contexte base de connaissances, cet opérateur doit unifier non pas un mais un ensemble de buts ce, en accord avec la stratégie de recherche élaborée. On propose de décomposer l'unification en une étape de préunification suivie d'une étape d'association. Les algorithmes sont alors validés et intégrés en une maquette logicielle. Nous abordons l'aspect matériel en proposant une méthodologie de conception s'appuyant sur des notions développées dans la programmation orientée objet. Puis nous amorçons la réalisation du «circuit» à l'aide d'un compilateur de silicium

Présentation de deux expériences d'utilisation du langage Prolog comme langage de spécification et comme langage de réalisation, dans un contexte de production de logiciels pour l'enseignement. Conception et réalisation d'un environnement de production de logiciels pour l'enseignement de la programmation : le système Tangram

L'un des enjeux les plus importants à l'heure actuelle pour l'utilisation efficace d'une architecture parallèle est le développement de techniques de régulation de charge appropriées. La mise en oeuvre d'un système logique parallèle efficace se heurte également à cette même exigence. Cette thèse est consacrée à l'étude des mécanismes et stratégies d'évaluation parallèles pour la conception et la réalisation de l'environnement de programmation Prolog parallèle PLoSys. PLoSys se place dans la catégorie des systèmes logiques adoptant un modèle d'exécution multi-séquentiel. Ce modèle exploite automatiquement le parallélisme OU inhérent à la sémantique des programmes Prolog "pur" sur des architectures sans mémoire commune. Dans cette classe de systèmes, la parallélisation est guidée dynamiquement par la stratégie de régulation adoptée en fonction des ressources de calcul disponibles. Afin d'élaborer une fonction de régulation de charge appropriée, nous avons choisi l'utilisation d'une technique de modélisation dans le but d'émuler le comportement réel du système sur une architecture parallèle existante. Notre approche repose sur la représentation de l'exécution d'un programme PROLOG par un graphe de tâches acyclique. L'exécution de ce graphe de tâches permet l'émulation de l'évaluation du programme PROLOG sur l'architecture ciblée. Nous analysons les principaux problèmes liés à la conception d'une fonction de régulation de charge efficace, pour le système PLoSys, à travers un environnement d'évaluation implanté sur un réseau de Transputers : le MegaNode. Les principaux résultats d'analyse des différentes stratégies de régulation de charge sont présentés et évalués.

Les contributions théoriques de ce travail comportent : 1) la définition d'une représentation exacte et normale des nombres constructibles (expressions arithmétiques avec racines carrées imbriquées), 2) un algorithme pour tester l'égalité, la différence et l'inégalité entre ces nombres et 3) une méthode pour la vérification de contraintes redondantes vis a vis d'un systême de contraintes quadratiques. L'ensemble de ce travail est intégré dans un environnement CLP(géométrie) reprenant l'approche de la programmation logique avec contraintes. La principale contribution expérimentale porte sur un ensemble de 512 théorèmes de géométrie proposés par Chou. Elle consiste en la réduction du nombre d'extensions quadratiques nécessaires pour représenter ces situations géométriques grâce à un choix soigneux des constructions employées. Cette réduction s'accompagne du résultat suivant : la grande majorité des 512 théorèmes proposés par Chou peuvent être prise en compte de manière exacte avec un surcoût limité, en pratique les nombres rationnels sont suffisants. Le lien étroit de ce travail avec les préoccupations liées à la réalisation de tuteurs homme-machine font de cette approche un outils intéressant pour l'enseignement de la géométrie. Trois applications sont données dans ce domaine. La principale concerne une approche déclarative pour la définition et la manipulation de figures géométriques.

Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu d'un langage de construction et d'animation dont la sémantique est définie à l'aide de ELDL. l'interface, qui peut être vu comme une extension déclarative de celle de Cabri-Géomètre, doit assurer, d'une façon originale, d'une part des fonctionnalités équivalentes par manipulation directe sur la figure et sur le dessin, d'autre part un invariant imposant la cohérence temporelle entre figure et dessin. D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes". Trois résolveurs généraux (linéaires, quadratiques, intervalle) coopèrent avec trois résolveurs spécifiques et originaux : complétion d'objets (créant automatiquement des objets), complétion de propriétés (ajoutant automatiquement des propriétés redondantes à la figure), règle et compas (calculant une construction optimisée de la figure pour l'animation du dessin). D'un point de vue pratique, GDRev est réalisé par interopérabilité entre les interfaces écrites en Visual C++ et le résolveur de contraintes géométriques écrit en Prolog IV. Les expérimentations réalisées ont donné des résultats encourageants en particulier en ce qui concerne le choix des heuristiques utilisées.

A wide range of additional forward chaining applications could be realized with deductive databases, if their rule formalism, their immediate consequence operator, and their fixpoint iteration process would be more flexible. Deductive databases normally represent knowledge using stratified Datalog programs with default negation. But many practical applications of forward chaining require an extensible set of user–defined built–in predicates. Moreover, they often need function symbols for building complex data structures, and the stratified fixpoint iteration has to be extended by aggregation operations. We present an new language Datalog*, which extends Datalog by stratified meta–predicates (including default negation), function symbols, and user–defined built–in predicates, which are implemented and evaluated top–down in Prolog. All predicates are subject to the same backtracking mechanism. The bottom–up fixpoint iteration can aggregate the derived facts after each iteration based on user–defined Prolog predicates.