From TYn to DRT: an implementation
نویسندگان
چکیده
Since the early 1990s, the semanticist Reinhard Muskens has advocated the use of the TYn family of higher-order logics as a general framework for semantic representation; he has backed up his claim by treating a wide variety of semantic phenomena in the TYn framework. Most interestingly of all, he has also shown that the central ideas of Discourse Representation Theory (DRT) can be modeled in TYn, thereby allowing a clean Montague-style treatment of discourse level phenomena. In this paper, we assess the significance for computational linguistics of his theoretical work. We do so by implementing the TYn-based approach to DRT in Nessie, a generic framework for semantic construction that is implemented in the functional programming language OCaml.
منابع مشابه
Modified Mann-Halpern Algorithms for Pseudocontractive Mappings
and Applied Analysis 3 We know that T is pseudocontractive if and only if T satisfies the condition Tx − Ty 2 ≤ x − y 2 + (I − T)x − (I − T)y 2 (15) for all x, y ∈ C. Since u ∈ Fix(T), we have from (15) that ‖Tx − u‖ 2 ≤ ‖x − u‖ 2 + ‖x − Tx‖ 2 , (16) for all x ∈ C. By using (13) and (16), we obtain Tyn − u 2 ≤ yn − u 2 + yn − Tyn 2 = (1 − γn)xn + γnT...
متن کاملSome Diierent Approaches to Drt
This paper discusses some issues in various approaches to Discourse Representation Theory. This is not intended to be detailed descriptions of various systems but general comparisons between both implementations of DRT and descriptions of DRT in some other context (e.g. a situation theoretic framework). The intention is to show how close (or how diierent) these approaches are and which aspects ...
متن کاملUniversal Higher Order Grammar
We examine the class of languages that can be defined entirely in terms of provability in an extension of the sorted type theory (Tyn) by embedding the logic of phonologies, without introduction of special types for syntactic entities. This class is proven to precisely coincide with the class of logically closed languages that may be thought of as functions from expressions to sets of logically...
متن کاملDemand Responsive Transport: A Review of Schemes in England and Wales
Local-authority-administered Demand Responsive Transport (DRT) schemes are increasingly prevalent in England and Wales, partly as a result of the growth in the availability of government funding. However, insufficient research has been undertaken into the nature of these schemes and their performance, making it difficult to predict their future role. In this respect, a survey was undertaken to ...
متن کاملWhy Do Demand Responsive Transport Systems Fail ?
In developed countries, Demand Responsive Transport (DRT) (loosely termed ‘paratransit’ in US parlance) emerged in the 1970s to serve the specialist niche market of people with mobility difficulties. DRT systems are starting become a mainstream public transport mode and this paper examines mainstream public transport DRT schemes from around the world that have failed, in order to identify the r...
متن کامل