Model Building for Natural Language Understanding (2001)
| Venue: | in: Proceedings of ICoS-4 |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Bos01modelbuilding,
author = {Johan Bos},
title = {Model Building for Natural Language Understanding},
booktitle = {in: Proceedings of ICoS-4},
year = {2001},
pages = {25--26}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Contents 1 Introduction 1 2 Model Building 3 2.1 First-Order Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Constructing Models for Logical Theories . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Inconsistent Theories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3 Linguistic Applications 5 3.1 Information Seeking Dialogue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2 Controlling a Mobile Robot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3 Question Answering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4 Using Inference Tools 8 4.1 Automated Model Builders . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4.2 Automated Theorem Provers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4.3 System Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<F18.67
