论文部分内容阅读
归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构作满足约束的归纳假设。按Ｏｃｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构作的计算复杂性未明。该文基于扩张矩阵的方法证明精简归纳假设构作的计算复杂性是ＮＰ困难的，并给出构作优假设的启发式算法。
归纳逻辑程序设计的扩张矩阵方法
【摘 要】
：
归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构作满足约束的归纳假设。按Ｏｃｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构作的计算复杂
【机 构】
：
哈尔滨工业大学计算机科学与工程系
【出 处】
：
第六届全国机器学习研讨会
【发表日期】
：
1998年期
其他文献
鉴于专家系统中知识获取的困难性和复杂性；研究人员用波兰数学家Z.Pawlak于八十年代提出的Rough Set理论进行了这方面的研究。力图在不知道对象特性的情况下自动获取知识生成
稀土元素对旱作水稻抗逆性的影响郑基禄，姚一萍，轩继春（内蒙古农科院植保所）内蒙古西部是干旱半干旱农业区，土默川地区年降雨量仅４００毫米左右，而且集中于７～８月上旬。在旱作水稻的苗期经常
该文介绍了归纳推理代数模型。归纳推理代数与布尔代数仅有的不同是分类律代替了补余律和相应的非定义的变化。这为处理实际问题提供了用符号运算获得归纳结论的方法根据。
利用先验信息可以提高雷达目标的探测能力,若先验信息与当前探测环境不匹配,知识辅助检测器的性能会受到影响.本文针对Bayes框架下的复合高斯杂波中的知识辅助检测器,提出了
一、棉花生长发育化学控制研究概况1.作物化学控制技术是提高作物生产力的重要技术资源当前世界农业发展面临着严峻的挑战。我国人均耕地不足是最大的资源限制。为了提高作
销售业绩不仅是企业一定时期经营成果的反映,也是企业市场竞争力的集中体现。提高销售业绩是任何一个企业最求的目标。零售商可以通过恰当地塑造零售商店铺形象、充分与消费