Abstract
A framework called guide is presented in which many agents can cooperate to answer a query or perform a task. Agents may be heterogeneous: they need not be intended to work together and need not share any vocabulary or representational conventions. The query can be phrased without knowing which agents are available or appropriate to carry it out. Query and agents are linked by a common application-domain theory. The query is phrased as a theorem; the answer is extracted from a proof in the theory. The answer may depend on background knowledge implied by the theory. The guide’s approach is domain-independent but is illustrated by answering questions involving maps and directories.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Green, C. C.: Application of Theorem Proving to Problem Solving. Proceedings of the International Joint Conference on Artificial Intelligence (May 1969) 219–239
Manna, Z., and Waldinger, R.: A Deductive Approach to Program Synthesis. ACM Transactions on Programming, Languages, and Systems. 2 (1980) 90–121
Marais, Hannes: WEBL—A Programming Language for the Web. Compaq Systems Research Center (1999) http://research.compaq.com/SRC/WebL/, temporarily unavailable
Martin, D. L., Cheyer, A. J., and Moran, D. B.: The Open Agent Architecture: A framework for building distributed software systems. Applied Artificial Intelligence 13 (January–March 1999) 91–128
Dowding, J., Gawron, J. M., Appelt, D., Bear, J., Cherny, L., Moore, R., and Moran, D.: GEMINI: A natural language system for spoken-language understanding. Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics (June 1993) 54–61
Hobbs, J., and Lincoln, P.: Artifact Theory (unpublished transparencies). Artificial Intelligence Center and Computer Science Laboratory, SRI International (October 1999)
Teknowledge: Rapid Knowledge Formation. http://reliant.teknowledge.com/RKF
Lenat, D. B., and Guha, R. V.: Enabling Agents to Work Together. Communications of the ACM 377 (July 1994)
Stickel, M., Waldinger, R., Chaudhri, V.: A Guide to SNARK. SRI International Artificial Intelligence Center (2000) http://www.ai.sri.com/hpkb/snark/tutorial/tutorial.html
Chaudhri, V. K., Stickel, M. E., Thomere, J. F., and Waldinger, R. J.: Reusing Prior Knowledge: Problems and solutions. Proceedings of the National Conference on Artificial Intelligence (July 2000)
Stickel, M., Waldinger, R., Lowry, M., Pressburger, T., and Underwood, I.: Deductive Composition of Astronomical Software from Subroutine Libraries. In: Bundy. A. (ed.): 12th Conference on Automated Deduction, Nancy, France, June 28–July 1, 1994; Automated Deduction. Lecture Notes in Computer Science, Vol. 814. Springer-Verlag, Berlin Heidelberg New York (1994)
Genesereth, M. R., Keller, A. M., and Duschka, O. M.: Infomaster: An information integration system. SIGMOD Record (ACM Special Interest Group on Management of Data) 26 (1997) 539–542
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Waldinger, R. (2001). Web Agents Cooperating Deductively. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_20
Download citation
DOI: https://doi.org/10.1007/3-540-45484-5_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42716-2
Online ISBN: 978-3-540-45484-7
eBook Packages: Springer Book Archive