| ||
ITRI seminars - Autumn 2000ITRI seminars generally take place 12 noon on Thursdays in room W107 on the first floor of the Watts Building, University of Brighton (Moulsecoomb site). Occasional deviations from this pattern are indicated below.Information on how to find W107 is available on our contact page. | ||
| 26 Oct abstract |
Johan Bos
University of Edinburgh Inference and Discourse Interpretation | |
| 9 Nov abstract |
Krista Varantola
Tampere University, Finland User-sensitive lexical databases: a case of lexical knowledge management | |
| 16 Nov abstract |
Gregory Grefenstette
Xerox Research Centre Europe, Grenoble Very Large Lexicons from the WWW | |
| 30 Nov abstract |
Ruth Kempson
Kings College, London On making syntax dynamic: Towards a typology of left-dislocation structures | |
| 7 Dec abstract |
Wolfgang Teubert
University of Birmingham The meaning of globalisation. Corpus linguistics vs. cognitive linguistics | |
| Previous ITRI seminars | ||
| See also NLP seminars at COGS, University of Sussex | ||
In this talk I discuss the implementation these acceptability constraints in the DORIS system. This system builds DRSs (the boxes used in Discourse Representation Theory) for a given text. To implement the inference tasks required for discourse interpretation, DORIS appeals to several state-of-the-art theorem provers and model builders in a distributed framework. DORIS exemplifies the feasibility of this approach to implement inference, but also highlights the shortcomings in coping with certain linguistic phenomena.
The key issues I wish to elaborate are: