Semantics for coordinated substitution grammars as implemented in Prolog
A solution is provided by the coordinate substitution grammars (CSubGs), a form of two-level grammar in which indices and their corresponding rules comprise a meta-level grammar used to instantiate rules in the base grammatical form. Through the use of these indices, all syntactic coordination can be concisely and descriptively represented in the grammar. It is demonstrate that the CSubGs can generate the recursively enumerable sets, although they can be constrained to generate only the context-free or indexed languages. A program was developed to translate the grammar rules into Prolog clauses, as is done with definite clause grammars. The remainder of the problem, determining how CSubGs and their indices can affect the natural-language semantics in a Prolog implementation, is investigated by studying grammars for various English-language constructs.
- Research Organization:
- Northwestern Univ., Evanston, IL (USA)
- OSTI ID:
- 6673900
- Resource Relation:
- Other Information: Thesis (Ph. D.)
- Country of Publication:
- United States
- Language:
- English
Similar Records
Compiling circular attribute grammars into Prolog
Relating sentences and semantic networks with procedural logic