Download or read book Analyse automatique du langage naturel et programmation en logique written by P. Saint Dizier and published by . This book was released on 1985 with total page 37 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book MODELISATION DE MECANISMES DE FILTRAGE PAR ARBRES ET PAR TRAITS DANS LES GRAMMAIRES LOGIQUES POUR L ANALYSE AUTOMATIQUE DU LANGAGE NATUREL written by Pascale Sébillot and published by . This book was released on 1989 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: ETUDE DU TRANSFERT DE PRINCIPES ET RESULTATS DE THEORIES LINGUISTIQUES A L'ANALYSE AUTOMATIQUE DU LANGAGE NATUREL AFIN D'OBTENIR DES FORMALISMES CLAIRS ET EFFICACES DE COMPREHENSION D'ENONCES ECRITS. LA LOGIQUE ET LA PROGRAMMATION LOGIQUE SONT CHOISIES POUR VEHICULES FORMEL ET OPERATOIRE DE CETTE ADAPTATION LINGUISTIQUE-INFORMATIQUE

Download or read book Prolog pour l analyse automatique du langage naturel written by Annie Gal and published by . This book was released on 1989 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Implementation of Prolog written by Patrice Boizumault and published by Princeton University Press. This book was released on 2014-07-14 with total page 313 pages. Available in PDF, EPUB and Kindle. Book excerpt: A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog system. Boizumault introduces the specific problems posed by the implementation of Prolog, studies and compares different solutions--notably those of the schools of Marseilles and Edinburgh--and concludes with three examples of implementation. Major points of interest include identifying the important differences in implementing unification and resolution; presenting three features of Prolog II--infinite trees, dif, and freeze--that introduce constraints; thoroughly describing Warren's Abstract Machine (WAM); and detailing a Lisp imple-mentation of Prolog. Originally published in 1993. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Download or read book Compr hension automatique du langage naturel written by Jacques-Henri Jayez and published by Elsevier Masson. This book was released on 1982 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Edition XII Guide written by Edition XII and published by . This book was released on 1995 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Over 500 profiles of Postgraduate Science, Health, Computer Sciences and Engineering courses. A comprehensive reference section, with details of over 10 000 Postgraduate Science and Engineering courses. There is also practical editorial giving useful and essential advice and information"--Back cover.

Download or read book Logique et analyse written by and published by . This book was released on 1987 with total page 1042 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Des sp cifications en langage naturel aux sp cifications formelles via une ontologie comme mod le pivot written by Driss Sadoun and published by . This book was released on 2014 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le développement d'un système a pour objectif de répondre à des exigences. Aussi, le succès de sa réalisation repose en grande partie sur la phase de spécification des exigences qui a pour vocation de décrire de manière précise et non ambiguë toutes les caractéristiques du système à développer.Les spécifications d'exigences sont le résultat d'une analyse des besoins faisant intervenir différentes parties. Elles sont généralement rédigées en langage naturel (LN) pour une plus large compréhension, ce qui peut mener à diverses interprétations, car les textes en LN peuvent contenir des ambiguïtés sémantiques ou des informations implicites. Il n'est donc pas aisé de spécifier un ensemble complet et cohérent d'exigences. D'où la nécessité d'une vérification formelle des spécifications résultats.Les spécifications LN ne sont pas considérées comme formelles et ne permettent pas l'application directe de méthodes vérification formelles.Ce constat mène à la nécessité de transformer les spécifications LN en spécifications formelles.C'est dans ce contexte que s'inscrit cette thèse.La difficulté principale d'une telle transformation réside dans l'ampleur du fossé entre spécifications LN et spécifications formelles.L'objectif de mon travail de thèse est de proposer une approche permettant de vérifier automatiquement des spécifications d'exigences utilisateur, écrites en langage naturel et décrivant le comportement d'un système.Pour cela, nous avons exploré les possibilités offertes par un modèle de représentation fondé sur un formalisme logique.Nos contributions portent essentiellement sur trois propositions :1) une ontologie en OWL-DL fondée sur les logiques de description, comme modèle de représentation pivot permettant de faire le lien entre spécifications en langage naturel et spécifications formelles; 2) une approche d'instanciation du modèle de représentation pivot, fondée sur une analyse dirigée par la sémantique de l'ontologie, permettant de passer automatiquement des spécifications en langage naturel à leur représentation conceptuelle; et 3) une approche exploitant le formalisme logique de l'ontologie, pour permettre un passage automatique du modèle de représentation pivot vers un langage de spécifications formelles nommé Maude.

