摘要: A framework called guide is presented in which many agents can cooperate to answer a query or perform task.Agen ts may be heterogeneous: they need not intended work together and share any vocabulary representational conventions. The phrased without knowing are available appropriate carry it out. Query linked by common applicationdomain theory. as theorem; the extracted from proof theory.The depend on background knowledge implied guide's approach domain-independent but illustrated answering questions involving maps directories.
springer.com
sci-hub.se 参考文章(10)
Richard J. Waldinger, Mark E. Stickel, Jérôme Thoméré, Vinay K. Chaudhri, Using Prior Knowledge: Problems and Solutions national conference on artificial intelligence. pp. 436- 442 ,(2000)
Cordell Green, Application of theorem proving to problem solving international joint conference on artificial intelligence. pp. 219- 239 ,(1969) , 10.1016/B978-0-934613-03-3.50019-2
Richard J Waldinger, Mark E Stickel, Vinay K Chaudhri, A Guide to Snark ,(2000)
Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger, Ian Underwood, Deductive Composition of Astronomical Software from Subroutine Libraries conference on automated deduction. pp. 341- 355 ,(1994) , 10.1007/3-540-58156-1_24
Zohar Manna, Richard Waldinger, A Deductive Approach to Program Synthesis ACM Transactions on Programming Languages and Systems. ,vol. 2, pp. 90- 121 ,(1980) , 10.1145/357084.357090
David L. Martin, Adam J. Cheyer, Douglas B. Moran, The open agent architecture: A framework for building distributed software systems Applied Artificial Intelligence. ,vol. 13, pp. 91- 128 ,(1999) , 10.1080/088395199117504
R. V. Guha, Douglas B. Lenat, Enabling agents to work together Communications of the ACM. ,vol. 37, pp. 126- 142 ,(1994) , 10.1145/176789.176804
John Dowding, Jean Mark Gawron, Doug Appelt, John Bear, Lynn Cherny, Robert Moore, Douglas Moran, Gemini Proceedings of the 31st annual meeting on Association for Computational Linguistics -. pp. 54- 61 ,(1993) , 10.3115/981574.981582
Michael R. Genesereth, Arthur M. Keller, Oliver M. Duschka, Infomaster: an information integration system international conference on management of data. ,vol. 26, pp. 539- 542 ,(1997) , 10.1145/253260.253400
Thomas Kistler, Hannes Marais, WebL - a programming language for the Web the web conference. ,vol. 30, pp. 259- 270 ,(1998) , 10.1016/S0169-7552(98)00018-X