tailieunhanh - Báo cáo khoa học: "Categorial grammar,modalities and algebraic semantics"

This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-theoretic ideas of Venema [1993b; 1993a] and the theory of equational specifications, a class of resource-preserving logics is defined, for which decidability and completeness theorems are established. | Categorial grammar modalities and algebraic semantics Koen Versmissen Onderzoeksinstituut voor Taal en Spraak Universiteit Utrecht Trans 10 3512 JK Utrecht Netherlands Abstract This paper contributes to the theory of substructural logics that are of interest to categorial grammarians. Combining semantic ideas of Hepple 1990 and Morrill 1990 proof-theoretic ideas of Venema 1993b 1993a and the theory of equational specifications a class of resource-preserving logics is defined for which decidability and completeness theorems are established. 1 Introduction The last decade has seen a keen revival of investigations into the suitability of using categorial grammars as theories of natural language syntax and semantics. Initially this research was for the larger part confined to the classical categorial calculi of Aj-dukiewicz 1935 and Bar-Hillel 1953 and in particular the Lambek calculus L Lambek 1958 Moort-gat 1988 and some of its close relatives. Although it turned out to be easily applicable to fairly large sets of linguistic data one couldn t realistically expect the Lambek calculus to be able to account for all aspects of grammar. The reason for this is the diversity of the constructions found in natural language. The Lambek calculus is good at reflecting surface phrase structure but runs into problems when other linguistic phenomena are to be described. Consequently recent work in categorial grammar has shown a trend towards diversification of the ways in which the linguistic algebra is structured with an accompanying ramification of proof theory. One of the main innovations of the past few years has been the introduction of unary type connectives usually termed modalities that are used to reflect certain special features linguistic entities may possess. This strand of research originates with Morrill 1990 who adds to L a unary connective with the following proof rules r T nr I-A ______________ r OB r F A Q art- DA or here denotes

• Báo cáo khoa học
• Categorial grammar
• modalities and algebraic semantics
• Koen Versmissen
• scientific reports
• model language
• process natural language
• Dialog Control
• Natural Language System
• Dialog Control in a Natural Language System
• Expanding the Horizons
• Natural Language Interfaces
• Phil Hayes
• PROSPECTS OR PRACTICAL
• NATURAL LANGUAGE SYSTEMS
• Workshops
• NATURAL LANGUAGE
• INTERACTION WITH MACHINES
• Long Papers
• COMPUTER INTEBFACE DESIGN MURRAY TUROFF DEPARTMENT OF COMPUTER
• IiVFORMATION SCIENCE IIEW JERSEY INSTITUTE OF TECHNOLOGY
• EVALUATION OF NATURAL LANGUAGE
• INTERFACES TO DATABASE SYSTEMS
• A PANEL DISCUSSION
• database query system
• J
• Norwood Crout
• INTERFACES TO DATA BASE SYSTEMS
• Bozena Henisz
• INTERPRETING NATURAL LANGUAGE
• DATABASE UPDATES
• S
• Jermld Kaplan Jim David
• TRANSPORTABLE NATURAL LANGUAGE
• INTERFACES TO DATABASES
• Gary G
• Hendrlx and William H
• Lewis
• DATABASES THEORETICAL
• TECHNICAL ISSUES
• TRANSPORTABLE NATURAL LANGUAGE INTERFACES
• PROBLEMS AND TECHNIQUES
• Barbara J
• Grosz
• THEORETICAL TECHNICAL ISSUES
• NATURAL LANGUAGE ACCESS TO DATABASES
• R
• Petrick
• Domain Independent
• Database Access Systems
• ISSUES IN NATURAL LANGUAGE
• ACCESS TO DATABASES
• A LOGIC PROGRAMMING PERSPECTIVE
• Sharon C
• Salveter David Maier
• PLANNING NATURAL LANGUAGE
• EXPRESSIONS REFERRING
• Douglas E
• Appelt
• THE TEXT SYSTEM
• NATURAL LANGUAGE GENERATION
• Kathleen R
• M
• MENTING A DATABASE
• KNOWLEDGE REPRESENTATION
• THE KEY TO THE SELECTION PROBLEM
• E
• Jeffrey Conklin David D
• McDonald
• A KNOWLEDGE ENGINEERING
• NATURAL LANGUAGE UNDERSTANDING
• Stuart C
• Shapiro
• NATURAL LANGUAGE TEXTS
• NECESSARILY GRAMMATICAL
• EVEN COMPLETE
• UNGRAMHATICALITY
• EXTRA GRAMMATICALITY
• NATURAL LANGUAGE UNDERSTANDING SYSTEMS
• Taxonomy
• Descriptions
• Individuals in Natural
• Language Understanding
• The Use of Ooject Special Knowledge
• Natural Language Processing
• Mark H
• Bursteln