Download or read book Le traitement automatique des Langues written by Pirmin Lemberger and published by Dunod. This book was released on 2020-02-05 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le traitement automatique du langage est une branche importante de l'intelligence artificielle et du machine learning dont l'objectif est de parvenir à "comprendre" et analyser des textes afin d'en extraire des connaissances sans intervention humaine. Les champs d'application sont à la fois très variés et très vastes (traduction instantanée en plusieurs langues, commandes vocales, agents conversationnels, analyse de CV, veille économique...). Cet ouvrage dresse un état de l'art de cette discipline, en explique les bases théoriques et informatiques, les approches linguistiques classiques et les approches statistiques plus modernes. L'exemple de l'analyse des suggestions rassemblées lors du Grand débat national à l'aide de ces méthodes d'IA sert d'illustration.

Download or read book Apprentissage analyse automatique du langage application la documentation written by Alexandre Andreewsky and published by . This book was released on 1973 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Machine langage et dialogue written by Gérard Sabah and published by Editions L'Harmattan. This book was released on 1997 with total page 354 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le but de cet ouvrage est de faire le point sur la communication homme-machine, en se plaçant dans le champ pluridisciplinaire des sciences cognitives, et en insistant plus particulièrement sur les rôles respectifs de l'informatique et de la psychologie cognitive. Les problèmes de fond posés par l'utilisation de la langue par un humain qui communique avec une machine sont mis en lumière, et les auteurs ont donné une nette priorité aux aspects de communication par rapport aux approches théoriques de la linguistique.

Download or read book Computational Intelligence written by and published by . This book was released on 1985 with total page 422 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Traitement automatique du langage naturel avec Python written by Benoît Prieur and published by . This book was released on 2024-05-17 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Un syst me de programmation logique pour la cr ation d interfaces homme machine en langue naturelle written by François de Bertrand de Beuvron and published by . This book was released on 1992 with total page 293 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le but de cette thèse est de définir des structures de données et des algorithmes permettant d'analyser des phases pour la création d'interfaces homme-machine en langue naturelle. Dans cette perspective, deux axes de recherche complémentaires ont été explorés : de nombreuses théories linguistiques récentes utilisent des structures de traits pour représenter l'information grammaticale. Un module de programmation logique étendu à des structures de traits typées a été implanté pour mener une analyse syntaxique conformément à ces grammaires. Le modèle pratique de l'implantation inclut une base de données orientée objet fortement couplée au moteur d'inférence, pour conserver de manière cohérente les informations lexicales et syntaxiques. L'interactivité de l'interface homme-machine nécessite une analyse des phrases tolérante aux erreurs de l'utilisateur. Une structuration originale du lexique, et une stratégie d'inférence particulière pour l'analyse syntaxique ont été développées dans ce but.

Download or read book Problem Of The Unity Of Science The Proceedings Of The Annual Meeting Of The International Academy Of The Philosophy Of Science written by Evandro Agazzi and published by World Scientific. This book was released on 2001-11-28 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt: The unity of science has been a widely discussed issue both in the philosophy of science and within several sciences. Reductionism has often been seen as the means of bringing the different sciences to a fundamental unity by reference to some basic science, but it shows many limitations. Multidisciplinarity and interdisciplinarity have also been proposed as methodologies for attaining unity without underestimating the diversity of the sciences.This volume starts with a clarification of the possible meanings of this unity and then discusses the features of the mentioned approaches to unity, evaluating the success and the shortcomings of the unification programme among different sciences and within a single science.

