Natural language understanding and logic programming, II: proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987
Natural language semantics and pragmatics are now two major fields in linguistics, philosophy, artificial intelligence and computational linguistics. With the development of large and efficient Prolog interpreters and compilers and with the expansion of the theoretical aspects of logic programming, the study of natural language semantics and related pragmatic aspects is now becoming a very attractive topic. The proceedings of this workshop reflect these trends. The papers cover almost all the current research fields in natural language, including: morphology, syntax, parser design, generation, feature checking and specification, semantic representations and construction of cooperative responses. Articles on syntax deal with constraints to parsing and generation, rule pruning and comparison of logic-based language systems. The material on the compilers involves functional logic grammars and unification-based grammars. The work on semantics investigates logico-semantic induction, data semantics, comparatives, conceptual graphs, discourse representation, and graphs. Papers on pragmatics discuss disambiguation, cooperation with the user through integrity constraints, and question interpretation through epistemic reasoning. Panel discussions are centered around future directions of research as well as comparisons between different points of view about actual research projects.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Comparison of Logic Programming Based Natural Language Parsing Systems
Parsing with Explicit Representations by Syntactic Constraints
Towards Functional Logic Grammars
15 other sections not shown
agreement algorithm ambiguous noun analysis analyzer anaphora answer applied approach argument CDG rule commonsense reasoning compiled component Computational Linguistics Conceptual Graphs conceptual relations construction context-free Dahl database DCG rule defined definition derivation described disambiguate Discontinuity Grammars discourse efficient example expressed extraposition feature structures formalism formula framework functional structures Horn clause implementation input instantiated integrity constraints interpretation John knowledge LangLAB left context lexical entry lexicon linguistic theory logic grammars Logic Programming logico-semantic Mary modal morphologic natural language processing Natural Language Understanding node object P-PATR parse tree parser PATR grammar Pereira possible predicate prepositional presupposition problem programming language Prolog Prolog terms pronoun proof quantifiers query question represent response restrictions result Saint-Dizier semantic representation sense sentence Simon Fraser University symbols syntactic syntax transformation unification variables verb word