AIC Seminar Series

A framework is being developed to deduce answers to questions from multiple knowledge sources. In the Geo-Logica system, a geographic question in English is translated (by Gemini) into a logical theorem, which is proved (by SNARK) in a theory that is linked to multiple geographical sources, including the Alexandria Digital Library Gazetteer, the CIA World Factbook, and the TerraVision 3D terrain visualization system. An initial implementation of Geo-Logica will be demonstrated. Joint Work with Chris Culy, Jerry Hobbs, and Martin Reddy, of the SRI AI Center, and Jennifer Dungan, of the NASA Ames Ecosystem Science and Technology Branch.

Richard Waldinger has been with the AI Center since before you were born, probably. He works on the application of automated deduction to program synthesis and other topics in artificial intelligence and software engineering. Recently, he contributed to the inference component of the DAML project and, with NASA support, has applied theorem proving to geographical reasoning.

Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.

©2013 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy