Deductive Question Answering from Multiple Resources

Questions in natural language are answered by consulting multiple sources and inferring answers from information they provide. An automated deduction system, equipped with an axiomatic application-domain theory, serves as the coordinator for the process. Sources include data bases, Web pages, programs, and unstructured text. Answers may contain text or visualizations. Although the approach is domain-independent, many of our experiments have dealt with geographic questions.

[1]  Sanda M. Harabagiu,et al.  COGEX: A Logic Prover for Question Answering , 2003, NAACL.

[2]  Adam Pease,et al.  The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applic ations , 2002 .

[3]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[4]  Richard Waldinger,et al.  A Guide to Snark , 2000 .

[5]  Michael R. Genesereth,et al.  Infomaster: an information integration system , 1997, SIGMOD '97.

[6]  Richard Waldinger,et al.  Pointing to places in a deductive geospatial theory , 2003, HLT-NAACL 2003.

[7]  Ramanathan V. Guha,et al.  Enabling agents to work together , 1994, CACM.

[8]  Frederico T. Fonseca,et al.  Semantic Granularity in Ontology-Driven Geographic Information Systems , 2002, Annals of Mathematics and Artificial Intelligence.

[9]  Douglas E. Appelt,et al.  GEMINI: A Natural Language System for Spoken-Language Understanding , 1993, ACL.

[10]  Craig A. Knoblock,et al.  The Ariadne Approach to Web-Based Information Integration , 2001, Int. J. Cooperative Inf. Syst..

[11]  James Frew,et al.  Geographic Names: The Implementation of a Gazetteer in a Georeferenced Digital Library , 1999, D Lib Mag..

[12]  Zohar Manna,et al.  A Deductive Approach to Program Synthesis , 1979, TOPL.

[13]  Douglas E. Appelt,et al.  NAMED ENTITY EXTRACTION FROM SPEECH: APPROACH AND RESULTS USING THE TEXTPRO SYSTEM , 1999 .

[14]  Martin Reddy,et al.  TerraVision II: Visualizing Massive Terrain Databases in VRML , 1999, IEEE Computer Graphics and Applications.