|
|||||
|
|
A model of reasoning about knowledge |
|
| Authors: | Ruqian Lu and Mingsheng Ying |
| Affiliation: | (1) Institute of Mathematics, Chinese Academy of Sciences, 100080 Beijing, China;(2) Department of Computer Science and Technology, Tsinghua University, 100084 Beijing, China |
| Abstract: | A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is established to describe reasoning about knowledge in multi-agent systems involving different languages, and an institution of logics for multi-agent systems is constructed. |
| Keywords: | distributed artificial intelligence representation of knowledge reasoning about knowledge commonknowledge distributed knowledge |
| 本文献已被 CNKI SpringerLink 等数据库收录！ | |