【摘 要】
：
在基于知识的计算机系统中,如何对知识进行推理的方法是很重要的,从粗略集合出发,可以给出知识算子的定义,在[1]中,E.Orlowska 给出了不可辨明关系是等价关系的情形,由于我们
【机 构】
：
兰州大学计算机系,兰州大学计算机系兰州730000,兰州730000,兰州730000
论文部分内容阅读
在基于知识的计算机系统中,如何对知识进行推理的方法是很重要的,从粗略集合出发,可以给出知识算子的定义,在[1]中,E.Orlowska 给出了不可辨明关系是等价关系的情形,由于我们一般情况下考查的不可辨明关系不具有传递性,我们考查了不可辨明关系是半等价关系的情形,重新给出了集合的上、下逼近的定义,给出了相应的知识算子,以及一组当事人的公共知识和合知识的情形,我们的结果是 E.Orlowska 的推广。
其他文献
从黑叶菝葜根中首次分得５个甾体甙和１个酚甙，采用化学方法和光谱技术鉴定其结构分别为：熊果甙（Ⅰ），胡萝卜甙（Ⅱ），薯蓣皂甙元－３－Ｏ－［α－Ｌ－鼠李吡喃糖基（１－４）］－β－Ｄ－葡萄吡喃糖甙（Ⅲ），薯蓣皂甙元－３－Ｏ－［α－Ｌ－鼠李吡喃糖基（１－２）］－β
本文利用 Cp_2ZrCl_2或(Me-Cp)_2ZrCl_2分别与不饱和羧酸钠盐以1∶1摩尔比,30℃下反应10h 合成了10个未见报导的单取代羧酸锆茂衍生物(RC_5H_4)_2ZrCl(OOCR,)(其中:R=H或 CH_
大黄橐吾(Ligulariaduciformis)为多年生草本植物,生长在山地林下及溪岸,海拔3500～4000m,其根供药用.该种植物为中国所特有,分布于甘肃南部、四川、湖北西部、云南北部、西藏
研究了一种双包层阶跃型光纤，涂层作为内包层，其折射率大于纤芯及外包层的折射率。严格地推导了柱坐标下的特征方程。并在两种极限情况下，推广到平板光波导和传统的阶跃型光纤。
商业银行内部绩效评价体系是商业银行内部管理层对其经营管理者、分支机构和员工的工作业绩的考核。但是，从我国各商业银行的实践发展情况看．各商业银行对分支机构绩效评价开展
阅读是英语课堂教学不可缺少的一部分,也是学生获取知识的重要途径。传统的阅读教学模式以教师为中心,忽视了学生自主学习能力的培养。计算机技术的发展为英语课堂教学提供了新的可能性。本研究通过将计算机辅助语言学习(CALL)应用于高中英语阅读教学之中,旨在验证CALL在高中阅读教学中的有效性,具体探讨以下两个研究问题:(1)计算机辅助阅读教学能否提高学生的阅读水平?(2)计算机辅助阅读教学能否激发学生的英
本文就喀什师范学院英语专业维吾尔族大学生在师范技能培养中出现的问题,通过调查问卷及口头访谈法调查其原因,并提出一系列相应的对策。
在火焰检测过程中,火焰温度场以及组分浓度场是描述火焰最基本、最重要的参量,它们的测量具有重要的现实意义。因此,本文在多光谱辐射测温的基础上,将差分光学吸收光谱法进行
利用振动管密度计在２９８．１５Ｋ下测定了Ｎ，Ｎ－二乙基甲酰胺（ＤＥＦ）分别与苯、甲苯、对二甲苯、间二甲苯、邻二甲苯、乙苯、苯乙烯构成的二元溶液体系的过量摩尔体积（Ｖｍ＾Ｅ），在全部浓度范围内，Ｖｍ＾Ｅ均为负值，│Ｖｍ＾Ｅ（极值）│