Attributed Translation and the Semantics of Natural Language

  title={Attributed Translation and the Semantics of Natural Language},
  author={Jeremy V. Pitt and Jim Cunningham},
When Knuth introduced attribute grammars, he observed that although “oriented primarily towards programming languages, the same methods appear to be relevant also in the study of natural languages”. We demonstrate that his intuition is computationally justifiable, based on the algebraic equivalence of attribute grammars and Montague's theory of Universal Grammar. We discuss the relationship between attribute grammars, axiomatic theories and logic programming. We find that attribute grammars can… 
Grammars, Deductive Systems, and Parsing
It is shown how a modiication of the LR parsing algorithm, plus the (meta-level) information contained in the axioms, can be used to parse a grammar speciication which is based on procedural rather than combinatorial properties of the language.
Aspects of Classical Language Theory
The purpose of this chapter is to give an overview on some types of grammars and families of languages arising in classical language theory and not covered elsewhere in this Handbook. Since we will
Applying a Natural Language Dialogue Tool for Designing Databases
A Dialogue Tool is presented which has to be applied in order to obtain the structure, semantics and behaviour of a database and will yield a skeleton design including structural and semantic constructs as well as behaviour.
Co-operative answering to natural language email queries
A system which uses a `local' knowledge base to respond with cooperative answers to natural language queries which are submitted by electronic mail is implemented, which is a successful proof of concept and a demonstration of how Artiicial Intelligence technologies can support the management of inter-organizational projects.
Entity-Relationship Modeling
Nested attributes with more complex domains are introduced and an analogous notion of nested attributes is introduced, but with the following additional condition: for different nested 4.2 Entity and Relationship Types 65.
Database Design based on the Higher-Order Entity-Relationship Model with the tool boxes
The Entity-relationship Model is extended to the Higher-order Entity-Relationship Model (HERM) by adding relationships of higher degrees, semantical constraints, operations and constructs for the behavioral description of the database.


Using Semantics in Non-Context-Free Parsing of Montague Grammar
How semantics can be used during parsing to reduce the combinatorial explosion of syntactic ambiguity in Montague grammar is described and a parsing algorithm, called semantic equivalence parsing, is presented.
Definite Clause Translation Grammars
The separation of syntactic and semantic rules is intended to promote modularity, simplicity and clarity of definition, and ease of modification as compared to Definite Clause GramMars, Metamorphosis Grammars, and Restriction GrammARS.
A Formalism and Environment for the Development of a Large Grammar of English
The grammatical formalism developed for the task is a metagrammatical notation which is a more expressive and computationally tractable variant of Generalized Phrase Structure Grammar and a software system is implemented which provides a grammarian with an environment which they have found to be essential for rapid but successful production of a substantial grammar.
A Formalism for the Description of Question Answering Systems
  • C. Schwind
  • Computer Science
    Natural Language Communication with Computers
  • 1978
The following article presents a formalism for the description of a natural language based intelligent system, which is an extension of predicate logic by special operators applied to formulae and make their truth value dependent on the state of the world in which the formula is evaluated.
An introduction to unification-based approaches to grammar
This book surveys the important concept of unification as it relates to linguistic theory and, in particular, to Functional Unification Grammar, Definite-Clause Grammars, Lexical-Function Grammar,
What Is Unification?: A Categorical View of Substitution, Equation and Solution
Generalized Phrase Structure Grammar
"Generalized Phrase Structure Grammar" provides the definitive exposition of the theory of grammar originally proposed by Gerald Gazdar and developed during half a dozen years' work with his
Montagovian Definite Clause Grammar
A parser MDCG is presented which implements an augmented Friedman - Warren algorithm permitting post referencing, and interfaces with a language of intensional logic translator LILT so as to display the derivational history of corresponding reduced IL formulae.