Download or read book Th orie du gourvernement et du liage et programmation logique avec contraintes written by Nabil Hathout and published by . This book was released on 1992 with total page 411 pages. Available in PDF, EPUB and Kindle. Book excerpt: LE TRAVAIL PRESENTE DANS CETTE THESE S'INSCRIT DANS LE CADRE DE L'ANALYSE AUTOMATIQUE, BASEE SUR LA THEORIE DU GOUVERNEMENT ET DU LIAGE, DES LANGUES NATURELLES. LA THEORIE DU GOUVERNEMENT ET DU LIAGE (ABREGE GB) STIPULE QUE LA GRAMMAIRE EST COMPOSEE D'UN PETIT NOMBRE DE CONTRAINTES SYNTAXIQUES OU PRINCIPES AUXQUELS SONT ASSOCIES UN ENSEMBLE DE QUELQUES PARAMETRES. L'UN DES OBJECTIFS DE CETTE THESE EST DE PROPOSER UNE IMPLEMENTATION DE CERTAINS DE CES PRINCIPES SOUS LA FORME DE CONTRAINTES ANALOGUES A CELLES UTILISEES EN PROGRAMMATION LOGIQUE AVEC CONTRAINTES. UNE PARTIE IMPORTANTE DE CE MEMOIRE EST CONSACREE A LA DESCRIPTION EN LOGIQUE DU PREMIER ORDRE DES NOTIONS, DES RELATIONS ET DES PRINCIPES UTILISES POUR ANALYSER, DANS LE CADRE DE LA THEORIE GB, LES PHRASES D'UN FRAGMENT DU FRANCAIS. UNE ARCHITECTURE MODULAIRE D'UN ANALYSEUR SYNTAXIQUE EST ENSUITE PROPOSEE. CETTE ARCHITECTURE COMPREND UN MODULE DE PROJECTION ET UN MODULE D'INTEGRATION QUI TOUS DEUX UTILISENT UN RESOLVEUR POUR TRAITER LES CONTRAINTES A L'AIDE DESQUELLES SONT FORMULES LES PRINCIPES DE GB; CES CONTRAINTES SONT LES RELATIONS DE BASE DE GB COMME DOMINE, C-COMMANDE, L-MARQUE, CATEGORIE BLOQUANTE, ETC. LE RESOLVEUR DE CONTRAINTES TRAITE LES RELATIONS DE BASE DE GB A L'AIDE DES TECHNIQUES DE CONSISTANCE. IL EST EGALEMENT BASE SUR UNE NOTION DE RESTRICTION DES DOMAINES DE QUANTIFICATION DES VARIABLES QUI APPARAISSENT DANS LES CONTRAINTES. LA MISE EN UVRE DE CES RESTRICTIONS DES QUANTIFICATIONS EST EFFECTUEE PAR UN MODULE DE CALCUL DES DOMAINES ET DES COMPLETUDES QUI REMPLIT EGALEMENT, PAR RAPPORT AU RESOLVEUR DE CONTRAINTES, UNE FONCTION DE MECANISME DE GEL SPECIALISE. UNE IMPLEMENTATION DES MODULES DE PROJECTION ET D'INTEGRATION DE MEME QUE DES COMPOSANTS ESSENTIELS DU RESOLVEUR (RESOLVEUR AUXILIAIRE, MODULE DE CALCUL DES DOMAINES ET DES COMPLETUDES, MODULE DE FILTRAGE) A ETE REALISEE EN SICSTUS PROLOG

Download or read book 2 i a Mezhdunarodnai a Konferent s ii a Po Kvantitativno Lingvistike written by and published by . This book was released on 1994 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: