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, 1991
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
TABLE of CONTENTS
Techniques for Deductive Parsing
Principlebased Parsing and Type Inference
13 other sections not shown
Other editions - View all
adjuncts algorithm analysis anaphora applied approach argument axiomatization axioms basic cycle Buridan Chain Chart Parsing clause complement component Computational Linguistics conjunction constituent construction conversation handler coordination corresponding cycle of conversation defined definition dependency grammar dependency structure described DFGs Discourse Representation Theory DRSs edge element empty example feature Figure given grammar formalism grammar rules head HPSG i-sign implementation input instant interpretation Japanese John lexical entries logic grammars Logic Programming modifies module Move-a Natural Language Processing Natural Language Understanding negation node nonterminal output parameters parse trees parser parsing phrasal sign phrase structure possible precedence constraints predicate principles problems processor Prolog propositions relation representation S-structure Saint-Dizier sentence Slot Grammar sophism specification stack stream string SUBCAT symbol syntactic syntax temporal logic tense tense-logic theorem theory transformation tree type inference Understanding and Logic unification grammar variables verb word