IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #577   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:31
577 Add to my selection
      AUTHOR = {Gardent, Claire and Webber, Bonnie},
      TITLE = {Automated Reasoning and Discourse Disambiguation},
      YEAR = {2000},
      MONTH = {January},
      NUMBER = {113},
      PAGES = {24},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {},
      ABSTRACT = {The performance of first-order automated reasoning systems has been steadily improving, stimulated in part by the availability of test suites of mathematical problems on which the systems can be tested, tuned and compared. But discourse understanding in Natural Language poses different inference problems than mathematics. In order to tailor automated reasoning systems to the needs of Natural Language understanding, similar test suites need to be developed. In this paper, we claim that several kinds of ambiguity in discourse can be resolved through automated reasoning checks for consistency, informativity and minimality. Future test suites should therefore include problems of these sorts. The overall goal then is to characterise the range of inference problems that discourse understanding gives rise to and that test suites should include.},
      ANNOTE = {COLIURL : Gardent:2000:ARD.pdf}
Last modified: Thu October 16 2014 19:11:34         BibAdmin