-
题名“假设推理”在高中地理教学中的应用
- 1
-
-
作者
赵善民
-
机构
沂源县第一中学
-
出处
《地理教学》
2017年第5期30-32,共3页
-
文摘
地理事物综合性比较强，影响因素较多，为了抓住本质，可以采用假设推理法，假设某一条件，去掉其他因素，抽丝剥茧，剥玉米皮似的步步深入，从而将复杂地理问题简单化。高中地理知识的学习、地理解题分析以及地理问题研究中经常会用到此法。
-
关键词
假设推理法
地理知识学习
地理解题分析
地理问题研究
-
分类号
G633.55
[文化科学—教育学]
-
-
题名第三类推理是什么?——沃尔顿假设性推理研究述评
被引量：6
- 2
-
-
作者
李永成
-
机构
阜阳师范学院政法学院
-
出处
《政法论丛》
2009年第5期84-89,共6页
-
基金
国家社会科学基金项目"法律推理研究--语用学与语用逻辑的视角"(07BZX046)的阶段性成果
教育部规划课题"高校学生处分申诉证据与模范程序研究"(FFB080563)的阶段性成果
-
文摘
非形式逻辑学家沃尔顿对假设性推理进行了深入的研究,并且将假设性推理升为和演绎与归纳相并列的第三类推理形式,从而在理论和实践上解决了许多长期困扰人们的逻辑问题,为论证和谬误理论研究提供了一个新的逻辑基础,是对非形式逻辑合法性的极好辩护,也对建立面向生活世界的语用逻辑提供了更为合适的标准。同时,第三类推理理论也为研究法律推理中的推理模式提供了新的逻辑方法。
-
关键词
假设性推理
论证理论
非形式逻辑
法律推理
-
Keywords
presumptive reasoning
argumentation theory
informal logic
legal reasoning
-
分类号
B812
[哲学宗教—逻辑学]
F737.12
[经济管理—产业经济]
-
-
题名论假设性法律推理
被引量：1
- 3
-
-
作者
齐建英
-
机构
郑州大学马克思主义学院
-
出处
《中南大学学报（社会科学版）》
CSSCI
2015年第2期60-66,共7页
-
基金
河南省哲学社会科学规划项目"人权司法保障的法律推理向度研究"(2014CFX015)
河南省教育厅人文社会科学研究项目"群众路线的司法向度--基于法律推理的研究"(2014-gh-456)
-
文摘
假设性推理是相对于演绎推理和归纳推理提出的"第三类推理",其基本特征主要体现在前提的不完备性、结论的非单调性和过程的对话性上。法律推理是一种在特定语境中进行的言语交际活动。正是语境如影随形地影响着法律推理的整个言语进程,法律推理才呈现出假设性的特征,作为假设性推理而存在。假设性法律推理的提出并不是对法律推理其他逻辑形式的否定,而是对法律推理逻辑属性的进一步认识和深化。在追求确定性和可预测性的基础上,肯认法律推理的假设性,法律推理就有了更加全面而统一的逻辑基础。
-
关键词
假设性推理
法律推理
语境
演绎推理
归纳推理
-
Keywords
hypothetical legal reasoning
legal reasoning
context
deductive reasoning
inductive reasoning
-
分类号
D90
[政治法律—法学理论]
-
-
题名假设验证推理方法在乳胶机械故障诊断中的应用
- 4
-
-
作者
陈学文
黄志坚
-
机构
广东轻工职业技术学院机电工程系
广东工业大学机电学院
-
出处
《机床与液压》
北大核心
2007年第6期238-240,共3页
-
文摘
开发了基于专家知识的假设验证推理策略,并应用于乳胶机械故障诊断专家系统。这种诊断系统采用正-反向混合推理的策略。反向推理则首先假设结论再搜索证据,正向推理从证据出发推出结论,然后找到两种推理的交点。
-
关键词
乳胶机械设备
故障诊断系统
假设验证推理
-
Keywords
Emulsion machine equipments
Breakdown diagnosis system
The inference method of verification suppose
-
分类号
TP277
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名一种基于遗传算法的概率假设-保证验证方法与实现
被引量：1
- 5
-
-
作者
马艳
曹子宁
-
机构
南京航空航天大学计算机科学与技术学院
南京航空航天大学高安全系统的软件开发与验证技术工业和信息化部重点实验室
南京航空航天大学模式分析与机器智能工业和信息化部重点实验室
光电控制技术重点实验室
-
出处
《南京邮电大学学报（自然科学版）》
北大核心
2019年第6期54-61,共8页
-
基金
国家重点基础研究发展计划(973计划)(2014CB744903)
中国航空科学基金(20150652008,20185152035)
+3 种基金
中央高校业务基金(NZ2013306)
国家自然科学基金(61303022,61572253)
江苏省高校自然科学研究重大项目(17KJA520002)
留学人员科技创新择优资助项目
-
文摘
概率假设-保证推理(Probabilistic Assume-Guarantee Reasoning)是一种用于缓解随机模型检测中状态空间爆炸的方法,其将整个系统的验证分解为对较小组件的验证,组合较小组件的验证结果以达到对整个系统的验证。针对目前基于学习的概率假设-保证推理过程的缺陷:因学习假设过程中所有中间结果都需要存储而造成很高的空间复杂度,提出一种基于遗传算法(Genetic Algorithm,GA)学习假设的概率假设-保证推理方法,并将其用于组合验证MDP的正则安全性质。遗传算法本质上是一种随机算法,它的正确性通过满足训练集中的所有约束条件保证。该方法不需要记录中间结果,只需记录问题域和训练集的编码。因此,大大降低了产生假设的空间复杂度。实现了该概率假设-保证推理框架的原型工具,并通过领导人选举协议的实例对比了其有效性。
-
关键词
随机模型检测
假设-保证推理
遗传算法
正则安全性
-
Keywords
stochastic model checking
assume-guarantee reasoning
genetic algorithm
regular safe property
-
分类号
TP3-05
[自动化与计算机技术—计算机科学与技术]
-
-
题名化工火灾事故调查方法研究
被引量：10
- 6
-
-
作者
郑斌
陈国华
-
机构
华南理工大学机械与汽车工程学院
石家庄市公安消防支队
-
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2010年第7期63-70,共8页
-
基金
国家"十一五"科技支撑计划项目资助(2007BAK22B04)
-
文摘
为克服化工火灾调查中人为因素的影响,增强事故调查的科学性和准确性,在总结化工火灾现场特点的基础上,提出化工火灾事故调查时应遵循的假设推理法,通过证据收集、分析资料、建立假设、检验假设和选择假设,构建化工火灾事故调查的证据系统,包括实物证据,位置证据、文件证据和人证,从火灾动力学角度分析了火灾痕迹的影响因素。结果表明:假设推理法重视证据收集,综合使用归纳推理和演绎推理,有助于避免主观判断的影响;采用系统方法收集证据,扩大证据收集的范围,列举证据清单和优先考虑敏感性证据的方法有助于提高调查效率;火灾行为、材料的热响应和灭火行动对火灾痕迹的形成有直接影响,分析时应充分考虑,以免作出错误的判断。
-
关键词
事故调查
化工火灾
假设推理
证据
痕迹
-
Keywords
accident investigation
chemical fire
hypothetical reasoning
evidence
mark
-
分类号
X928.7
[环境科学与工程—安全科学]
-
-
题名基于主Agent信念修正的推测计算及其资源协商
被引量：4
- 7
-
-
作者
王黎明
黄厚宽
-
机构
北京交通大学计算机与信息技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2005年第11期1920-1928,共9页
-
基金
国家自然科学基金~~
-
文摘
基于假设推理(abduction-based)的推测计算(speculative computation)是在资源信息不能及时到达时,利用缺省假设进行计算的过程.在计算过程中,如果应答和信念不一致,则主Agent将修正它的信念.为了实现目标,在有限时间内使推测计算的结果更精确,主Agent要通过协商获得尽可能多的实际信息,协商是降低决策风险的主要途径.在介绍假设推理和推测计算的基本原理的基础上,提出了基于时间约束的推测计算扩展框架、基于时间约束的进一步协商框架和基于信念修正的协商算法,并将进一步协商框架和协商算法嵌入到推测计算的过程中,在协商过程中赋予主Agent更强的信念修正能力.最后,在货物运输领域的实验中,证实了基于信念修正的推测计算的有效性.
-
关键词
推测计算
信念修正
假设推理
协商对话
对话约束
时间约束
-
Keywords
speculative computation
belief revision
abduction
negotiation dialogues
dialogue constraint
time constraint
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名推测计算中多Agent的资源协商
被引量：1
- 8
-
-
作者
王黎明
黄厚宽
-
机构
北京交通大学计算机与信息技术学院
-
出处
《北方交通大学学报》
CSCD
北大核心
2004年第2期17-21,共5页
-
基金
国家"十五"重点科技攻关项目(2002BA407B)
-
文摘
推测计算是在信息不完全的情况下,提前进行决策的一种计算过程.它以假设推理为基础,并利用缺省值对未来的问题进行计算.事实上,在计算过程中,缺省值并不是唯一的基础信息.在时间允许的情况下,主Agent可以通过协商获得尽可能多的真实信息,信息越丰富,推测计算的结果越精确.为了强化协商,本文分析了假设推理和推测计算的基本理论,并以此为基础给出了推测计算的扩展框架,定义了协商语言,提出了协商算法,并将其嵌入到了推测计算中,从而可以提高推测计算的精确性.
-
关键词
计算机应用
推测计算
假设推理
协商对话
对话约束
-
Keywords
computer application
speculative computation
abduction
negotiation dialogues
dialogue constraint
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名评“屈原否定论”者的研究方法
- 9
-
-
作者
陆永品
-
出处
《河北学刊》
1984年第5期76-81,共6页
-
文摘
屈原是我国古代第一个伟大的诗人,他生活在战国时代的楚国,创造了“骚体”文学,在中国文学史上占有重要的地位。对此,在我国近代以前,并没有人怀疑过。只是到了近代,廖季平在他的《楚辞新解》里才提出“屈原并没有这人”的怪论。1922年,胡适在其《读【楚辞】》一文里,也对屈原的存在提出怀疑。尤其是三十年代何天行的《楚辞新考》,对屈原及其作品作了全面的否定。由于受中国屈原“否定论”的影响,国外的屈原研究者,特别是日本的少数学者,相继对屈原及其作品也提出种种怀疑和否定。近年来日本三泽玲尔的《屈原问题考辨》,可谓达到登峰造极的地步。他对屈原其人及其作品,都作了彻底的否定。他声称:“屈原是一躯过去中国文学史上的偶像,……但是为了科学的现代化,我们毫不要什么偶像。” (《屈原问题考辨·后记》)在他文章的字里行间,颇有咄咄逼人之势。从国内外屈原“否定论”的文章来看,他们是一脉相承的。因此,对于这个问题,很有进行深入研究的必要。关于屈原及其作品的客观存在,是无须重新研究的。需要研究的是,新老屈原“否定论”者为什么会得出许多奇奇怪怪的结论。我认为,不能仅仅就事论事,必须从研究方法论入手,研究新老屈原“否定论”的研究方法,才能找到问题的症结。所以,本文拟从以偏概全。
-
关键词
“屈原否定论”
刘向
假设推理
胡适
《史记》
廖季平
司马迁
主观臆断
楚辞
研究方法
-
分类号
C55
[社会学]
-
-
题名Rips的“证明心理学理论”述评
- 10
-
-
作者
胡竹菁
胡笑羽
-
机构
江西师范大学心理学院
江西师范大学心理研究所
-
出处
《心理学探新》
CSSCI
北大核心
2020年第6期510-517,共8页
-
文摘
该文对Rips提出的“证明心理学理论”做了综合述评。这一理论主要包含三方面的内容:对推理过程与人类记忆相互关系的解释;(2)根据逻辑学中的“自然推理规则”进行修正后用于解释人类推理过程的推理规则;(3)关于如何控制推理过程的论述。Rips认为他于1983年设计并实施的以“自然推理系统”所含各推理规则为实验材料的实验结果支持该理论的基本观点。
-
关键词
自然演绎系统
证明心理学
记忆假设
推理规则假设
控制假设
-
Keywords
A Natural Deduction System
The Psychology of Proof
assumptions about memory
assumptions about inference rules
assumptions about control
-
分类号
B842.5
[哲学宗教—基础心理学]
-
