Journal of Logic, Language and Information

, Volume 10, Issue 4, pp 487–509

Towards the Use of Automated Reasoning in Discourse Disambiguation

  • Claire Gardent
  • Bonnie Webber

DOI: 10.1023/A:1017916706972

Cite this article as:
Gardent, C. & Webber, B. Journal of Logic, Language and Information (2001) 10: 487. doi:10.1023/A:1017916706972


In this paper, we claim that the disambiguation ofreferring expressions in discourse can be formulated in terms automatedreasoners can address. Specifically, we show that consistency,informativity and minimality are criteria which (i) can be implementedusing automated reasoning tools and (ii) can be used to disambiguatenoun-noun compounds, metonymy and definite descriptions.

automated reasoning discourse semantics 

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Claire Gardent
    • 1
  • Bonnie Webber
    • 2
  1. 1.CNRSVandoeuvre-les-NancyFrance
  2. 2.Division of InformaticsUniversity of EdinburghEdinburghU.K.

Personalised recommendations