摘要
认识逻辑EL给出了知识和信念在单一认识主体情形下的逻辑框架．本文将认识逻辑EL推广到多认识主体的情形，得到了一个可靠并且完备的系统MEL．MEL继承了EL的全部性质．MEL的一个重要特点是各个认识主体的知识是可以共享的．MEL可以作为分布式多agent系统的逻辑基础．
Epistemic logic EL, which has favorable axiom system and semantics, offers a logical framework for knowledge and belief, but it is based on a single-a-gent case, namely it can only represent an agent's knowledge and belief. This paper extends EL to MEL, which is the multi-agent version of EL. It is proved that MEL is sound and complete, and that MEL preserves all properties of EL. Moreover, in MEL the knowledge of an agent can be shared with others. MEL can be applied to the distributed multi-agent systems as the logical basis.
出处
《计算机学报》
EI
CSCD
北大核心
1998年第7期639-641,共3页
Chinese Journal of Computers
关键词
认识逻辑
多认识主体
知识
信念
人工智能
MEL
Epistemic logic, distributed system, multi-agent system, knowledge, belief
