陈树伟

作品数：8被引量：19H指数：2
导出分析报告
供职机构：西南交通大学更多>>
发文主题：矛盾体一阶逻辑命题逻辑机器证明子句更多>>
发文领域：自动化与计算机技术理学航空宇航科学技术文化科学更多>>
发文期刊：《西南交通大学学报》《计算机工程》《模糊系统与数学》《计算机应用》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金四川省科技计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多属性决策的一阶逻辑子句选择方法
《西南交通大学学报》2025年第1期185-193,共9页曾国艳 徐扬 陈树伟 姜世攀 
国家自然科学基金项目(61976130)。
基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子...
关键词：一阶逻辑 矛盾体分离规则 启发式策略 多属性决策 熵权法 
一阶逻辑定理证明器中的无效子句删除策略被引量：2
《计算机应用》2024年第3期677-682,共6页姜世攀 陈树伟 曾国艳 
国家自然科学基金资助项目(61976130)。
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的...
关键词：自动推理 一阶逻辑 子句删除 纯文字规则 无效子句 
多值直觉中智集及其性质被引量：1
《模糊系统与数学》2022年第1期11-17,共7页杨媛媛 陈树伟 李舒敬 
国家自然科学基金资助项目(61976130);四川省科技计划项目(2020YJ0270);中央高校基本科研业务费专项资金资助项目(2682018CX59)。
为丰富中智集理论并扩大其应用范围,本文在已有中智集研究的基础上,提出一种新型中智集——多值直觉中智集,讨论了多值直觉中智集与其他中智集及相关模糊集的关系。然后给出了多值直觉中智元的基本运算和相关运算性质,并证明了基于运算...
关键词：中智集 直觉模糊集 多值直觉中智集 运算性质 
多元协同演绎在一阶逻辑ATP中的应用被引量：6
《西南交通大学学报》2020年第2期401-408,427,共9页曹锋 徐扬 陈树伟 吴贯锋 常文静 
国家自然科学基金(61673320);中央高校基本科研业务费专项资金(2682017ZT12,2682018CX59,2682018ZT25)。
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率.为此,...
关键词：数理逻辑 人工智能 定理证明 二元归结 矛盾体分离规则 
一阶逻辑中基于稳定度的项评估方法被引量：1
《计算机工程》2019年第11期183-190,197,共9页钟建 徐扬 陈树伟 何星星 
国家自然科学基金(61673320);中央高校基本科研业务费专项资金(2682018ZT10,2682018CX59)
针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的Herbrand语义特征,分析其制约因素和度量规则,给出项稳定度的定义并提出一种基于稳定度的项评估方法。将所提方法作为文字选择的启发式策略,应用...
关键词：一阶逻辑 自动定理证明器 项评估 启发式策略 Herbrand语义特征 
基于OpenMP的并行遗传算法求解SAT问题被引量：6
《西南交通大学学报》2019年第2期428-435,共8页吴贯锋 徐扬 常文静 陈树伟 徐鹏 
国家自然科学基金资助项目(61673320);中央高校基本科研业务费专项资金资助项目(2682017ZT12)
为了提高SAT (boolean satisfiability)问题求解效率,在OpenMP (open multi-processing)编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别.算法采用OpenMP中的编译...
关键词：SAT问题 OPENMP 并行混合遗传算法 粗粒度模型 
基于递归神经网络模型预测控制的模型平稳切换被引量：3
《计算机应用》2006年第6期1398-1400,共3页杜福银 徐扬 陈树伟 
国家自然科学基金资助项目(60474022)
不同生产条件下的控制系统可视多模型控制系统,但多模型控制在模型切换时会引起系统的瞬态响应。采用递归神经网络建立系统的多个模型,基于模型预测控制进行控制模型切换,克服了模型切换时引起的系统瞬态响应,实现系统的平稳切换。并通...
关键词：比例积分微分控制器 递归神经网络 模型预测控制 模型切换 平稳 
格值命题逻辑系统L_(vpl)中的推理规则被引量：2
《西南交通大学学报》2006年第2期256-258,共3页陈树伟 徐扬 
国家自然科学基金资助项目(60474022)
为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L...
关键词：格值命题逻辑 推理规则 封闭性 语法 语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部