【摘 要】
：
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格
【机 构】
：
西南交通大学智能控制开发中心,毕节学院逻辑、语言与认知中心
论文部分内容阅读
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。
其他文献
提出了一种基于Monte Carlo的移动无线传感器网络节点定位算法，即移动导标周期性发射不同能量级的广播信号，未知节点接收感知范围内的导标定位信息，以确定自己所处的限定区域。
本文论述构建乡村小规模学校教学质量评价体系的途径,认为构建符合乡村小规模学校教学特点的教学质量评价体系对提高教学质量、推进乡村教育治理、促进学生核心素养发展有着
信息通信技术的快速革新推动着全球信息化、网络化不断上台阶。无论是云计算、物联网和智能终端，还是下一代互联网、大数据、4G和移动互联网，都在不断挑战人类社会对信息技术、
针对不同建筑结构与环境采用不同的控制爆破方法,一次拆除7个种类建筑结构物共15座,具有一定的复杂性.通过合理选择爆破的设计方案、起爆顺序、爆破参数等,多种结构建筑群一
绝大部分认证子系统无法保证账户的真实性，它会将冒用盗窃账户的入侵者视为‘合法’用户。为了过滤这类非法用户，存储安全子系统必须进行访问行为诊断。为了增强存储预警能力，提
本期主要介绍了松耦合的概念、度量以及其内容，同时从银行的应用系统角度上，详细论述了应用架构松耦合和流程松耦合，下期将详细介绍信息松藕合和其他松藕合的情况。随着应刷系统
针对某600 MW机组启动过程中发生联轴器部件脱落引起振动的问题,根据振动特征和对突变前、后的振动进行矢量分析,突变前同相、反相分量较小;突变后同相、反相分量增加,且反相
本文主要研究了小波神经网络在测井曲线自动分层中的应用问题.对于测井曲线自动分层的讨论,已有许多不同的分析方法,本文试图通过自组织特征映射神经网络算法与小波变换方法
SAT问题的隐藏结构与问题难度有很大的关系，近年来成为人工智能的一个研究热点。隐蔽集（Backdoor）作为典型的隐藏结构之一，能使剩下的问题在多项式时间内求解。在深入研究隐蔽集
在水利水电工程中,水平建基面的开挖既严格又繁琐,为研究一种施工相对简单同时又满足规范要求的开挖方法,根据环向聚能药包的作用原理,研究了影响聚能药包破岩效果的因素,在