论文部分内容阅读
在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法，该算法采用自底向上的搜索策略由公理的前提事实产生结论，同时又以自顶向下的方法分析以约束生成的事实集，从而得到良好的查询应答搜索效果。
演绎数据库中一个有效的推理算法
【摘 要】
：
在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法，该算法采用自底向上的搜索策略由公理的前提事实产生结论，同时又以自顶向下的方法分析以约束
【机 构】
：
华中理工大学计算机科学与技术学院
【出 处】
：
华中理工大学学报
【发表日期】
：
1999年4期
其他文献
上个月，一个没有苹果产品的MacWorld Asia 2013终于在北京开幕了。和往年的手机壳大展不同，今年的MacWorld Asia上，耳机产品尤其丰富，整个大展堪称是耳机的盛宴。不管是老牌劲旅还是耳机界新锐，都有不少令人眼前一亮的产品。 Marley
日本西武的“颜料盒巧克力” 日本著名设计团队nendo为日本西武百货做的设计，巧克力糖果真真正正做成了颜料盒的样子，外包装加上里面颜料管子的设计都唯妙唯俏，12种颜色其实就是12种不同的果酱，“标签纸”既标注了口味，也保证了享受甜蜜时指尖的卫生干净。而当咬开“颜料管”，一边嚼着巧克力一边感受着果酱馅从里面流出来，感觉一定很甜蜜美好。 雨伞架“Piove” 在意大利语当中，“Piove”意为“
汇集20年生物与环境科技活动之精华；培育21世纪生物教师与学生人才队伍。由上海科技教育出版社最新出版，王建华、张文华、刘国璋等主编的《青少年生物与环境科技活动指南》（精装