【摘 要】
：
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文
【机 构】
：
西南交通大学智能控制开发中心,毕节学院逻辑、语言与认知中心
【基金项目】
：
本文受国家自然科学基金资助项目（61175055）,四川省科技支撑计划项目（2011FZ0051）,贵州省科学技术基金项目（黔科合J字LKB[2012]02号）资助.
论文部分内容阅读
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率.为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理.首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性.
其他文献
(一)我骑着马在茂密的原始森林中行进,前后左右是数不清的树木花草,五花八门,真是一个天然的植物博物馆.
随着信息技术的发展和应用需求的增长,智能手机中嵌入了各种传感器和网络接口,它们是获取上下文信息,进而构建智能型移动应用的关键。尽管在智能手机中获取上下文信息的代价很大,但是这种代价却通常被移动应用开发者所忽视。提出了一个上下文信息获取的代价模型,它能对上下文信息获取的代价进行度量。设计并实现了一个上下文信息获取代价模型的测量工具CRCTest,并对Android智能手机的代价模型进行了测量。基于测
领域分析是软件复用开发中的主要分析方法。探讨领域分析的脉络有利于对软件开发的技术及其发展趋势做出分析和预测,进而预测未来软件开发模式的发展趋势,并及时寻找新的软件
文中参照风电场原始数据,依据风速的特性,提出了一种基于EMD-GRNN和概率统计结合的短期风速预测算法。首先对原始数据进行预处理,然后对原始风速进行经验模态分解(EMD),获得
为了改善专利机器翻译中要素句蜕的翻译效果,提出了一种基于规则的要素句蜕识别和转换方法。通过分析汉语要素句蜕的格式,提取了汉语要素句蜕的描述特征,在此基础上制定了要
我国家谱的典型代表为山东曲阜的《孔子世家谱》.不过,其宋以前只收录直系长子长孙,自北宋始合族修谱,支庶兼采,历经元、明、清和民国,沿修不辍.到了明中叶,曾规定每60年的甲