-
题名基于公式真度的公式集约简
被引量：4
- 1
-
-
作者
于鹏
候再恩
-
机构
陕西科技大学理学院
-
出处
《模糊系统与数学》
CSCD
北大核心
2010年第1期66-70,共5页
-
基金
陕西科技大学自然科学基金资助项目(ZX07-37)
陕西省教育厅科研研究计划项目(08JK236)
-
文摘
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。
-
关键词
Boole函数
公式真度
公式集约简
α-真度约简
近似推理
-
Keywords
Bollean Function
The Truth Degree of Formula
proposition reduction
α-truth reduction
Approximate Reasoning
-
分类号
O235
[理学—运筹学与控制论]
O153
[理学—数学]
-
-
题名浅析反证法的逻辑基础
被引量：3
- 2
-
-
作者
程向阳
-
机构
阜阳师院学院数学系
-
出处
《阜阳师范学院学报（自然科学版）》
1997年第1期14-16,39,共4页
-
文摘
本文从数学教学出发,详尽地阐述了反证法的逻辑基础,以及对反证法教学的处理与认识。
-
关键词
矛盾论题
反证法
逻辑基础
教学
-
Keywords
Contradicting proposition,reduction to absurdity,logic.
-
分类号
O1－0
[理学—数学]
-
-
题名关于奇异数的几个命题
- 3
-
-
作者
刘念
-
机构
南阳师范学院数学与统计学院
-
出处
《新余学院学报》
2015年第5期12-14,共3页
-
文摘
在数论中有一类数为奇异数,证明了关于奇异数的几个命题,以此来说明奇数中不是奇异数的情况并且得出:一个数若是奇异数则它的奇质因子至少有三个。
-
关键词
奇异数
命题
因子函数
反证
-
Keywords
Weird number
proposition
Factorable function
reduction to absurdity
-
分类号
O156.1
[理学—数学]
-
-
题名依赖公理约简的经典规划方法
- 4
-
-
作者
吕帅
刘磊
石莲
魏唯
杨超
-
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
吉林大学数学学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第2期322-328,共7页
-
基金
国家自然科学基金(No.60773097
No.60873044
+4 种基金
No.60803102
No.61070084)
高等学校博士学科点专项科研基金(No.20070183057)
符号计算与知识工程教育部重点实验室开放基金(No.93K-17-2009-K02
No.93K-17-2009-K06)
-
文摘
基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.
-
关键词
智能规划
基于可满足性的规划
命题逻辑
公理约简
编码
-
Keywords
intelligent planning
planning as satisfiability
propositional logic
axiom reduction
encoding
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名经典否定蕴涵系统定理的能行证明
- 5
-
-
作者
杜国平
-
机构
中国社会科学院大学哲学院
中国社会科学院哲学研究所
-
出处
《重庆理工大学学报（社会科学）》
2022年第10期55-65,共11页
-
基金
中国社会科学院创新工程项目“人工智能重大哲学问题研究”(2021ZXSCXB04)。
-
文摘
借鉴亚里士多德的化归方法,通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则,可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。
-
关键词
命题逻辑
否定蕴涵系统定理
化归方法
能行证明
-
Keywords
propositional logic
negation implication system theorem
reduction method
effective proof
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名大学数学学习中需掌握的科学方法
被引量：1
- 6
-
-
作者
张丽丽
雷友发
金朝永
李锋
-
机构
广东工业大学应用数学学院
仲恺农业工程学院计算科学学院
-
出处
《教育教学论坛》
2019年第5期174-175,共2页
-
基金
广东工业大学培英育才项目
2014年广东省教育厅高教教改项目
+1 种基金
名称:基于"MOOCs"背景的地方院校适应自主学习大学数学的改革探索(编号:JGXM015
JGXM006)
-
文摘
大学数学中蕴含着丰富的科学方法。学习大学数学,一个重要的目的是掌握并合理有效地运用其中的科学方法,以指导日后的学习、工作和研究等。本文就大学数学学习中学生需掌握的主要科学方法展开探讨并给出相应实例。
-
关键词
科学方法
演绎法
归纳法
命题转化法
以直代曲法
反证法
比较法
-
Keywords
scientific method
deductive method
induction
propositional transformation method
with the direct method
reduction to absurdity
comparison method
-
分类号
G642.0
[文化科学—高等教育学]
-
