Using Situation Theory in a computational language for natural language processing
|
Abstract:
This paper discusses a computational language based on situation theory called astl. Astl is designed as a formal specification language for contemporary semantic theories of natural language. Descriptions of key aspects of semantic theories may be specified in astl and then directly executed to derive semantic representations for natural language utterances. We will outline the basic syntax and semantics of astl and show how situation theory offers a rich base for a logic programming language appropriate for natural language processing. Examples will be given showing how situation theory and in particular situations offer the sort of structured objects required in semantic knowledge representation. The basic properties of astl are identified as the basic properties required in a computational language for description of semantic theories. Although these properties may be found in other frameworks these properties are also fundamental to situation theory and hence it seems reasonable to present them in that form. 1
Citations
| 525 | Situations and Attitudes – Barwise, Perry - 1983 |
| 412 | A theory of truth and semantic representation – Kamp - 1981 |
| 351 | Lectures on government and binding – CHOMSKY - 1981 |
| 282 | Dynamic Predicate Logic – Groenendijk, Stokhof - 1991 |
| 97 | Attribute-Value Logic and the Theory of Grammar – Johnson - 1988 |
| 73 | A Feature Logic with Subsorts – Smolka - 1988 |
| 19 | Extended Kamp notation: a graphical notation for situation theory – Barwise, Cooper - 1993 |
| 15 | Anaphora and Quantification in Situation Semantics – Gawron, Peters - 1990 |
| 15 | Noun phrase interpretation in montague grammar, file change semantics, and situation semantics – Rooth - 1987 |
| 7 | A Situation Theoretic approach to computational semantics. Unpublished – Black - 1993 |
| 7 | Towards a computational interpretation of situation theory – Nakashima, Suzuki, et al. - 1988 |
| 4 | Information and grammar – Cooper - 1989 |
