论文部分内容阅读
知识共享是多智能体研究领域中的一个重要课题.知识共享使得智能体能够分析、判断、综合被告知信息从而形成智能体自己的知识.本文建立了多本文的建立一个多智能体系统中知识共享的逻辑框架.我们得到的一个逻辑模型不仅能刻画多主体的知识和被告知信息的推理而且能同时刻画特定主体的知识推理性质.对于我们的语义框架,我们给出了一个可靠又完备的证明理论.