Model Generation for Natural Language Interpretation and Analysis

• Κύριος συγγραφέας: Konrad, Karsten (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2953
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.