【摘 要】
：
检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分
【机 构】
：
西南交通大学数学学院,西南交通大学智能控制开发中心
论文部分内容阅读
检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类,并分别给出其定义。讨论3种文字与无冗余等价子集的性质,给出其等价子集的等价描述方法。得到题逻辑的子句集中必需文字、有用文字和无用文字的判定方法,借助子句集的可满足性得到3种文字与子句集的可满足性的等价条件。上述结果对命题逻辑中文字属性的判断提供了多种可选择方法,同时为命题逻辑公式的化简奠定了理论基础。
其他文献
模糊聚类分析结果是否合理的问题属于模糊聚类有效性判定课题,其核心是模糊聚类有效性函数的构造。文中基于序关系定义了模糊划分模糊熵来描述模糊划分的模糊程度。考虑到现
航空图像拼接具有较高的实时性要求,而传统的拼接特征为浮点数向量,在DSP、FPGA等嵌入式硬件平台上的处理效率不高.提出一种适合航空图像拼接的快速算法,利用ORB特征点作为匹配特征,以二进制特征向量进行特征距离计算,使特征提取与特征匹配速度大为提高.在图像配准过程中,采用次近邻过滤算法、交叉验证算法以及RANSAC估计算法,鲁棒地计算出拼接图像序列之间的单应矩阵.图像配准之后,相同像素位置不同的图
儿童孤独症谱系障碍(autism spectrum disorder,ASD)是指常发病于婴幼儿时期,以刻板重复的行为、兴趣和活动内容狭窄以及社会交往障碍为基本特征的一种心理发育障碍性疾病[1]
研究了一类具有齐次Dirichlet边界条件和带有非局部反应项的退化抛物方程组解的性质，证明了局部解的存在唯一性，得到了该抛物系统解的整体存在与有限爆破的充分条件。
对疑似火焰区域提取纹理特征时,用局部三值模式描述火焰静态纹理特征不利于区分火焰与其他纹理均匀的干扰物,用KNN算法(k-nearest neighbor algorithm)分类效率较低。针对这些问题,提出用三正交平面局部混合模式(three orthogonal planes local mixed pattern,LMP-TOP)描述火焰的静动态纹理,再输入维度加权的支持向量机进行分类识别。L
目前已有的边缘学习算法对边缘可变的数据划分问题存在一些不足,这些算法在分类过程中不能有效地保证数据的结构特征不变。因而文章首先通过引进同调代数中的单形划分理论,从
蛋白质组学是研究细胞内表达的所有的蛋白质及其变化规律的一门新兴学科。蛋白质组学的一个重要目标是能够快速准确的进行蛋白质鉴定。蛋白质鉴定主要包括肽段鉴定和蛋白质推
提出一种基于数据挖掘技术的图像三维模型重建方法.首先对图像进行去噪处理和缺陷修复,并采用点云配准将不同图像分配到统一坐标系中,过滤掉图像中的冗杂信息;然后通过TSDF算法对点云配准后的图像进行数据融合,获取完整的点云模型;最后在OpenGl条件下对点云模型实施渲染,完成图像三维模型的重建.实验结果表明,该方法具有较高的重建效率和配准效率,重建的图像三维模型真实性高,边缘和纹理的处理效果清晰.
摘要：针对基本蝙蝠算法易早熟、收敛精度低等不足，在分析蝙蝠算法优化机理和局限性的基础上，从算法仿生原理入手，采用L6vy飞行搜索策略更为真实地模拟蝙蝠的捕食行为，取代原有算法
现有基于置信规则库的分类系统的分类准确率和效率受到系统参数设置以及规则库结构合理性的影响。为了能寻找到最佳的参数值和最优的规则库结构,本文结合多目标免疫系统算法(