Web Agents Cooperating Deductively

  • Richard Waldinger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1871)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Green, C. C.: Application of Theorem Proving to Problem Solving. Proceedings of the International Joint Conference on Artificial Intelligence (May 1969) 219–239Google Scholar
  2. 2.
    Manna, Z., and Waldinger, R.: A Deductive Approach to Program Synthesis. ACM Transactions on Programming, Languages, and Systems. 2 (1980) 90–121zbMATHCrossRefGoogle Scholar
  3. 3.
    Marais, Hannes: WEBL—A Programming Language for the Web. Compaq Systems Research Center (1999), temporarily unavailable
  4. 4.
    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–128Google Scholar
  5. 5.
    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–61Google Scholar
  6. 6.
    Hobbs, J., and Lincoln, P.: Artifact Theory (unpublished transparencies). Artificial Intelligence Center and Computer Science Laboratory, SRI International (October 1999)Google Scholar
  7. 7.
    Teknowledge: Rapid Knowledge Formation.
  8. 8.
    Lenat, D. B., and Guha, R. V.: Enabling Agents to Work Together. Communications of the ACM 377 (July 1994)Google Scholar
  9. 9.
    Stickel, M., Waldinger, R., Chaudhri, V.: A Guide to SNARK. SRI International Artificial Intelligence Center (2000)
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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–542Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Richard Waldinger
    • 1
  1. 1.Artificial Intelligence CenterSRI InternationalMenlo ParkUSA

Personalised recommendations