【摘 要】
：
回答集程序设计是一种描述性的程序设计范例,目前已经成为知识表示和推理的一个有力工具。在实际应用中,知识库中的信息可能发生动态改变,因此需要及时对知识进行更新。通过回答集程序的更新可以实现知识库的更新,并确保更新结果的一致性。J.P.Delgrande的程序修正方法可以实现回答集程序的更新,然而该方法中存在对原程序过度修正的问题。针对该问题,提出一种新的方法来更新回答集程序,该方法通过引入优先级和惯
【机 构】
：
北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室
论文部分内容阅读
回答集程序设计是一种描述性的程序设计范例,目前已经成为知识表示和推理的一个有力工具。在实际应用中,知识库中的信息可能发生动态改变,因此需要及时对知识进行更新。通过回答集程序的更新可以实现知识库的更新,并确保更新结果的一致性。J.P.Delgrande的程序修正方法可以实现回答集程序的更新,然而该方法中存在对原程序过度修正的问题。针对该问题,提出一种新的方法来更新回答集程序,该方法通过引入优先级和惯性规则的机制,实现了回答集程序的更新。实验结果表明,该方法克服了过度修正的问题,效果良好。最后,以一个实
其他文献
1925年5月1日至7日,在中国共产党领导下,由中华全国铁路总工会、汉冶萍总工会、中华海员工业联合总会和广州工人代表会发起,第二次全国劳动大会在广州召开。出席二次劳大的代
针对目前互联网环境中电子文件数据到期后无法安全彻底自毁现象,提出一种文件生命周期控制方法。通过两次散列和多重加密,引入Web分层思想,将时间、次数和销毁策略作为属性添加到文件头部,将加密后的文件分为存储层和控制层,文件生命周期结束后按照销毁策略销毁文件。实验结果表明,该方法在实现可抵抗传统密码攻击和蛮力攻击的基础上,不需要任何用户或者可信第三方进行干预,混合加密后的文件安全性得到增强,销毁后的明文
颈椎病给人们的生活．工作带来许多不便．患者在到医院接受治疗（按摩．牵引，药物、理疗等）的同时．还应进行医疗体操功能锻炼。
针对城市扩张的加速引起的一系列问题,利用DMSP/OLS夜间灯光图像采用图像处理技术分析了中国大陆在省级尺度上的城市化空间过程。基于区域标记的种子填充算法从全球夜间灯光图像中提取各省市灯光图像;以1992、1996、1998年为例基于统计数据,利用直方图结合二分法快速确定各省市城镇可用地面积的阈值,提取城镇可用地面积,证明与统计数据的相对误差不超过10%;分析1992—2010年夜间灯光图像亮度总
“李真人长生一十六字妙诀”简介鼎文十六字妙诀一吸便提息息归脐一提便咽水火相见上十六字，仙家名曰十六锭金。乃至简至易之妙诀也。无分于在官不妨政事，在俗不妨家务，在士商不
就英语否定句的翻译对R. Quirk等的理论作了粗略介绍与探讨,认为:否定范围和否定中心变化,原句意义也随之变化,翻译时要准确理解和翻译.
对于未来课堂,您是如何理解的？对于个性化教与学,您有没有困惑的地方？信息技术如何促进未来课堂的结构性变革？一批批的教育人正在用实际行动进行着一次又一次创新.在本期专题中,
阐述金刚石切削工具在机加工中的重要作用和CVD金刚石的优异性能以及CVD金刚石切削工具的形式.对CVD金刚石薄膜切削工具和CVD金刚石厚膜切削工具的特点和应用范围进行了分析
为了使低照度监控图像增强后的效果近似于自然光照下的图像,更有利于辨识,对基于相似场景的低照度监控图像增强方法进行研究。首先获取良好光照下,与低照度监控图像场景相似的图像,并建立图像库,从中选择最合适的图像作为参考图像;然后通过直方图匹配的方法,以参考图像为标准,对低照度图像进行增强,并用迭代增强的方法不断提高图像的清晰度;最终得到增强后的低照度监控图像。实验结果表明,该方法改善了图像的视觉效果,提
针对胶囊异物缺陷在图像中表现的模糊性和多样性问题,利用神经网络处理非线性问题的优势,将神经网络应用到胶囊异物缺陷的识别。先将Y方向的Sobel算子应用于胶囊图像从而将图像分割成三部分,对每部分图像进行滤波降噪的预处理,然后再提取各部分的图像直方图的相对平滑度、偏斜度、平坦度、扭曲度、峰度、和熵这些特征,运用基于聚类归一化的方法对数据进行归一化,提出基于BP神经网络进行胶囊异物缺陷识别的算法。实验表