Using Deduction to Choreograph Multiple Data Sources
Richard J. Waldinger, Peter A. Jarvis, Jennifer Dungan · 2003
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.