BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:diego_ma

The blue social bookmark and publication sharing system.

entry of diego_ma:

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Automated Reasoning and Discourse Disambiguation

by: Claire Gardent, and Bonnie Webber

, Nr. CLAUS-113 (February 2000) .

Resources (URL, PDF, PS...)

URL:	http://www.coli.uni-sb.de/cl/claus/

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.

BibTeX record

@techreport{Gardent:2000,
  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.},
  added-at = {2007-12-14T02:39:14.000+0100},
  author = {Gardent, Claire and Webber, Bonnie},
  biburl = {http://www.bibsonomy.org/bibtex/200235e82cf2dfe48c19c18ccdf1d6df2/diego_ma},
  institution = {CoLi Saarbr{{\"u}}cken},
  interhash = {2f598a4dbfc3fb763fbdeba256539977},
  intrahash = {00235e82cf2dfe48c19c18ccdf1d6df2},
  keywords = {logic ambiguity},
  month = {February},
  number = {CLAUS-113},
  timestamp = {2007-12-14T02:39:14.000+0100},
  title = {Automated Reasoning and Discourse Disambiguation},
  url = {http://www.coli.uni-sb.de/cl/claus/},
  year = 2000
}

Endnote record

%0 Report
%1 Gardent:2000
%A Gardent, Claire
%A Webber, Bonnie
%D 2000
%K 
%N CLAUS-113
%T Automated Reasoning and Discourse Disambiguation
%U http://www.coli.uni-sb.de/cl/claus/
%X 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.

BibSonomy :: publication ::

Automated Reasoning and Discourse Disambiguation

Resources (URL, PDF, PS...)

Abstract

BibTeX record

Endnote record