克里斯托夫·本兹穆勒；马蒂亚·贾姆尼克；曼弗雷德·科伯；沃尔克·索尔格 使用面向代理的推理系统进行实验。 （英语） Zbl 1007.68710号 Baader，Franz（编辑）等人，KI 2001：人工智能进展。2001年9月19日至21日在奥地利维也纳举行的德国/奥地利人工智能联合会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2174, 409-424 (2001). 摘要：本文讨论了使用面向代理的方法进行自动交互式推理的实验。该方法结合了人工智能两个子领域（定理证明/证明规划和多智能体系统）的思想，并利用最先进的分发技术在互联网上分散和传播其推理智能体。它特别支持不同应用领域中强大的推理系统之间的合作证明，例如，高阶和一阶定理证明器以及计算机代数系统。关于整个系列，请参见[兹比尔0971.00040]. 引用于4文件 MSC公司： 68单位99 计算方法和应用 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：折扣；狮子座；欧米茄；霸王龙 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人，Lect。注释计算。科学。2174409--424（2001年；Zbl 1007.68710） 全文： 链接