Program Synthesis for Multi-agent Question Answering

Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrate the use of program synthesis techniques in a system that answers questions about geography.

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

[2]  Alan Bundy,et al.  The Synthesis of Logic Programs from Inductive Proofs , 1990 .

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

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

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

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

[7]  Richard C. T. Lee,et al.  PROW: A Step Toward Automatic Program Writing , 1969, IJCAI.

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

[9]  P. Schönemann.  On artificial intelligence , 1985, Behavioral and Brain Sciences.

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

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

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

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

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