论文部分内容阅读
大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁，限制某此子旬间的归结以减少无用子句的产生，从而能够提高归结方法的效率。在布尔算子模糊逻辑中，当相同谓词符号配相同锁时，广义锁归结方法是广义完备的。如果对配锁方式不加任何限制，则广义半锁归结方法是广义完备的。
布尔算子模糊逻辑中的广义半锁归结原理
【摘 要】
：
大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁，限制某此子旬间的归结以减少无用子句的产生，从而能够提高归结方法的效率。在布尔算
【机 构】
：
东北师范大学计算机科学系
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
2000年3期
【基金项目】
：
国家自然科学基金资助项目!( 6970 3 0 1 0 ,69983 0 0 2 )
其他文献
1 18日龄仔免补充料配方玉米30%、豆饼23%(炒熟粉碎下同)、麦麸12%、米糠10%、草粉20%、骨粉2%、食盐0.5%、兔1%,兔球丹2%.每兔日喂10～20克,另补青料50～100克.2 1～2月龄仔兔饲料
纳米粒子聚集形成的聚集体在结构上往往具有分形特性,描述聚集过程的计算机模型可分为粒子聚集模型和团簇聚集模型,前者适用于粒子在电极上的沉积过程,后者在普通的气相法和
自然情况下羊草种子发芽率很低，但通过低温春化和植物激素等人工处理方法可以提高种子发芽率，其中采用１．５×１０＾－５赤霉素和５×１０＾－６细胞分裂素共同处理羊草种子是提高发芽率的最佳途径
古人云：“不积跬步，无以致千里，不积细流，无以成江海。”只有广博猎取，才能提炼精华。只有厚积薄发，才能产生精品，因此，学生只有多读书，多积累，才能做到腹有诗书气自华，自己的思想也得到
合成了五种取代型杂多化合物：「ＳｉＷ１１Ｏ３９Ｃｏ（Ｈ２Ｏ）」＾６－，「ＧｅＷ１１Ｏ３９Ｃｏ（Ｈ２Ｏ）」＾６－，「ＰＷ１１Ｏ３９Ｃｏ（Ｈ２Ｏ）」＾５－，「Ｐ２Ｗ１７Ｏ６１Ｃｏ（Ｈ２Ｏ）」＾８－，「ＰｗＯ１８Ｏ６８Ｃｏ４（Ｈ２Ｏ）２」＾１０－，通过等离子体、ＩＲ、ＵＶ、极谱、热谱等测试手段对产物进行了表征、并首次报道它们在非极性溶剂中与ＣＯ小分子的作用，实验结果表明，取代
目前，很多教师都抱怨思想品德课效率不高，经常陷入老师难教，学生难学的困境。针对提高思品课效率的目标，文章从人教版思品教材的辅助栏目的角度进行了初步探讨。着重介绍辅助栏目
近日，华南理工大学一教授在参观考察了某陶瓷企业后突然发问：为什么陶瓷企业一定要做大展厅，这样太浪费资源了。这种风气真不好。笔者也深有同感，曾经不止一次地问几个大企业的领
化学家在科学研究中形成了许多优秀品质，学习他们的优秀品质，有助于完善学生性格，丰富学生情感，形成良好的人文素养。文章结合化学史实，分析了化学家执着、严谨、创新、求真、协作