Loading...
Please wait, while we are loading the content...
Model Generation for Discourse Representation Theory (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Kohlhase, Michael |
| Abstract | . We present a tableaux-based model generation calculus for DRT, which gives us an incremental approach to discourse processing in the presence of world knowledge. We show the usefulness of such as system for several discourse phenomena. 1 Introduction Natural Language Processing (NLP) is one of the core areas of Artificial Intelligence. While some of the subtasks of NLP, such as speech recognition and syntactical analysis have made considerable progress towards practical applicability, the area of natural language semantics has so far mainly concentrated on representational issues and on the semantics construction process proper. The field of "dynamic semantics " studies logical systems that are well-suited for representing the meaning of discourses and in particular anaphoric binding. It has developed various "discourse logics", e.g. Discourse Representation Theory (DRT) [8] or Dynamic Predicate Logic (DPL) [6]. Semantic analysis, -- inference on the basis of semantic information ... |
| File Format | |
| Publisher Date | 1999-01-01 |
| Publisher Institution | Proceedings of of the 14th European Conference on Arti Intelligence |
| Access Restriction | Open |
| Subject Keyword | Semantics Construction Process Proper Speech Recognition Syntactical Analysis Core Area Dynamic Semantics Study Logical System Model Generation Several Discourse Phenomenon Introduction Natural Language Processing Tableaux-based Model Generation Calculus Natural Language Semantics World Knowledge Particular Anaphoric Binding Considerable Progress Towards Practical Applicability Semantic Information Incremental Approach Dynamic Predicate Logic Various Discourse Logic Representational Issue Semantic Analysis Discourse Representation Theory |
| Content Type | Text |
| Resource Type | Proceeding |
