Journal of Logic, Language and Information

, Volume 10, Issue 4, pp 487-509

First online:

Towards the Use of Automated Reasoning in Discourse Disambiguation

  • Claire GardentAffiliated withCNRS
  • , Bonnie WebberAffiliated withDivision of Informatics, University of Edinburgh

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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