【摘 要】
：
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文
【机 构】
：
西南交通大学智能控制开发中心,毕节学院逻辑、语言与认知中心
【基金项目】
：
本文受国家自然科学基金资助项目（61175055）,四川省科技支撑计划项目（2011FZ0051）,贵州省科学技术基金项目（黔科合J字LKB[2012]02号）资助.
论文部分内容阅读
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率.为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理.首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性.
其他文献
(一)我骑着马在茂密的原始森林中行进,前后左右是数不清的树木花草,五花八门,真是一个天然的植物博物馆.
加拿大政府努力推广和扩大电子政务在各行业的应用,并根据需要不断集成新的政府网站,适时添加新的服务项目,向全体居民在线提供.许多电子服务都处于全球领先地位,其中,以采购
随着信息技术的发展和应用需求的增长,智能手机中嵌入了各种传感器和网络接口,它们是获取上下文信息,进而构建智能型移动应用的关键。尽管在智能手机中获取上下文信息的代价很大,但是这种代价却通常被移动应用开发者所忽视。提出了一个上下文信息获取的代价模型,它能对上下文信息获取的代价进行度量。设计并实现了一个上下文信息获取代价模型的测量工具CRCTest,并对Android智能手机的代价模型进行了测量。基于测
领域分析是软件复用开发中的主要分析方法。探讨领域分析的脉络有利于对软件开发的技术及其发展趋势做出分析和预测,进而预测未来软件开发模式的发展趋势,并及时寻找新的软件
文中参照风电场原始数据,依据风速的特性,提出了一种基于EMD-GRNN和概率统计结合的短期风速预测算法。首先对原始数据进行预处理,然后对原始风速进行经验模态分解(EMD),获得
研究了两个基础空间分析算法（大量线段求交、点面叠加）的实现方法，并基于单机多核环境，利用OpenMP实现了并行算法。通过分析并行算法，得到了无法取得线性加速比的原因，即负载不均衡
中国兵器工业集团公司档案工作内蒙华东协作组于9月21日在泰安5223厂召开了2006年度工作会议，13个成员单位的15人参加了会议。会议传达了中国兵器工业集团公司2006年度档案工
随着信息技术的不断发展，移动终端已成为与人们生活工作关系最密切的电子设备。危害用户隐私和财产安全的犯罪活动也日益增多。因此，移动智能终端犯罪取证将成为人们关心与研究的热点。取证过程中，信息量增加越来越快，数据库越来越庞大，信息和数据的关系也越来越复杂。粗糙集理论是一种简洁、快速、高效、智能的数据分析方法，能搜索出有效的(数字)证据，做出正确的决策。
为了改善专利机器翻译中要素句蜕的翻译效果,提出了一种基于规则的要素句蜕识别和转换方法。通过分析汉语要素句蜕的格式,提取了汉语要素句蜕的描述特征,在此基础上制定了要
我国家谱的典型代表为山东曲阜的《孔子世家谱》.不过,其宋以前只收录直系长子长孙,自北宋始合族修谱,支庶兼采,历经元、明、清和民国,沿修不辍.到了明中叶,曾规定每60年的甲