摘要
引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .
出处
《中国科学（E辑）》
CSCD
1998年第4期363-369,共7页
Science in China(Series E)
基金
国家自然科学基金资助项目 !(批准号 :196 710 38
6 97330 2 0 )
杰出青年科学基金!(批准号 :6 972 5 0 0 4)
霍英东教育基金
"
