| 认识逻辑(2):多认识主体的认识逻辑MEL |
| |
| 引用本文： | 刘瑞胜,孙吉贵,刘叙华.认识逻辑(2):多认识主体的认识逻辑MEL[J].计算机学报,1998,21(7):639-641. |
| |
| 作者姓名： | 刘瑞胜 孙吉贵 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系,长春,130023 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，，，， |
| |
| 摘 要： | 认识逻辑ＥＬ给出了知识和信念在单一认识主体情形下的逻辑框架。本文将认识逻辑ＥＬ推广到多认识主体的情形，得到了一个可靠并且完备的系统ＭＥＬ。ＭＥＬ继承了ＥＬ的全部性质。ＭＥＬ的一个重要特点是各个认识主体的知识是可以共享的。ＭＥＬ可以作为分布式多ａｇｅｎｔ系统的逻辑基础。
|
| 关 键 词： | 认识逻辑 多认识主体 知识 信念 人工智能 MEL |
| 修稿时间： | 1996年12月2日 |
EPISTEMIC LOGIC (2) :MULTI-AGENT EPISTEMIC LOGIC MEL |
| |
| LIU Rui-Sheng,SUN Ji-gui,LIU Xu-hua.EPISTEMIC LOGIC (2) :MULTI-AGENT EPISTEMIC LOGIC MEL[J].Chinese Journal of Computers,1998,21(7):639-641. |
| |
| Authors: | LIU Rui-Sheng SUN Ji-gui LIU Xu-hua |
| |
| Abstract: | 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. |
| |
| Keywords: | Epistemic logic distributed system multi-agent system knowledge belief |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
