论文部分内容阅读
本文叙述了一个以情境为单位基于情境间的整体部分关系的类比知识表示系统，给出了描述这种知识结构的内涵命题逻辑的语法，语义和公理系统，用实例说明了情境的联接不是逻辑与关系。
一种类比知识表示与逻辑描述
【摘 要】
：
本文叙述了一个以情境为单位基于情境间的整体部分关系的类比知识表示系统，给出了描述这种知识结构的内涵命题逻辑的语法，语义和公理系统，用实例说明了情境的联接不是逻辑与关系
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1995年12期
【基金项目】
：
国家自然科学基金,攀登计划资助
其他文献
<正>中国饲料业经过30多年的发展,成为饲料产量全球第二的国家,从一个不起眼的领域,发展成为具有较强活力和带动力的产业,中国饲料业能有今天的地位和发展态势,与饲料领域的
目的分析了37例乳腺积乳囊肿患者的临床和病理特点,病因及发病机理、及诊断与鉴别诊断。方法1990～2006年16年间经手术治疗,病理证实37例患者的临床资料,分析其临床特点。结论
感染性眼内炎是白内障手术后及眼外伤后最严重的并发症,可在很短的时间内眼球遭受严重损害,如得不到及时而正确的治疗和护理,最终发展为全眼球炎而行眼球摘除术,及时行玻璃体
研究了偏微分方程曲面造型方法在飞机外形设计中的应用．该飞机模型的机翼具有边条，因而给曲面造型带来一定的困难．本文应用周期PDE曲面片，构造出了机身与机翼之间G1光滑拼接的过渡面．同时，用PDE方法构造出机身与前小翼及尾翼间的过渡面．实践表明，PDE方法在光滑拼接过渡面的设计中简便实用．
将24只卡拉库尔羊分为3个处理组．按300g／（只·d）、400g／（只·d）、500g／（只·d）3个水平添加精料．自由采食棉籽壳．研究不同精料添加量对卡拉库尔羊生产性能的影响。结果表明．3组
目的探讨老年慢性肺源性心脏病的特征。方法选取105例老年（≥60岁）慢性肺源性心脏病患者作为观察组，50倒非老年慢性肺心病患者作为对照组，对其临床特征进行回顾性对照分析。结果
本文定义了分类属性的六个函数和属性集弱闭包概念，开发了决定双元非主属性的算法；并从变换技术入手，导出了将一个关系模式映射成与之等码的简单关系模式的理论和方法。
函数式程序的离散式延迟输入输出流廖湖声，吴晶（北京工业大学计算机学院北京１０００４４）ＡＤＩＳＣＲＥＴＥＬＡＺＹＳＴＲＥＡＭＦＯＲＩＮＰＵＴＡＮＤＯＵＴＰＵＴＩＮＦＵＮＣＴＩＯＮＡＬＬＡＮＧＵＡＧＥＳ￥ＬｉａｏＨｕｓｈｅｎｇａｎｄＷｕＪｉｎｇ（Ｃｏｍ...