Natural Language Understanding and Logic Programming, III: Proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991Charles Grant Brown, Gregers Koch Addressed in this third workshop on natural language understanding and logic programming are a wide variety of issues and some interesting challenges for future work. For temporal expressions, the intriguing question is examined - Can we in fact provide the translation from the HOL system logic to NL and vice versa. Can we now develop NL systems that take advantage of this logic, and particularly, can we extend the system to deal with duration? Also, a strong formal linguistic base for natural language understanding programs is presented, as well as other topics including temporal persistence, natural semantics and logic, and alternative parses. |
Contents
TABLE of CONTENTS | 1 |
Techniques for Deductive Parsing | 27 |
Principlebased Parsing and Type Inference | 43 |
Copyright | |
13 other sections not shown
Other editions - View all
Common terms and phrases
adjuncts algorithm analysis anaphora applied approach argument axiomatization axioms Buridan C-Node Chain chart parser clause complement component Computational Linguistics conjunction constituent construction conversation handler coordination corresponding cycle of conversation defined definition dependency grammar dependency structure described Discourse Representation Theory dtrs edge element empty example feature Figure grammar formalism grammar rules head HPSG i-sign implementation inference rules input instant interpretation John lexical entries local_xb logic grammars Logic Programming merge modifies module Move-a Natural Language Processing Natural Language Understanding negation node nonterminal noun output parameters parse trees parser parsing phrasal sign phrase structure predicate principles problems processor Prolog propositions relation representation S-structure Saint-Dizier sentence Slot Grammar sophism specification stack stream string SUBCAT subj syntactic syntax temporal logic tense tense-logic theorem theory transformation tree true type inference Understanding and Logic unification unification grammar variables verb word