Computational Linguistics and Formal Semantics PDF Download

Author: Michael Rosner
Publisher: Cambridge University Press
ISBN: 9780521429887
Category : Computers
Languages : en
Pages : 346

View

Book Description
This 1992 collection explores the syntax/semantics interface, introducing the disciplines of computational linguistics and formal semantics.

Author: Michael Rosner
Publisher: Cambridge University Press
ISBN: 9780521419598
Category : Language Arts & Disciplines
Languages : en
Pages : 344

View

Book Description
This collection takes the exciting step of examining natural language phenomena from the perspectives of both computational linguistics and formal semantics. Computational linguistics has until now been primarily concerned with the construction of computational models for handling the complexities of linguistic form, but has not tackled the questions of representing or computing meaning. Formal semantics, on the other hand, has attempted to account for the relations between forms and meanings, without necessarily attending to computational concerns. Computational Linguistics and Formal Semantics introduces the reader to the two disciplines and considers the prospects for the more unified and comprehensive computational theory of language that might obtain from their amalgamation.

Author: Jan van Eijck
Publisher: Cambridge University Press
ISBN: 1139490907
Category : Language Arts & Disciplines
Languages : en
Pages : 422

View

Book Description
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Author: Chris Fox
Publisher: John Wiley & Sons
ISBN: 0470775297
Category : Language Arts & Disciplines
Languages : en
Pages : 210

View

Book Description
This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language

Author: Yoad Winter
Publisher: Edinburgh Advanced Textbooks in Linguistics
ISBN: 9780748640430
Category : Semantics
Languages : en
Pages : 0

View

Book Description
In five short chapters, this introductory textbook introduces some of the most essential principles and techniques of formal semantics.

Author: Adrian Brasoveanu
Publisher: Springer Nature
ISBN: 303031846X
Category : Language and languages
Languages : en
Pages : 299

View

Book Description
This open access book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science. The approach of this book is novel in more ways than one. Assuming the mental architecture and procedural modalities of Anderson's ACT-R framework, it presents fine-grained computational models of human language processing tasks which make detailed quantitative predictions that can be checked against the results of self-paced reading and other psycho-linguistic experiments. All models are presented as computer programs that readers can run on their own computer and on inputs of their choice, thereby learning to design, program and run their own models. But even for readers who won't do all that, the book will show how such detailed, quantitatively predicting modeling of linguistic processes is possible. A methodological breakthrough and a must for anyone concerned about the future of linguistics! (Hans Kamp) This book constitutes a major step forward in linguistics and psycholinguistics. It constitutes a unique synthesis of several different research traditions: computational models of psycholinguistic processes, and formal models of semantics and discourse processing. The work also introduces a sophisticated python-based software environment for modeling linguistic processes. This book has the potential to revolutionize not only formal models of linguistics, but also models of language processing more generally. (Shravan Vasishth) .

Author: Nicholas Asher
Publisher: Springer
ISBN: 3662437422
Category : Computers
Languages : en
Pages : 189

View

Book Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.

Author: Roland Hausser
Publisher: Springer Science & Business Media
ISBN: 3662039206
Category : Computers
Languages : en
Pages : 541

View

Book Description
The central task of future-oriented computational linguistics is the development of cognitive machines which humans can freely speak to in their natural language. This will involve the development of a functional theory of language, an objective method of verification, and a wide range of practical applications. Natural communication requires not only verbal processing, but also non-verbal perception and action. Therefore, the content of this book is organized as a theory of language for the construction of talking robots with a focus on the mechanics of natural language communication in both the listener and the speaker.

Author: Maria Aloni
Publisher: Cambridge University Press
ISBN: 131655273X
Category : Language Arts & Disciplines
Languages : en
Pages : 1327

View

Book Description
Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of research within current semantic theory, broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science.

Author: Stergios Chatzikyriakidis
Publisher: Springer
ISBN: 3319504223
Category : Language Arts & Disciplines
Languages : en
Pages : 296

View

Book Description
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. It consists of unpublished work by some key researchers on various issues related to the type theoretical study of formal semantics and further exemplifies the advantages of using modern type theoretical approaches to linguistic semantics. Themes that are covered include modern developments of type theories in formal semantics, foundational issues in linguistic semantics like anaphora, modality and plurals, innovational interdisciplinary research like the introduction of probability theory to type theories as well as computational implementations of type theoretical approaches. This volume will be of great interest to formal semanticists that are looking for alternative ways to study linguistic semantics, but will also be of interest to theoretical computer scientists and mathematicians that are interested in the applications of type theory.