Abstract
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.
To Zohar Manna—colleague, co-author, guide, and friend—for his sixty-fourth birthday—RW
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Manna, Z., Waldinger, R.: A Deductive Approach to Program Synthesis. ACM Trans. on Programming Languages and Systems 2 (1980) 90–121.
Waldinger, R., Lee, R. C. T.: PROW: A Step Toward Automatic Program Writing. Proc. Int. Joint Conf. on Artificial Intelligence (1969) 241-252.
Green, C. C.: Application of Theorem Proving to Problem Solving. Proc. Int. Joint Conf. on Artificial Intelligence (1969) 219-239.
Bundy, A., Smaill, A. D., Wiggins, G. The Synthesis of Logic Programs from Inductive Proofs. in Lloyd, J. Computational Logic Springer-Verlag (1990) 135-149.
Lowry, M., Philpot, A., Pressburger, T., Underwood, I., Waldinger, R., Stickel, M., Amphion: Automatic Programming for the NAIF Toolkit, in NASA Science Information Systems Newsletter, Issue 31, Feb. 1994, pp. 22-25.
Appelt, D. E., Martin, D. L. Named Entity Recognition in Speech: Approach and Results Using the TextPro System http://www.nist.gov/speech/-publications/darpa99/html/ie30/ie30.htm (1999).
Central Intelligence Agency The World Factbook 2002. http://www.cia.gov/cia/publications/factbook/ (2002).
Dowding, J., Gawron, J. M., Appelt, D., Bear, J., Cherny, L., Moore, R., Moran, D. GEMINI: A Natural Language System for Spoken-Language Understanding. Proceedings of the 31st Annual Meeting of the Ass. for Computational Linguistics, (1993) 54-61.
Fonseca, F., Egenhofer, M., Davis, C., Camara, G. Semantic granularity in ontologydriven geographic information systems AMAI Annals of Mathematics and Artificial Intelligence—Special Issue on Spatial and Temporal Granularity, 36(1–2): (2002) 121–151.
Genesereth, M., Keller, A. M. Duschka, O. M. Infomaster: an Information Integration System. SIGMOD Record (ACM Special Interest Group on Management of Data, 26(1997)539–542.
Hill, L. J., Frew, J., Zheng, Q. Geographic Names: The Implementation of a Gazetteer in a Georeferenced Digital Library. D-Lib (1999)
Hobbs, J. et al. A DAML Spatial Ontology. http://www.daml.org/listarchive/daml-spatial/0002.htm(2003).
Knoblock, C. A., Minton, S. The Ariadne Approach to Web-Based Information Integration. IEEE Intelligent Systems, 135 (1998) 17–20.
Lenat, D. B., Guha, R. V. Enabling Agents to Work Together. Communications of the ACM, 377 (1994)
Pease, A., Li, J., Barbee, C. DAML Agent Semantic Communications Service (ASCS) http://oak.teknowledge.com:8080/daml/damlquery.jsp (2002)
Raskin, R. Semantic Web for Earth and Environmental Terminology (SWEET). Earth Science Technology Conference Adelphi, MD (2003)
Reddy, M., LeClerc, Y.-G., Iverson, L., Bletter, N. TerraVision II: Visualizing Massive Terrain Databases in VRML. IEEE Computer Graphics and Applications (Special Issue on VRML). 192 (1999) 30–38.
Stickel, M. E., Waldinger, R. J., Chaudhri, V. K. A Guide to SNARK. SRI International, Menlo Park, CA (2000).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Waldinger, R., Jarvis, P., Dungan, J. (2003). Program Synthesis for Multi-agent Question Answering. In: Dershowitz, N. (eds) Verification: Theory and Practice. Lecture Notes in Computer Science, vol 2772. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39910-0_32
Download citation
DOI: https://doi.org/10.1007/978-3-540-39910-0_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21002-3
Online ISBN: 978-3-540-39910-0
eBook Packages: Springer Book Archive