【摘 要】
：
随着知识库规模的扩大及结构的日趋复杂,一阶逻辑表达能力有限的问题暴露得越来越严重,基于高阶逻辑的知识表示显得尤为必要.原有基于KDK和KDK*的研究必然导致向高阶逻辑研究
【机 构】
：
北京科技大学信息工程学院,中国青年政治学院
【基金项目】
：
国家自然科学基金项目(60875029)
论文部分内容阅读
随着知识库规模的扩大及结构的日趋复杂,一阶逻辑表达能力有限的问题暴露得越来越严重,基于高阶逻辑的知识表示显得尤为必要.原有基于KDK和KDK*的研究必然导致向高阶逻辑研究的拓展.首先概述了基于知识库的知识发现,然后介绍了高阶逻辑知识表示语言Escher、双基融合机制KDK和KDK*,最后在高阶逻辑背景下,扩展双基融合机制的内涵,给出了面向高阶逻辑的KDK*过程模型逻辑等价定理.
其他文献
目的调查分析高职院校心理健康教育现状。方法对全国部分高职院校进行问卷调查，调查工具为根据教育部和教育主管部门相关政策及北京市相关评估标准编制的调查问卷。结果在37所
卢龙县刘田庄镇农民利用朝阳沟地膜覆盖栽培西葫芦,解决了"五一"前后市场上蔬菜缺乏的问题,而且整个生长期一般不用打药,到结瓜后期病虫害发生严重时可拉秧改种其它蔬菜,符合
目的:维修报警而无提示的简单故障和打印机不走纸的故障.方法:从分析故障原因入手,采用简单工具维修.结果:由供电系统造成的电容器击穿可更换电容器;由使用中造成的打印机轴
作为重要的能源之一,煤炭资源的安全高效开发利用是国内外学者研究的热点,实现井下综采工作面无人或少人开采,实现采矿“三机”即采煤机、刮板输送机、液压支架的自动化是煤矿生产安全高效的有效途径。其中,刮板输送机既是采煤机的运行轨道,又是液压支架的支点,且承担运输煤炭的工作,“三机”协调运行使刮板输送机呈现弯曲状态时,刮板输送机的运行阻力和采煤机的截割阻力将会增加,加大能源的消耗;而且弯曲程度过大容易出现
抗生素是控制细菌感染的有效手段,但由于近年来抗生素的广泛甚至不合理的应用,导致病原菌的耐药性不断上升.所以要及时了解本地医院细菌对抗生素耐药情况,不断与临床沟通,加
高台车站断裂属于河西走廊内次级隆起——榆木山隆起北侧断裂系的组成部分,它位于榆木山北缘断裂北侧6km、是与榆木山隆起有成生联系、活动时间比北缘断裂更新的现代活动断裂
近些年来,种传病害和劣质种子引起的减产绝收时有发生,常常引起种子商与农户之间的法律纠纷.