克里斯托夫·本兹穆勒;马蒂亚·贾姆尼克;曼弗雷德·科伯;沃尔克·索尔格 使用面向代理的推理系统进行实验。 (英语) 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) 全文: 链接