论文部分内容阅读
归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设，按Ｏｃｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决。
归纳逻辑程序设计中的优化问题研究
【摘 要】
：
归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设，按Ｏｃｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性
【机 构】
：
哈尔滨工业大学计算机科学与工程系
【出 处】
：
计算机研究与发展
【发表日期】
：
1999年5期
【基金项目】
：
国家“八六三”高技术计划基金
其他文献
为了了解鸭副粘病毒在鸭群排毒情况。取健康鸭25只。在15日龄时用副粘病毒经肌肉注射接种15只，另取5只不接种任何东西做空白对照，5只接种0．5ml生理盐水。24h后利用NDV强毒快速诊
微流水技术是异步电路中实现流水线设计的有效方法，而路由芯片是高速通信网络中的重要硬件部件。文中首先介绍了微流水设计的基本结构和控制，然后介绍了采用 洞机制的路由芯片
自2001年8月1日开始，由精河县纪检委牵头，县财政、建设局配合，对精河县大河沿子镇（以下简称大镇）、八家户农场等乡镇开展棚户区改造工作进行了现场调查，
说语文教学效率低是实际的话,但治疗语文教学低效的灵丹妙药是训练。因此,我们有必要好好地研究一下“训练”,即:为什么训练?训练什么?怎样训练?(一)为什么训练?语文教学进行
从认识论和方法论的角度来看，分类不是认识事物解决问题的唯一方法，类比同样十分重要然而传统的继承只体现分类的方法，自行设计的面向对象语言ＮＤ－Ｐｏｌｙａ通过引和新的继承机制－柔性继承来支
从患病仔貂的皮肤病灶及·心血分离病原，对病原菌进行形态学及生化鉴定，分别为毛霉菌和沙门氏菌。药敏试验结果表明．分离获得的沙门氏菌对复方新诺明、环丙沙星素等抗菌药物
江苏省五年制高职护理专业课程改革方案经省教研室缜密计划、精心打造、充分准备，已进入组织实施、试运行阶段。由于护理课程改革的力度、广度及深度给护理教学带来强烈的冲击
目的研究无抽搐电休克治疗精神障碍的教学效果。方法挑选2017年2月-2018年5月期间在该院进行实习的学生共12名,根据平均分配的原则将这些实习生随机分为对照组和观察组,每组
目的分析和评估心血管内科护理管理工作中潜在风险的防范对策。方法 2014年11月—2015年11月间收治的93例心血管内科患者为A组,给予常规护理;2015年12月—2016年12月间收治的