[PDF] Logic Grammars eBook

Author : Harvey Abramson
Publisher : Springer Science & Business Media
Page : 233 pages
File Size : 34,29 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461236401

GET BOOK

Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency. This book is intended for those interested in logic programming, artificial intelligence, computational linguistics, Fifth Generation computing, formal languages and compiling techniques. It may be read profitably by upper-level undergraduates, post-graduate students, and active researchers on the above-named areas. Some familiarity with Prolog and logic programming would be helpful; the authors, however, briefly describe Prolog and its relation to logic grammars. After reading Logic Grammars, the reader will be able to cope with the ever-increasing literature of this new and exciting field.

Author : Norbert Hornstein
Publisher : MIT Press
Page : 196 pages
File Size : 24,65 MB
Release : 1984
Category : Language Arts & Disciplines
ISBN : 9780262081375

GET BOOK

How is the meaning of natural language interpreted? Taking as its point of departure the logical problem of natural language acquisition, this book elaborates a theory of meaning based on syntactical rather than semantical processes. Copyright © Libri GmbH. All rights reserved.

Author : P.F. Strawson
Publisher : Routledge
Page : 142 pages
File Size : 35,6 MB
Release : 2017-03-02
Category : Philosophy
ISBN : 1351897136

GET BOOK

P.F. Strawson has supplied a new introduction for this reissue of his modern classic originally published in 1974. Subject and Predicate in Logic and Grammar explores two conceptions of subject and predicate, one of which lies at the core of standard logic and the other more closely relates to surface forms of natural language. Strawson renders these two conceptions, and their divergences, intelligible by relating them both to the 'basic case' in which the subject-term designates a substantial spatio-temporal individual. Through his treatment of these conceptions, Strawson added to our understanding of both logic and general grammar, helping us trace formal characteristics of logic and its grammar to their roots in general features of thought and experience, and observing how the grammatical structure of a large group of non-formalized languages naturally develops in various ways, along other lines. This book, based originally on seminar material used at Oxford and Princeton and a series of lectures delivered at Irvine and University College London, has become an enduring landmark in the literature of logic and the philosophy of language.

Author : Richard Moot
Publisher : Springer
Page : 314 pages
File Size : 21,80 MB
Release : 2012-06-30
Category : Mathematics
ISBN : 3642315550

GET BOOK

This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.

Author : Gennaro Chierchia
Publisher : Oxford University Press, USA
Page : 481 pages
File Size : 10,72 MB
Release : 2013-07-25
Category : Language Arts & Disciplines
ISBN : 0199697973

GET BOOK

In a fundamental investigation of language and human reasoning, Gennaro Chierchia looks at how syntactic and inferential processes interact through the study of polarity sensitive and free choice items. He reformulates the semantics of focus and scope and the pragmatics of implicature as part of the recursive semantic system.

Author : L. T. F. Gamut
Publisher : University of Chicago Press
Page : 376 pages
File Size : 34,98 MB
Release : 1991
Category : Language Arts & Disciplines
ISBN : 9780226280844

GET BOOK

Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, Introduction to Logic, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.

Author : Rosalie Iemhoff
Publisher : Springer
Page : 683 pages
File Size : 50,41 MB
Release : 2019-06-23
Category : Mathematics
ISBN : 3662595338

GET BOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.

Author : Claudia Casadio
Publisher : Springer
Page : 432 pages
File Size : 17,1 MB
Release : 2014-04-03
Category : Mathematics
ISBN : 3642547893

GET BOOK

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.

Author : Nick Bezhanishvili
Publisher : Springer
Page : 373 pages
File Size : 13,69 MB
Release : 2011-07-18
Category : Computers
ISBN : 3642223036

GET BOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Georgia, in September 2009. The 20 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: natural language syntax, semantics, and pragmatics; constructive, modal and algebraic logic; linguistic typology and semantic universals; logics for artificial intelligence; information retrieval, query answer systems; logic, games, and formal pragmatics; language evolution and learnability; computational social choice; historical linguistics, history of logic.

Author : Daniel Leivant
Publisher : Springer
Page : 371 pages
File Size : 25,93 MB
Release : 2007-07-04
Category : Computers
ISBN : 3540734457

GET BOOK

The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions, and resources; and foundational aspects of information organization, search, flow, sharing, and protection.