Approche logique des grammaires pour les langues naturelles PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Approche logique des grammaires pour les langues naturelles PDF full book. Access full book title Approche logique des grammaires pour les langues naturelles by Houda Anoun. Download full books in PDF and EPUB format.
Author: Houda Anoun
Publisher:
ISBN:
Category :
Languages : fr
Pages : 165
Get Book Here
Book Description
Les contributions majeures de cette thèse s'articulent autour des trois axes de base de la linguistique computationnelle, à savoir la logique, la linguistique et l'informatique. Nous proposons ainsi un nouveau système non-directionnel GLE permettant de simuler les opérations transformationnelles du Programme Minimaliste dans un cadre logique qui fait appel au raisonnement hypothétique de manière contrôlée. La pertinence de ce formalisme est soulignée en montrant sa capacité de prendre en charge des phénomènes linguistiques complexes, nécessitant un partage contraint de ressources, tels que liliage d'anaphores ou la résolution d'ellipse. En outre, nous présentons un atelier logique ICHARTE destiné à la recherche et l'enseignement de la linguistique computationnelle. Cet outil est composé de bibliothèques pour l'assistant à la démonstration Coq, qui comprennent la formalisation de systèmes logiques avancés dédié au traitement des langues naturelles, dont la logique multimodale.
Author: Houda Anoun
Publisher:
ISBN:
Category :
Languages : fr
Pages : 165
Get Book Here
Book Description
Les contributions majeures de cette thèse s'articulent autour des trois axes de base de la linguistique computationnelle, à savoir la logique, la linguistique et l'informatique. Nous proposons ainsi un nouveau système non-directionnel GLE permettant de simuler les opérations transformationnelles du Programme Minimaliste dans un cadre logique qui fait appel au raisonnement hypothétique de manière contrôlée. La pertinence de ce formalisme est soulignée en montrant sa capacité de prendre en charge des phénomènes linguistiques complexes, nécessitant un partage contraint de ressources, tels que liliage d'anaphores ou la résolution d'ellipse. En outre, nous présentons un atelier logique ICHARTE destiné à la recherche et l'enseignement de la linguistique computationnelle. Cet outil est composé de bibliothèques pour l'assistant à la démonstration Coq, qui comprennent la formalisation de systèmes logiques avancés dédié au traitement des langues naturelles, dont la logique multimodale.
Author: Houda Anoun
Publisher: Univ Europeenne
ISBN: 9786131518317
Category :
Languages : fr
Pages : 188
Get Book Here
Book Description
Author: Alain Lecomte
Publisher: World Scientific
ISBN: 1908978244
Category : Mathematics
Languages : en
Pages : 388
Get Book Here
Book Description
This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's ‘proof as meaning’ approach, which was first based on Martin-Löf's Type Theory.Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax-semantics interface, taking into account the specifications of linguistic signs (continuous or discontinuous) and the fundamental mechanisms developed by linguists and notable Generativists. This pioneering publication also presents ludics (in a chapter co-authored with Myriam Quatrini), a framework which allows us to characterize meaning as an invariant with regard to interaction between processes. It is an excellent book for advanced students, and academics alike, in the field of computational linguistics./a
Author: Laurent Roussarie
Publisher: Language Science Press
ISBN: 3961100179
Category : Montague grammar
Languages : fr
Pages : 498
Get Book Here
Book Description
Depuis près d'un demi-siècle, la sémantique formelle, à l'intersection féconde de la linguistique, la logique et la philosophie, occupe une place de premier plan dans le domaine de la linguistique théorique. Ce manuel, le premier en français de cette ampleur, en propose une présentation à la fois introductive et approfondie. La sémantique formelle est parfois appréhendée avec hésitation (voire redoutée) du fait de sa rigueur mathématique et de l'apparente complexité de son symbolisme ; le présent ouvrage vise à en donner une approche pédagogique, stimulante et dédramatisée. Il est conçu pour offrir un apprentissage et une maîtrise autonomes et progressifs des principaux aspects conceptuels et formels de la théorie, en accordant une attention particulière aux innovations marquantes qui ont structuré le domaine depuis les travaux fondateurs de R. Montague. Il a également pour objectif de proposer, au fil des pages, une introduction à des éléments de méthodologie scientifique afin de donner un aperçu des pratiques d'analyse propres à la sémantique formelle. Les six chapitres, accompagnés de nombreux exercices corrigés, y abordent les notions de base de logique et de sémantique vériconditionnelle, les phénomènes de quantification, la logique intensionnelle appliquée à la temporalité et les modalités, le λ-calcul typé et l'analyse sémantique compositionnelle à l'interface syntaxe-sémantique. Le volume sera complété d'un second qui présentera plusieurs applications et développements qui étendent la portée du formalisme. L'ouvrage s'adresse aux étudiants de licence et master de sciences de langage, mais aussi d'autres disciplines comme, par exemple, la philosophie, la logique, l'informatique, ainsi qu'aux chercheurs désireux de s'initier, se mettre à jour ou se perfectionner dans la discipline.
Author: Erwan Moreau
Publisher:
ISBN:
Category :
Languages : fr
Pages : 236
Get Book Here
Book Description
L'inférence grammaticale désigne le problème qui consiste à découvrir les règles de formation des phrases d'un langage, c'est-à-dire une grammaire de celui-ci. Dans le modèle d'apprentissage de Gold, les exemples fournis sont constitués uniquement des phrases appartenant au langage. L'algorithme doit fournir une grammaire qui représente le langage énuméré. Les grammaires catégorielles sont l'un des nombreux formalismes existants pour représenter des langages. Kanazawa a montré que certaines sous-classes de ces grammaires sont apprenables, mais ses résultats ne sont pas applicables directement aux langues naturelles. Sur le plan théorique, nous proposons de généraliser les résultats de Kanazawa à différents types de grammaires. Les grammaires combinatoires générales sont un modèle flexible permettant de définir des systèmes grammaticaux à base de règles de réécriture. Nous démontrons dans ce cadre que certaines classes de langages sont apprenables. Dans un souci de généralité maximale, nos résultats sont exprimés sous forme de critères sur les règles des systèmes grammaticaux considérés. Ces résultats sont appliqués à plusieurs formalismes relativement adaptés à la représentation des langues naturelles.Nous abordons également le problème de la mise en oeuvre de l'apprentissage sur des données réelles. En effet, les algorithmes existants capables d'apprendre des classes de langages intéressantes sont NP-complets. Afin de contourner cet obstacle, nous proposons un cadre d'apprentissage plus souple, l'apprentissage partiel : le contexte d'utilisation est modifié dans le but d'obtenir une complexité algorithmique plus réaliste. Nous testons cette approche sur des données de taille moyenne, et obtenons des résultats plutôt encourageants.
Author: César Chesneau Du Marsais
Publisher:
ISBN:
Category :
Languages : fr
Pages : 352
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Philology
Languages : en
Pages : 570
Get Book Here
Book Description
Author: Eugenio Coseriu
Publisher:
ISBN:
Category :
Languages : fr
Pages : 18
Get Book Here
Book Description
Author: Shirley Carter-Thomas
Publisher: Cambridge Scholars Publishing
ISBN: 1527543056
Category : Language Arts & Disciplines
Languages : en
Pages : 256
Get Book Here
Book Description
This book is intended as a Festschrift to honour the work of David Banks, Emeritus Professor of the Université de Bretagne Occidentale, France. The founder and former President of the Association Française de Linguistique Systémique Fonctionnelle, David Banks has been extremely active in bringing together linguists from different theoretical backgrounds in the study of both English and French. The volume includes papers in the three main fields in which he has published: namely, scientific writing, language change and systemic functional linguistics (SFL).
Author: Denis Bouchard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 128
Get Book Here
Book Description
