【摘 要】
：
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归
【机 构】
：
贵州民族大学理学院,西南交通大学智能控制开发中心,贵州财经大学信息学院
论文部分内容阅读
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法.首先给出了语言真值格值命题逻辑系统的α-语义归结与（Ψ）nP（X）中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性.接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性.
其他文献
可重构网络测量系统中,工作流测量构件间迁移的过程是否与规约描述一致,是检验测量构件一致性测试的重要内容。建立了一种基于工作流的构件变迁模型MCTM（Measurement Componen
为了更准确有效地提取人眼观察视频的显著性区域,提出一种基于视觉运动特性的视频时空显著性区域提取方法。该方法首先通过分析视频每帧的频域对数谱得到空域显著图,利用全局运动估计和块匹配得到时域显著图,再结合人眼观察视频时的视觉特性,根据对不同运动特性视频的主观感知,动态融合时空显著图。实验分析从主客观两个方面衡量。视觉观测和量化指标均表明,与其他经典方法相比,所提方法提取的显著性区域能够更准确地反映人眼
现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法。前者针对性太强,不具备普适性;后者通常采用损失算法精度
在电子数据取证和鉴定中,固定与保全是确认电子数据合法性和完整性的重要程序与措施,对于维护电子数据取证的合法性、严谨性,实现电子数据司法鉴定的保障功能等,均具有十分重要的意义.然而,在理论和实务中存在着固定与保全混淆使用的问题.混乱的用语方式客观上影响了取证和鉴定工作的规范性、法律性、科学性.从基本含义、法律性质、实施主体、技术方法、规则流程等方面对电子数据固定与保全的概念以及两者之间的区别和联系进
基于μC/OS-II,设计并实现了一个高可靠的分区嵌入式操作系统内核。为了保证高关键级别分区的执行时间,提高系统可靠性,提出了一种新的周期执行时间可变的分区调度算法,其能
针对粒子群优化算法（PSO）容易陷入局部极值、进化后期收敛速度慢和精度低等缺点，提出了一种改进的简化粒子群优化算（YSPSO）。该算法采用黄金分割法平衡惯性与经验之间的相互影响；同
标注语料库中句子的语义信息应该要有一套完整的规范体系。利用汉语框架和框架元素体系进行标注,首先介绍基于汉语框架的语义标注方法的概念;接着从句法功能、短语类型和框架
针对GPU并行计算领域缺少精确的性能分析模型和有针对性的性能优化方法,提出一种基于GPU的并行计算性能定量分析模型,其通过对指令流水线、共享存储器访存、全局存储器访存的性能建模,来定量分析并行程序,帮助程序员找到程序运行瓶颈,进行有效的性能优化。实验部分通过3个具有代表性的实际应用(稠密矩阵乘法、三对角线性方程组求解、稀疏矩阵矢量乘法)的性能分析证明了该模型的实用性,并有效地实现了算法的优化。
针对单片机网络的基本构想，研究了系统控制、电源供电、网络通讯等方面的技术问题，构造一个实用的微机控制下的单片机网络，可以广泛应用于分布式检测系统。
提出位置隐私保护中基于虚拟轨迹的用户协作伪装算法（VTPP）.该算法不依赖可信第三方代理,通过用户节点的自组织通信,生成节点虚拟轨迹,进行用户的协作,形成凸多边形伪装区域来