Textual inference by combining multiple Logic programming paradigms

Chitta Baral, Gregory Gelfond, Michael Gelfond, Richard B. Scinerl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Abstract

The goal of our approach to textual inference is to answer queries about events and dates reported in texts; queries that demand inferencing with the relevant background knowledge. Our primary knowledge representation language is AnsProlog. The core inference engine is a combination of AnsProlog and Constraint Logic programming. AnsProlog is particularly useful for the representation of defaults, causal relations, and other types of common-sense knowledge. Constraint Logic Programming is needed to solve constraints involving the relationship between the sequence of actions and the dates on which the actions may have occurred. The combination of the two creates a useful tool for answering queries over texts and in particular queries that involve relatively deep reasoning.

Original languageEnglish (US)
Title of host publicationAAAI Workshop - Technical Report
Pages1-5
Number of pages5
StatePublished - Dec 1 2005
EventAAAI-05 Workshop - Pittsburgh, PA, United States
Duration: Jul 9 2005Jul 9 2005

Publication series

NameAAAI Workshop - Technical Report
VolumeWS-05-05

Other

OtherAAAI-05 Workshop
CountryUnited States
CityPittsburgh, PA
Period7/9/057/9/05

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Baral, C., Gelfond, G., Gelfond, M., & Scinerl, R. B. (2005). Textual inference by combining multiple Logic programming paradigms. In AAAI Workshop - Technical Report (pp. 1-5). (AAAI Workshop - Technical Report; Vol. WS-05-05).