Towards the Use of Automated Reasoning in Discourse Disambiguation
Résumé
In this paper, we claim that the disambiguation of referring expressions in discourse can be formulated in terms that automated reasoners can address. Specifically, we show that consistency, informativity and minimality are criteria which can be (i) implemented using automated reasoning tools and (ii) used to disambiguate noun-noun compounds, metonymy and definite descriptions.