Using Deduction to Choreograph Multiple Data Sources

Automatic theorem proving is employed to coordinate multiple data and knowledge sources. Sources are related to a central axiomatic theory so that their interaction can be inferred. The method is applied to human language question answering in geography and earth science.

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

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

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

[4]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994 .

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

[6]  Robert G. Raskin,et al.  Knowledge representation in the semantic web for Earth and environmental terminology (SWEET) , 2005, Comput. Geosci..

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

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

[9]  Chaitanya K. Baru,et al.  Integrating GIS and Imagery Through XML-Based Information Mediation , 1999, Integrated Spatial Databases.

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

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

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

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

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

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