A Descriptive Approach to Language-Theoretic Complexity

Author: James Rogers

Publisher: Center for the Study of Language and Information Publications

ISBN: 9781575861364

Category: Language Arts & Disciplines

Page: 216

View: 6595


Early formal specifications of natural language syntax were quite closely connected to the notion of abstract machines for computing them. More recently, this approach has been superseded by one in which languages are specified in terms of systems of constraints on the structure of their sentences. This has made complexity results difficult to obtain. This book introduces a way of obtaining such results. It presents a natural and quite general means of expressing constraints on the structure of trees and shows that the languages that can be specified by systems of such constraints are exactly those computable by a particular standard class of abstract machines. Thus the difficulty of processing a construction can be reduced to the difficulty of expressing the constraints that specify it.

Two-Step Approaches to Natural Language Formalism

Author: Frank Morawietz

Publisher: Walter de Gruyter

ISBN: 3110197251

Category: Language Arts & Disciplines

Page: 260

View: 6488


This book presents a unified formal approach to various contemporary linguistic formalisms such as Government & Binding, Minimalism or Tree Adjoining Grammar. Through a careful introduction of mathematical techniques from logic, automata theory and universal algebra, the book aims at graduate students and researchers who want to learn more about tightly constrained logical approaches to natural language syntax. Therefore it features a complete and well illustrated introduction to the connection between declarative approaches formalized in monadic second-order logic (MSO) and generative ones formalized in various forms of automata as well as of tree grammars. Since MSO logic (on trees) yields only context-free languages, and at least the last two of the formalisms mentioned above clearly belong to the class of mildly context-sensitive formalisms, it becomes necessary to deal with the problem of the descriptive complexity of the formalisms involved in another way. The proposed genuinely new two-step approach overcomes this limitation of MSO logic while still retaining the desired tightly controlled formal properties.

Quantifiers and Cognition: Logical and Computational Perspectives

Author: Jakub Szymanik

Publisher: Springer

ISBN: 3319287494

Category: Language Arts & Disciplines

Page: 211

View: 3818


This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others. While doing so, it lays the groundwork for extending semantic theory with computational and cognitive aspects by combining linguistics and logic with computations and cognition. Quantifier expressions occur whenever we describe the world and communicate about it. Generalized quantifier theory is therefore one of the basic tools of linguistics today, studying the possible meanings and the inferential power of quantifier expressions by logical means. The classic version was developed in the 1980s, at the interface of linguistics, mathematics and philosophy. Before this volume, advances in "classic" generalized quantifier theory mainly focused on logical questions and their applications to linguistics, this volume adds a computational component, the third pillar of language use and logical activity. This book is essential reading for researchers in linguistics, philosophy, cognitive science, logic, AI, and computer science.

Syntax - Theory and Analysis

Author: Tibor Kiss

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110363704

Category: Language Arts & Disciplines

Page: 652

View: 5555


The handbook offers an overview of syntactic theory and analysis, in terms of different theories, different languages, and different methods. The Handbook presents the state of art in syntactic analysis, also dealing with the methodology employed, and the rules of argumentation required to achieve such analyses for a wide range of phenomena.

Grammatical theory

From transformational grammar to constraint-based approaches. Third revised and extended edition

Author: Stefan Müller

Publisher: Language Science Press

ISBN: 3961102023

Category: Language Arts & Disciplines

Page: 877

View: 5545


This book introduces formal grammar theories that play a role in current linguistic theorizing (Phrase Structure Grammar, Transformational Grammar/Government & Binding, Generalized Phrase Structure Grammar, Lexical Functional Grammar, Categorial Grammar, Head-​Driven Phrase Structure Grammar, Construction Grammar, Tree Adjoining Grammar). The key assumptions are explained and it is shown how the respective theory treats arguments and adjuncts, the active/passive alternation, local reorderings, verb placement, and fronting of constituents over long distances. The analyses are explained with German as the object language. The second part of the book compares these approaches with respect to their predictions regarding language acquisition and psycholinguistic plausibility. The nativism hypothesis, which assumes that humans posses genetically determined innate language-specific knowledge, is critically examined and alternative models of language acquisition are discussed. The second part then addresses controversial issues of current theory building such as the question of flat or binary branching structures being more appropriate, the question whether constructions should be treated on the phrasal or the lexical level, and the question whether abstract, non-visible entities should play a role in syntactic analyses. It is shown that the analyses suggested in the respective frameworks are often translatable into each other. The book closes with a chapter showing how properties common to all languages or to certain classes of languages can be captured. This book is a new edition of http://langsci-press.org/catalog/book/25 and http://langsci-press.org/catalog/book/195.

Finite Model Theory and Its Applications

Author: Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein

Publisher: Springer Science & Business Media

ISBN: 3540004289

Category: Computers

Page: 437

View: 9884


Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,“thebranchof mathematical logic which deals with the relation between a formal language and its interpretations”. No wonder, then, that mathematical logic, and ?nite model theory in particular, should ?nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of ?nite model theory: expressive power, descriptive complexity, and zero–one laws, together with selected applications to database theory and arti?cial intelligence, es- cially constraint databases and constraint satisfaction problems. The ?nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with ?nite model theory.

FGCS '92

Fifth Generation Computer Systems 1992

Author: N.A

Publisher: IOS Press

ISBN: 9789051990997

Category: Computer architecture

Page: 1218

View: 7896