.png){kind=icon}
返回
A multi-agent framework for distributed theorem proving
.png){kind=icon}
PRE
AI
DOI：10.1016/j.eswa.2005.04.013.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we explore the possibility of distributed theorem proving using agent-based technologies. We investigate the hyper-linking theorem proving and find out its components which can be performed independently by agents. A multi-agent framework is proposed, wherein distributed theorem proving is achieved by the collaboration of multi-agents each of which performs part of the hyper-linking strategy for completing the proof of the given problems. In this framework, agents communicate with each other via KQML-based messages. Additionally, several system agents are designed for monitoring the traffic and performance of the framework and sharing information. The architecture and the design concepts are addressed. Experimental results show that the proposed framework can effectively perform distributed theorem proving on the Internet. (c) 2005 Elsevier Ltd. All rights reserved.
Keyword:
intelligent agents
multi-agent system
KQML
theorem proving
the hyper-linking strategy
first-order logic
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
