TAILIEUCHUNG - Báo cáo khoa học: "EXPRESSING DISJUNCTIVE AND NEGATIVE FEATURE CONSTRAINTS CLASSICAL FIRST-ORDER LOGIC"

Attributes are partial: it need not be the case that every attribute is d ef!ned for every complex element. The set of attribute-value structures partially ordered by the subsumption relation (together with all additional entity T that every attribute-value structure subsumes) forms a lattice, and the join operation on this lattice is called the unification operati(m 119]. Example: (from [16]). The attribute-value structure (1) has six complex elements labelled el . e6 and two corastant elements, singular and third. . | Expressing Disjunctive and Negative Feature Constraints with Classical First-Order Logic. Mark Johnson Cognitive and Linguistic Sciences Box 1978 Brown University Providence RI02912. mj@ Abstract In contrast to the designer logic approach this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatized in classical first-order logic which can express disjunctive and negative constraints. Because only quantifier-free formulae are used in the axiomatization the satisfiability problem is ÍAỂP-complete. Introduction Many modern linguistic theories such as Lexical-Functional Grammar 1 Functional Unification Grammar 12 Generalized PhraseStructure Grammar 6 Categorial Unification Grammar 20 and Head-driven PhraseStructure Grammar 18 replace the atomic categories of a context-free grammar with a feature structure that represents the syntactic and semantic properties of the phrase. These feature structures are specified in terms of constraints that they must satisfy. Lexical entries constrain the feature structures that can be associated with terminal nodes of the syntactic tree and phrase structure rules simultaneously constrain the feature structures that can be associated with a parents and its immediate descendants. The tree is well-formed if and only if all of these constraints are simultaneously satisfiable. Thus for the purposes of recognition a method for determining the satisfiability of such constraints is required the nature of the satisfying feature structures is of secondary importance. Most work on unification-based grammar including the references cited above has adopted a type of feature structure called an attribute-value structure. The elements in an attribute-value structure come in two kinds constant elements and complex elements. Constant elements are atomic entities with no internal structure . they have no attributes. Complex elements have zero or more attributes whose values

• Báo cáo khoa học
• EXPRESSING DISJUNCTIVE
• NEGATIVE FEATURE
• CONSTRAINTS CLASSICAL FIRST ORDER LOGIC
• 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