罗伯特·科瓦尔斯基;法里巴·萨德里 从逻辑编程到多智能体系统。 （英语） Zbl 0940.68017号 安。数学。Artif公司。智力。 25，编号3-4，391-419（1999）. 摘要：我们提出了一种逻辑编程的扩展，它不仅适用于单个代理的“理性”组件，也适用于“反应”组件，并且可以包含多代理系统。我们修改了早期的诱拐证明程序，并将其嵌入到代理循环中。证明程序将诱因、定义和完整性约束纳入动态环境中，在动态环境中可以观察到变化作为输入。这些定义允许合理的规划行为，而完整性约束允许反应性、条件-操作类型的行为。代理循环提供了一种以资源为基础的机制，允许代理的思维被中断，以便代理在继续进一步思考之前将观察结果记录并同化为输入，并将操作执行为输出。我们认为，LP的这些扩展适应了嵌入在共享环境中的多理论，提供了必要的多代理功能。我们还认为，我们的工作扩展了Shoham的Agent0和BDI架构。 引用于9文件 理学硕士： 68N17号 逻辑编程 68T05型 人工智能中的学习和自适应系统 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}和\textit{F.Sadri}，Ann.数学。Artif公司。智力。25，编号3--4，391--419（1999；Zbl 0940.68017） 全文： 内政部