Model Generation for Natural Language Interpretation and Analysis
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...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2004, 2004
|
| Edition: | 1st ed. 2004 |
| Series: | Lecture Notes in Artificial Intelligence
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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