【摘 要】
：
引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .
【机 构】
：
中国科学院数学研究所!北京100080,清华大学计算机科学与技术系!北京100084
论文部分内容阅读
引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .
A modal logic language which can describe knowledge reasoning in multi-agent system of speaking different languages and Kripke semantics and Aumann semantics are introduced to establish a complete formalized deduction system and a Institution which is a logical system of multi-agent system.
其他文献
摘 要 紫砂泥绘是工笔画邂逅紫砂陶，成功的泥绘装饰作品一定要主题立意深刻，外在形式完美，形态融合。器皿的造型设计上使用同源元素，与主题契合一致、高度调和。对泥绘装饰者而言，要想使作品达到毛笔行走在宣纸上那色墨润染的意境，则需要更多的匠心独具。 关键词 泥绘;装饰;紫砂;工笔画;泥浆;造型 泥绘是在紫砂泥坯还有一定湿度的状态下用泥浆绘画的形式，工笔画邂逅紫砂陶，紫砂泥绘既有工笔画线条的工整、细
海南甘蔗开花调查队于1952年冬在崖县进行了10个杂交试探组合,其种子于1953年在广东农业试验场试播成功。并于1953年建立海南甘蔗育种场。我所培育甘蔗实生苗是从1954年开始
本文探明不同类型小麦品种人工授粉后精卵核融合所需时间及合子延续时间,可为辐射育种提供适宜的合子期照射时间,从而获得较高的突变频率和较稳定的突变类型。三种不同类型
一、试区基本情况试验区设于灵武农场的三站29号地的南半部第7、8两条,计80多亩,实际种植面积为66亩,地势西南高而东北低,坡降约千分之一左右,29号地于1953年规划开荒,因盐
黄淮海平原是我国最大的平原,面积30多万平方公里,耕地2.7亿亩,人口1.6亿,其中农业人口1.4亿,每个农业人口占有耕地1.84亩,高于全国的平均数,整个平原处于暖温带,热量资源丰
目的:肿瘤相关巨噬细胞（Tumor-associated macrophages，TAMs）在机体与肿瘤对抗的过程中起到了重要的作用，同时它还具有一系列促进肿瘤发展的功能，包括促进肿瘤细胞的增殖，促进肿瘤
目的:探讨联合检测血清抗双链DNA抗体、尿微量白蛋白、血细胞分析、D-二聚体及血清白介素水平（IL-2、IL-4、IL-6、IL-10）在SLE诊断与病情监测方面的意义。方法:选取经风湿免疫
1资料与方法患者男性,73岁。主诉两周前无明显诱因下出现尿量减少,伴尿频尿急,偶有恶心呕吐,无尿痛及肉眼血尿。查CT示:双肾轻度积水,双侧输尿管上段扩张,膀胱壁增厚、壁缘模
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
目的:大型真菌作为药物使用在我国已有近千年的历史,它们普遍具有降低胆固醇、降血压等多种药理活性,尤其是它们的抗肿瘤作用最受人们关注。香菇[lentinus edodes (berk) sin