Model Generation for Natural Language Interpretation and Analysis

• Main Author: Konrad, Karsten (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2953
• Subjects: Computer science.; Mathematical logic.; Artificial intelligence.; Text processing (Computer science).; Computational linguistics.; Computer Science.; Language Translation and Linguistics.; Artificial Intelligence (incl. Robotics).; Computer Science, general.; Mathematical Logic and Formal Languages.; Document Preparation and Text Processing.

Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing. Natural language processing has become a topic of outstanding relevance in information tec...

Table of Contents:

• 1 Motivation
• 1 Motivation
• I Logics
• 2 Model Generation
• 3 Higher-Order Model Generation
• 4 Minimal Model Generation
• II Linguistics
• 5 The Analysis of Definites
• 6 Reciprocity
• 7 Abduction
• 8 Implementation
• 9 Conclusion
• A Some Example Problems
• References and Index.