丁德成

作品数：24被引量：16H指数：2
导出分析报告
供职机构：南京大学数学系更多>>
发文主题：开放逻辑英文缺省逻辑极小不可满足公式稠密性更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《南京大学学报（数学半年刊）》《数学年刊（A辑）》《计算机学报》《模式识别与人工智能》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
变量极小公式复杂性被引量：1
《科学通报》2010年第12期1189-1193,共5页陈振宇 徐宝文 丁德成 
国家自然科学基金(批准号:60803007,90818027和10871091);国家高技术研究发展计划(编号:2009AA01Z147);国家重点基础研究发展计划(编号:2009CB320703)资助项目
基于逻辑公式的极小变量集合的需求,研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质.引入等价关键变量和可满足关键变量概念,证明它们的判定复杂性分别为NP-完全和DP-完全.通过等价关键变量和可满足关键变量,分别定义VME...
关键词：极小不可满足 基本蕴含数 变量极小等价 变量极小可满足 
莫绍揆先生简介
《南京大学学报（数学半年刊）》2007年第2期I0001-I0001,共1页丁德成 
莫绍揆教授，1917年8月13日生于广西桂平。1939年7月毕业于中央大学理学院数学系。在中央大学任两年助教以后，他先后担任过中央大学和中山大学数学系讲师。从1947年起，赴瑞士洛桑大学、国立高等工业学校和巴黎大学留学，师从希尔伯特...
关键词：中山大学 数理逻辑 数学教育 工业学校 希尔伯特 数学基础 南京大学 数学研究 
HITMU(2)的结构和复杂度被引量：2
《襄樊学院学报》2004年第5期3-6,共4页徐小萍 丁德成 
SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 本文主要利用1(,)*-消解和分裂方法研究了差为2的碰撞极小不可满足公式集()2(MUHIT-)...
关键词：差为2的碰撞极小不可满足公式 HIT-MU(2)的结构 复杂度 
缺省理论中一种获取优先序的方法(英文)
《软件学报》2003年第9期1530-1537,共8页赵希顺 丁德成 
国家自然科学基金;国家社会科学基金;国家教育部博士点基金~~
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
关键词：缺省逻辑 特殊性 稳定扩充 复杂性 
子句型缺省逻辑中的分情形推理(英文)被引量：4
《软件学报》2001年第8期1140-1146,共7页许道云 丁德成 张明义 
引进一种树型方法以研究缺省逻辑中分情形推理下的 Roos扩张 ,深入讨论了 Roos扩张的计算 ,并分析了Roos扩张与 Reiter扩张的关系 .为计算 Roos扩张 ,引入了从子句集分解最小文字集的算法 .方法对于在缺省逻辑中计算
关键词：分情形推理 子句型缺省逻辑 Roos扩张 计算复杂性 
若干限制形式的缺省推理的复杂性(英文)被引量：2
《软件学报》2000年第7期881-888,共8页赵希顺 丁德成 
This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ;Nos.197710 45 ;199310 2 0
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或者 Bi-
关键词：轻信推理 限制形式 缺省推理 复杂性 
极小不可满足公式的两个多项式时间可判定类被引量：2
《中国科学（A辑）》1999年第3期198-206,共9页赵希顺 丁德成 
国家自然科学基金!(批准号 :197710 45 );国家"八六三"计划资助项目
研究命题公式 (合取范式 )的极小不可满足性 .设公式F含有n +k个子句(n是F中所有变元的个数 ) ,其中包括子句x1∨…∨xn 和┐x1∨…∨┐xn,证明了当k≤ 4时 。
关键词：极小不可满足 可满足性检查 算法 多项式时间 
在d-r.e.度结构中真d-r.e.分支度的弱稠密性
《中国科学（A辑）》1999年第2期97-104,共8页陆宏 丁德成 
国家自然科学基金!(批准号 :197710 45 );国家"八六三"计划资助项目
证明了对任意r.e .度v
关键词：递归论 递归可枚举度 分支度 弱稠密性 递归函数 
连续统与Turing度
《数学学报（中文版）》1996年第1期71-75,共5页苏开乐 丁德成 孙智伟 
令Ｄ为所有Ｔｕｒｉｎｇ度的集合，≤为Ｄ上的图林化归关系．一函数ｆ：Ｄ→Ｄ称为前进函数如果对任何ａ∈Ｄ，ａ≤ｆ（ａ）。对于一个前进函数ｆ，我们说Ｄ中的两个度ａ，ｂ是ｆ－不可比较的，如果ａ≮ｆ（ｂ）且ｂ ≮ｆ（ａ），否则...
关键词：连续统假设 Turing度 前进函数 图林化归关系 
关于Levesque的信念逻辑的完备性
《数学年刊（A辑）》1995年第3期275-279,共5页苏开乐 丁德成 
国家863高科技计划
Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的...
关键词：完备性 指派 T＊-集合 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部