论文部分内容阅读
认识逻辑EL给出了知识和信念在单一认识主体情形下的逻辑框架.本文将认识逻辑EL推广到多认识主体的情形,得到了一个可靠并且完备的系统MEL.MEL继承了EL的全部性质.MEL的一个重要特点是各个认识主体的知识是可以共享的.MEL可以作为分布式多agent系统的逻辑基础.
Knowledge Logic EL gives the logical framework for knowledge and belief in the context of a single cognition. This article will recognize the logic of EL extended to the case of more understanding of the subject, has been a reliable and complete system MEL. MEL inherits the full nature of EL. An important feature of MEL is that the knowledge of each subject can be shared. MEL can be used as the logical basis of distributed multi-agent system.