知识共享是多智能体研究领域中的一个重要课题.知识共享使得智能体能够分析、判断、综合被告知信息从而形成智能体自己的知识.本文......

随着计算机网络及其基于网络的分布计算技术的发展,Agent以及多Agent系统(MAS)的研究成为分布式人工智能(DAI)研究的一个热点.单Ag......

形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下，已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。......

多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli和Claudio Pizzi在专著Modalities and Multi......

多模态逻辑包含两种或两种以上模态算子,且算子间不可归约。多模态公理化系统的可分离性是指已知任意多模态公理化系统及其语言中......

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础，中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻......