论文部分内容阅读
本文给出了一阶超协调限制逻辑ＬＰｓ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰ作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑的优点，而用能解决非单调逻辑和超协调逻辑存在的问题，它可作为在不完全与不协调知识下常识推理的形式化，因此它的知识表示中具有广泛的应用。
超协调限制逻辑
【摘 要】
：
本文给出了一阶超协调限制逻辑ＬＰｓ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰ作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑的优点，而用能解决非单调逻辑和超协调逻辑存
【机 构】
：
汕头大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1995年9期
其他文献
本文提出了一个基于Ｐｅｔｒｉ网的超文本形式模型Ｈ－网。Ｈ－网自然地从本质上刻画了超文本的所有主要性质，有助于超文本中各种主要问题的解决，并且可为超文本系统设计和超文本标准化的理论基础
在视觉系统的标定中，确定三维空间点与图象上对应点所组成的样本点对 挫 标是问题的关键，为提高样本点的定位精度，通常采用棋盘格形状的图案，取其中的交点作为样本点，但在应用平
众所周知．公猪的精液品质受诸多因素的影响。高温是影响种公猪精子质量和数量的重要因素．当环境温度≥28℃时，公猪的产精数量和质量明显下降，温度越高。产精量和精子质量越低，甚至
目的对原发性高血压患者合并消化性溃疡（PU）的临床特点进行探讨。方法本纽样本取自发现的PU54例在我院接受胃镜检查原发性高血压患者作为研究对象，对其临床特点，溃疡的部位、检出
目的探讨前列腺增生（BPH）手术治疗后并发尿失禁的原因。方法行耻骨上前列腺摘除术后尿失禁,15例患者的临床资料进行回顾性分析。结果对13例尿失禁患者,针对病因采取保守或手术
日前从辽宁省畜牧兽医局获悉．辽宁省培育的辽育白牛新品种已通过国家畜禽遗传资源委员会的审定．并由农业部正式予以公布。辽育白牛是辽宁省第1个自主培育的专门化肉用牛品种．是
霉菌毒素是霉菌产生的次级代谢产物。霉菌在农作物收获前、收获后，及运输和仓储的过程中都可生长并产生霉菌毒素。霉菌毒素绝大多数能够造成鱼及其他养殖动物生长减慢、健康状
目的建立高效液相色谱法测定不同产地五味子的五味子甲素和乙素的含量。方法采用Water Spherisorb 10 ODS1（4.6mm×250mm,10μm）;流动相：流动相：甲醇-水（70：30）;流速：1.0mL·
多数民营饲料企业在创业时．由于单个自然人的资金缺乏，饲料企业规模小．信誉偏低，贷款难．资金的获取渠道主要为家族人员或者比较要好的同学、同事以及邻居等．并由此形成一个创始人共
本文提出了Ｌ集合的概念以及一种新的使用Ｌ集合的一阶数据库询问求值方法。因为这种方法对原数据库只增加一个新字句，所以询问求值的效率大为提高，而且因为可以直接使用Ｌ集合回答对