Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Geo-Logica: Deductive Response to Geographical Queries

Richard WaldingerArtificial Intelligence Center, SRI International[Home Page]

Date:  2002-08-01 at 16:15

Location:  EJ228  (Directions)

   Abstract

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.

   Bio for Richard Waldinger

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.

   Note for Visitors to SRI

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.

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