1 / 14

Pointing at Places in a Geospatial Theory

Explore logical geospatial theories and georeferencing schemes with practical applications demonstrated. Utilizing Geo-Logica, Gemini, and SNARK for answering natural language queries.

earll
Download Presentation

Pointing at Places in a Geospatial Theory

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Pointing at Places in aGeospatial Theory Richard Waldinger and Peter Jarvis Artificial Intelligence Center SRI International Jennifer Dungan Ecosystem Science and Technology Branch NASA Ames Research Center Workshop on the Analysis of Geographic References May 31 2003 NAACL-HLT 2003 Edmonton, Alberta

  2. Claim: Georeferencing can be studied in a logical geospatial theory.Claim: Georeferencing scheme can be tested by employing it in an application.

  3. Geo-Logica: Answering Natural-Language Queries • Sample queries • Show Edmonton, Alberta, Canada. • Display a NIMA map for the countries that border Turkey and that border Iraq. • Show a place 100 miles north of a lake in Israel. • Show a petrified forest in Zimbabwe that is north of the capital of Botswana and within 200 miles of Arcturus, Zimbabwe.

  4. The Structure of Geo-Logica Query translated to logical conjecture by Gemini. Conjecture proved by SNARK in the context of geospatial theory. SNARK can combine information from ADL Gazetteer, Semantic Web, and other sources. Answer as text, map, or visualization.

  5. Nested Place Names • Canada is • feature(country, canada, earth) • (abbreviated as canada). • Alberta is • feature(province, alberta, canada) • Edmonton is • feature(city, edmonton, • feature(province, alberta, canada)) • General naming structure • feature(<type>, <name>, <region>)

  6. Query into Logical Conjecture • Show a petrified forest in a country that borders South Africa? petrified-forest(?z) & in(?z, ?x) & country(?x) & border-relation(?y) & source(?y, ?x) & goal(?y, south-africa) & show(?u) & patient(?u, ?z) Answer: ?u • Gemini (Dowding et al.)

  7. The Geospatial Theory • Facts of life represented by axioms: if is(feature(?type1, ?name1, ?region1)) then in(feature(?type1, ?name1, ?region1), ?region1) Hence, Alberta, Canada is in Canada.

  8. Deductive Reasoning • Proves the conjecture follows from the axioms of the geospatial theory. • Extracts answer to query from proof. • Consults external sources during proof search. • Employs special procedures for spatial and temporal reasoning. • SNARK (Stickel)

  9. Consulting External Source • Query: place-to-lat-long(?name, petrified-forest, zimbabwe, country, -15.22, -22.93, 33.65, 25.11 ?lat, ?long) • Response place-to-lat-long(makuku, petrified-forest, zimbabwe, country, -15.22, -22.93, 33.65, 25.11, -15.65, 29.95) • Found name and location of a Zimbabwe petrified forest within bounding box. • Alexandria Digital Library Gazetteer

  10. Place Visualization • TerraVision satellite image • NIMA maps • GMT maps

  11. Naming Problems Faced • Alternative Names • Kabul versus Kabol. • Prague versus Praha. • Bangkok versus Krung Thep. • Subregions • Kansas City, KS versus Kansas City, MO. • Rio de Janeiro, Peru.

  12. Rio de Janeiro, Peru vs. Brazil

  13. Kansas City NIMA map

  14. Other Aspects of Geo-Logica • Information extraction as a source. • Time and dates. • Information-seeking dialogue. • Explanation generation. • Intelligence applications.

More Related