期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
反演启发函数的监督学习算法
1
作者 吴斌 王秉钦 《吉林大学自然科学学报》 CSCD 2000年第3期27-30,共4页
通过分析传统方法的不足 ,提出用于反演消解的启发估计函数 h( C,B)的一种新的学习方法 ,并特别强调约束不等式条件 h* ( C,B)×h( C,B) >0必须与目标函数联系在一起 ,以改善 h( C,B)在推理过程中的指导作用 .
关键词 启发估计函数 专家系统 反演启发函数 学习算法
下载PDF
命题逻辑的证伪系统 被引量:1
2
作者 刘新文 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2011年第3期23-25,共3页
一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系... 一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。 展开更多
关键词 证伪系统 古典命题逻辑 直觉主义命题逻辑 模态命题逻辑
下载PDF
简论张清宇的证伪系统
3
作者 刘新文 《重庆理工大学学报(社会科学)》 CAS 2017年第5期7-9,15,共4页
国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的"证伪系统"概念和相关工作的学术来源,并给出初步的评价。
关键词 证伪系统 排斥 反驳系统
下载PDF
清代刑部驳案制度平冤功能的阶段性考察——以《刑部驳案汇抄》为例
4
作者 张涛 《乐山师范学院学报》 2021年第2期99-105,共7页
清代刑部驳案制度是司法审转程序中的重要一环,学界对其遏制冤抑的功能仍有怀疑。但考察《刑部驳案汇抄》所载案例可以发现,清代刑部驳案制度至少在政治生态良好的乾隆前期是能够发挥平冤功能的。刑部利用怀疑—推理、反复核实细节、精... 清代刑部驳案制度是司法审转程序中的重要一环,学界对其遏制冤抑的功能仍有怀疑。但考察《刑部驳案汇抄》所载案例可以发现,清代刑部驳案制度至少在政治生态良好的乾隆前期是能够发挥平冤功能的。刑部利用怀疑—推理、反复核实细节、精准引用律例等娴熟的司法技艺对提交复核的案件在案情审查、定罪、量刑三个方面展开审核与驳诘,通过与地方的互动推进着案件审理趋于无枉无纵。 展开更多
关键词 驳案 平冤 司法 清代
下载PDF
论“无穷事物”的定量认知(Ⅶ)——“无穷悖论综合症”的“自我反驳机制”根源与现有数学分析、集合论中必然存在的同一种悖论现象 被引量:2
5
作者 欧阳耿 《喀什大学学报》 2019年第6期8-14,共7页
沿着一条新的研究思路,清楚的发现了各种悬而未决的“无穷悖论”家族成员之间一种密切的“同源关系”——都是“自我反驳机制”的产品.尽管人们一直在努力解决数学中这些与无穷相关的“自我反驳悖论”,但由于工作思路上的错误,这些悖论... 沿着一条新的研究思路,清楚的发现了各种悬而未决的“无穷悖论”家族成员之间一种密切的“同源关系”——都是“自我反驳机制”的产品.尽管人们一直在努力解决数学中这些与无穷相关的“自我反驳悖论”,但由于工作思路上的错误,这些悖论的家族成员不仅毫发未损,而且还一直不断的在繁荣、壮大;正是科学体系基础理论自身的致命缺陷,决定了各种“自我反驳悖论”与其相关的理论体系基础理论中的缺陷共存——现有科学理论体系的许多领域中那些与自我反驳机制密切相关的悖论家族成员是不可解的. 展开更多
关键词 “无穷事物” 定量认知 “自我反驳机制” “无穷悖论综合症” 潜无穷—实无穷 新无穷理论体系 抽象事物—抽象事物载体
下载PDF
基于Lakatos证伪方法论的机器发现逻辑
6
作者 谢康 孙怀民 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1992年第3期27-35,共9页
介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。
关键词 证伪方法论 项重写系统 关系变元
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部