Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
Feature Logics, Infinitary Descriptions and the Logical Treatment of Grammar
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
Feature Logics, Infinitary Descriptions and the Logical Treatment of Grammar
Author: Bill Keller
Publisher:
ISBN:
Category : Computational linguistics
Languages : en
Pages : 165
Book Description
Abstract: "Over the past decade or so, a number of approaches to natural language grammar have developed a notion of partially-specified, record-like data structures which have come to be known as feature structures. Feature structures provide for the representation of linguistic information in terms of attributes and associated values, and support a computationally efficient pattern-matching and information- combining operation called unification. For work in natural language processing, a sound theoretical understanding of the mathematical and computational properties of feature structures and the formalisms which employ them is of vital importance. To this end, researchers in computational linguistics have developed and investigated logical theories of feature structures: feature logics. This thesis makes two broad contributions to the application of feature logics in studying grammar formalisms and the representation of lingusitic [sic] knowledge. First, the feature logic introduced by Rounds and Kasper is extended to incorporate the linguistically useful device of functional uncertainty proposed by Kaplan and Zaenen. The extended language can be used to express certain kinds of infinite disjunction, and has application to the analysis of unbounded dependency constructions. Second, a simple and general method for handling recursion is proposed. A uniform logical language is developed which is sufficiently powerful to allow for the expression of recursive descriptions of feature structures, and can be viewed as a 'stand alone' formalism for representing grammars. The general approach emphasizes a view of grammar as a branch of model theory. Throughout the thesis, attention is given to both the formal properties and linguistic applications of the logical languages under discussion."
Publisher:
ISBN:
Category : Computational linguistics
Languages : en
Pages : 165
Book Description
Abstract: "Over the past decade or so, a number of approaches to natural language grammar have developed a notion of partially-specified, record-like data structures which have come to be known as feature structures. Feature structures provide for the representation of linguistic information in terms of attributes and associated values, and support a computationally efficient pattern-matching and information- combining operation called unification. For work in natural language processing, a sound theoretical understanding of the mathematical and computational properties of feature structures and the formalisms which employ them is of vital importance. To this end, researchers in computational linguistics have developed and investigated logical theories of feature structures: feature logics. This thesis makes two broad contributions to the application of feature logics in studying grammar formalisms and the representation of lingusitic [sic] knowledge. First, the feature logic introduced by Rounds and Kasper is extended to incorporate the linguistically useful device of functional uncertainty proposed by Kaplan and Zaenen. The extended language can be used to express certain kinds of infinite disjunction, and has application to the analysis of unbounded dependency constructions. Second, a simple and general method for handling recursion is proposed. A uniform logical language is developed which is sufficiently powerful to allow for the expression of recursive descriptions of feature structures, and can be viewed as a 'stand alone' formalism for representing grammars. The general approach emphasizes a view of grammar as a branch of model theory. Throughout the thesis, attention is given to both the formal properties and linguistic applications of the logical languages under discussion."
Feature Logics, Infinitary Descriptions and the Logical Treatment of Grammar
Author: William R. Keller
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Feature Logics, Infinitary Descriptions, and Grammar
Author: Bill Keller
Publisher:
ISBN:
Category :
Languages : en
Pages : 192
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 192
Book Description
Diamonds and Defaults
Author: Maarten de Rijke
Publisher: Springer Science & Business Media
ISBN: 9401582424
Category : Philosophy
Languages : en
Pages : 390
Book Description
This volume contains a selection of papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991. Modal logic, either as a topic or as a tool, is common to most of the papers in this volume. A number of the papers are con cerned with what may be called well-known or traditional modal systems, but, as a quick glance through this volume will reveal, this by no means implies that they walk the beaten tracks. In deed, such contributions display new directions, new results, and new techniques to obtain familiar results. Other papers in this volume are representative examples of a current trend in modal logic: the study of extensions or adaptations of the standard sys tems that have been introduced to overcome various shortcomings of the latter, especially their limited expressive power. Finally, there is another major theme that can be discerned in the vol ume, a theme that may be described by the slogan 'representing changing information. ' Papers falling under this heading address long-standing issues in the area, or present a systematic approach, while a critical survey and a report contributing new techniques are also included. The bulk of the papers on pure modal logic deal with theoreti calor even foundational aspects of modal systems.
Publisher: Springer Science & Business Media
ISBN: 9401582424
Category : Philosophy
Languages : en
Pages : 390
Book Description
This volume contains a selection of papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991. Modal logic, either as a topic or as a tool, is common to most of the papers in this volume. A number of the papers are con cerned with what may be called well-known or traditional modal systems, but, as a quick glance through this volume will reveal, this by no means implies that they walk the beaten tracks. In deed, such contributions display new directions, new results, and new techniques to obtain familiar results. Other papers in this volume are representative examples of a current trend in modal logic: the study of extensions or adaptations of the standard sys tems that have been introduced to overcome various shortcomings of the latter, especially their limited expressive power. Finally, there is another major theme that can be discerned in the vol ume, a theme that may be described by the slogan 'representing changing information. ' Papers falling under this heading address long-standing issues in the area, or present a systematic approach, while a critical survey and a report contributing new techniques are also included. The bulk of the papers on pure modal logic deal with theoreti calor even foundational aspects of modal systems.
Rewriting Techniques and Applications
Author: Claude Kirchner
Publisher: Springer
ISBN: 3662215519
Category : Computers
Languages : en
Pages : 501
Book Description
This volume contains the proceedings of RTA-93, the fifth International Conference on Rewriting Techniques and Applications, held in Montreal, Canada, in June 1993. The volume includes three invited lectures, "Rewrite techniques in theorem proving" (L. Bachmair), "Proving properties of typed lambda terms: realizability, covers, and sheaves" (J. Gallier), and "On some algorithmic problems for groups and monoids" (S.J. Adian), together with 29 selected papers, 6 system descriptions, and a list of open problems in the field. The papers covermany topics: term rewriting; termination; graph rewriting; constraint solving; semantic unification, disunification and combination; higher-order logics; and theorem proving, with several papers on distributed theorem proving, theorem proving with constraints and completion.
Publisher: Springer
ISBN: 3662215519
Category : Computers
Languages : en
Pages : 501
Book Description
This volume contains the proceedings of RTA-93, the fifth International Conference on Rewriting Techniques and Applications, held in Montreal, Canada, in June 1993. The volume includes three invited lectures, "Rewrite techniques in theorem proving" (L. Bachmair), "Proving properties of typed lambda terms: realizability, covers, and sheaves" (J. Gallier), and "On some algorithmic problems for groups and monoids" (S.J. Adian), together with 29 selected papers, 6 system descriptions, and a list of open problems in the field. The papers covermany topics: term rewriting; termination; graph rewriting; constraint solving; semantic unification, disunification and combination; higher-order logics; and theorem proving, with several papers on distributed theorem proving, theorem proving with constraints and completion.
ECAI 92
Author: Bernd Neumann
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 932
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 932
Book Description
The Logic of Grammar
Author: Donald Davidson
Publisher:
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 328
Book Description
Publisher:
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 328
Book Description
Constraints, Language and Computation
Author: M. A. Rosner
Publisher: Elsevier
ISBN: 0080502962
Category : Mathematics
Languages : en
Pages : 416
Book Description
Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.
Publisher: Elsevier
ISBN: 0080502962
Category : Mathematics
Languages : en
Pages : 416
Book Description
Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.
Subject and Predicate in Logic and Grammar
Author: P.F. Strawson
Publisher: Routledge
ISBN: 1351897136
Category : Philosophy
Languages : en
Pages : 142
Book Description
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.
Publisher: Routledge
ISBN: 1351897136
Category : Philosophy
Languages : en
Pages : 142
Book Description
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.