This volume contains the papers presented at the International Scientific Symposium "Natural Language and Logic" held in Hamburg in May 1989. The aim of the papers is to present and discuss latest developments in the application of logic-based meth- ods for natural language understanding. Logic-based methods have gained in importance in the field of computational linguistics as well as for representing various types of knowledge in natural language understanding systems. The volume gives an overview of recent results achieved within the LILOG project (LInguistic and LOgic methods for understanding German texts) - one of the largest research projects in the field of text understanding - as well as within related natural language understanding systems.
Author(s): Arendse Bernth (auth.), Rudi Studer (eds.)
Series: Lecture Notes in Computer Science 459
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1990
Language: English
Pages: 255
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Foundations
Treatment of anaphoric problems in referentially opaque contexts....Pages 1-25
Knowledge processing in the LILOG project from the first to the second prototype....Pages 26-49
Indexicality and representation....Pages 50-61
Contextualization and de-contextualization....Pages 62-69
Computational semantics: Steps towards “intelligent” text processing....Pages 70-93
Propositional and depictorial representations of spatial knowledge: The case of path -concepts....Pages 94-117
Slot Grammar....Pages 118-145
On the logical structure of comparatives....Pages 146-167
Aspects of consistency of sophisticated knowledge representation languages....Pages 168-190
Unification based machine translation....Pages 191-205
Perspectives in multiple-valued logic....Pages 206-220
Properties and actions....Pages 221-232
Rationale and methods for abductive reasoning in natural-language interpretation....Pages 233-252
