Anaphora and Type Logical Grammar

Anaphora and Type Logical Grammar PDF Author: Gerhard Jäger
Publisher: Springer Science & Business Media
ISBN: 9781402039041
Category : Computers
Languages : en
Pages : 314

Get Book Here

Book Description
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.

Anaphora and Type Logical Grammar

Anaphora and Type Logical Grammar PDF Author: Gerhard Jäger
Publisher: Springer Science & Business Media
ISBN: 9781402039041
Category : Computers
Languages : en
Pages : 314

Get Book Here

Book Description
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.

Anaphora and Type Logical Grammar

Anaphora and Type Logical Grammar PDF Author: Gerhard Jäger
Publisher: Springer Science & Business Media
ISBN: 1402039050
Category : Language Arts & Disciplines
Languages : en
Pages : 301

Get Book Here

Book Description
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.

Type Logical Grammar

Type Logical Grammar PDF Author: G.V. Morrill
Publisher: Springer Science & Business Media
ISBN: 9401110425
Category : Philosophy
Languages : en
Pages : 312

Get Book Here

Book Description
This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs. Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic ) provides a categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels.

Anaphora and Language Design

Anaphora and Language Design PDF Author: Eric J. Reuland
Publisher: MIT Press (MA)
ISBN: 9780262015059
Category : Anaphora (Linguistics).
Languages : en
Pages : 0

Get Book Here

Book Description
Pronouns and anaphors (including reflexives such as himself and herself) may or must depend on antecedents for their interpretation. These dependencies are subject to conditions that prima facie show substantial crosslinguistic variation. In this monograph, Eric Reuland presents a theory of how these anaphoric dependencies are represented in natural language in a way that does justice to the the variation one finds across languages. He explains the conditions on these dependencies in terms of elementary properties of the computational system of natural language. He shows that the encoding of anaphoric dependencies makes use of components of the language system that all reflect different cognitive capacities; thus the empirical research he reports on offers insights into the design of the language system. Reuland's account reduces the conditions on binding to independent properties of the grammar, none of which is specific to binding. He offers a principled account of the roles of the lexicon, syntax, semantics, and the discourse component in the encoding of anaphoric dependencies; a window into the overall organization of the grammar and the roles of linguistic and extralinguistic factors; a new typology of anaphoric expressions; a view of crosslinguistic variation (examining facts in a range of languages, from English, Dutch, Frisian, German, and Scandinavian languages to Fijian, Georgian, and Malayalam) that shows unity in diversity.

The Syntax of Anaphora

The Syntax of Anaphora PDF Author: Ken Safir
Publisher: Oxford University Press
ISBN: 019803718X
Category : Language Arts & Disciplines
Languages : en
Pages : 328

Get Book Here

Book Description
In this work, Ken Safir develops a comprehensive theory on the role of anaphora in syntax. First, he contends that the complementary distribution of forms that support the anaphoric readings is not accidental, contrary to most current thinking, but rather should be derived from a principle, one that he proposes in the form of an algorithm. Secondly, he maintains that dependent identity relations are always possible where they are not prohibited by a constraint. Lastly, he proposes that there are no parameters of anaphora - that all anaphora-specific principles are universal, and that the patterns of anaphora across languages arise entirely from a restricted set of lexical properties. This comprehensive consideration of anaphora redirects current thinking on the subject.

Distributed Computing and Artificial Intelligence, 14th International Conference

Distributed Computing and Artificial Intelligence, 14th International Conference PDF Author: Sigeru Omatu
Publisher: Springer
ISBN: 3319624105
Category : Technology & Engineering
Languages : en
Pages : 357

Get Book Here

Book Description
The 14th International Symposium on Distributed Computing and Artificial Intelligence 2017 (DCAI 2017) provided a forum for presenting the application of innovative techniques to study and solve complex problems. The exchange of ideas between scientists and technicians from both the academic and industrial sector is essential to advancing the development of systems that can meet the ever-growing demands of today’s society. The book brings together past experience, current work and promising future trends in distributed computing, artificial intelligence and their applications to efficiently solve real-world problems. It combines contributions in well-established and evolving areas of research, including the content of the DCAI 17 Special Sessions, which focused on multi-disciplinary and transversal aspects, such as AI-driven methods for multimodal networks and processes modeling, and secure management towards smart buildings and smart grids. The symposium was jointly organized by the Polytechnic of Porto, the Osaka Institute of Technology and the University of Salamanca. The latest event was held in Porto, Portugal, from 21st to 23rd June 2017.

The Null Subject Parameter

The Null Subject Parameter PDF Author: M. Jaeggli
Publisher: Springer Science & Business Media
ISBN: 9400925409
Category : Language Arts & Disciplines
Languages : en
Pages : 419

Get Book Here

Book Description


Resource-Sensitivity, Binding and Anaphora

Resource-Sensitivity, Binding and Anaphora PDF Author: Geert-Jan M. Kruijff
Publisher: Springer Science & Business Media
ISBN: 9401000379
Category : Language Arts & Disciplines
Languages : en
Pages : 324

Get Book Here

Book Description
Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.

Logic, Language, Information and Computation

Logic, Language, Information and Computation PDF Author: Anuj Dawar
Publisher: Springer Science & Business Media
ISBN: 3642138233
Category : Computers
Languages : en
Pages : 268

Get Book Here

Book Description
This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6–9, 2010, on the campus of Universidade de Bras ́ ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, meeting every year since 1994, which aims at fostering interdisciplinary research in pure and applied logic. 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. The present volume contains 13 contributed papers that were selected from among 32 submissions after a rigorous review by the Program Committee. Each submission was reviewed by at least two, and on average three, Program C- mittee members. This volume also containspapersor abstractsthat relateto the seven invited talks presented at the workshop. Between them, these papers give a snapshot of some fascinating work taking place at the frontiers between computation, logic, and linguistics. We are grateful to all the people who made this meeting possible and are responsible for its success: the members of the Program Committee and the external reviewers, the invited speakers, the contributors, and the people who were involved in organizing the workshop.

Continuations and Natural Language

Continuations and Natural Language PDF Author: Chris Barker
Publisher: Oxford University Press
ISBN: 0191664928
Category : Language Arts & Disciplines
Languages : en
Pages : 251

Get Book Here

Book Description
This book takes concepts developed by researchers in theoretical computer science and adapts and applies them to the study of natural language meaning. Summarizing more than a decade of research, Chris Barker and Chung-chieh Shan put forward the Continuation Hypothesis: that the meaning of a natural language expression can depend on its own continuation. In Part I, the authors develop a continuation-based theory of scope and quantificational binding and provide an explanation for order sensitivity in scope-related phenomena such as scope ambiguity, crossover, superiority, reconstruction, negative polarity licensing, dynamic anaphora, and donkey anaphora. Part II outlines an innovative substructural logic for reasoning about continuations and proposes an analysis of the compositional semantics of adjectives such as 'same' in terms of parasitic and recursive scope. It also shows that certain cases of ellipsis should be treated as anaphora to a continuation, leading to a new explanation for a subtype of sluicing known as sprouting. The book makes a significant contribution to work on scope, reference, quantification, and other central aspects of semantics and will appeal to semanticists in linguistics and philosophy at graduate level and above.