期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
诱导推理及其应用 被引量:3
1
作者 马绍汉 张宏 《计算机科学》 CSCD 北大核心 1993年第5期1-6,共6页
诱导推理方法是三种基本的逻辑推理方法之一——其余的方法为演绎和归纳。本文概述了诱导推理方法的研究及其在其它问题领域中的应用,并论述了该方法与其它方法相结合的研究。
关键词 诱导推理 应用 人工智能
下载PDF
诱导推理的一种计算模型
2
作者 胡久稔 王克文 《小型微型计算机系统》 EI CSCD 北大核心 1996年第11期46-50,共5页
基子辩论推理模式,本文提出了诱导推理的一种计算模型,其特点简洁、直观,并且包含了多种现有的诱导框架。该诱导模型为常识推理的计算机实现提供了一种新的途径。
关键词 诱导推理 计算模型 人工智能
下载PDF
基于诱导有序加权证据推理方法的装备使用质量综合评价
3
作者 王志 李星新 于永利 《兵工自动化》 2023年第7期5-9,25,共6页
针对装备质量评价工作涉及的因子赋权以及通过调查问卷进行评价时存在合理的“信息缺失”等问题,采用诱导有序加权证据推理(induced ordered weighted evidential reasoning,IOWER)方法进行装备使用质量评价。分析多策略的合成赋权方法... 针对装备质量评价工作涉及的因子赋权以及通过调查问卷进行评价时存在合理的“信息缺失”等问题,采用诱导有序加权证据推理(induced ordered weighted evidential reasoning,IOWER)方法进行装备使用质量评价。分析多策略的合成赋权方法,介绍混合赋权策略,利用Matlab实现求解;分析不完全信息下基于证据推理的装备使用质量综合评价,并对某炮兵营装备的使用结果进行分析。分析结果表明,运用IOWER方法有利于得出更准确的评价结论。 展开更多
关键词 诱导有序加权证据推理(IOWER) 不完全信息 使用质量 综合评价 赋权策略
下载PDF
基于析取逻辑程序设计的诱导推理
4
作者 王克文 陈火旺 吴泉源 《中国科学(E辑)》 CSCD 1998年第1期90-96,共7页
利用辩论推理模式 ,将负文字的析取式作为诱导推理的假设 ,建立了析取逻辑程序设计的一种诱导语义框架DAS .它不仅是实现辩论推理 (诱导 )的一种简单直观语义而且为析取逻辑程序的语义提供了一个统一的框架 .特别地 ,证明了著名的良基 (... 利用辩论推理模式 ,将负文字的析取式作为诱导推理的假设 ,建立了析取逻辑程序设计的一种诱导语义框架DAS .它不仅是实现辩论推理 (诱导 )的一种简单直观语义而且为析取逻辑程序的语义提供了一个统一的框架 .特别地 ,证明了著名的良基 (Well Founded)语义和EGCWA等都可以嵌入DAS . 展开更多
关键词 逻辑程序设计 常识推理 辩论推理 诱导推理
原文传递
一类赋权诱导问题的多项式时间算法
5
作者 吴晔 马绍汉 《计算机学报》 EI CSCD 北大核心 1997年第3期251-258,共8页
本文介绍了赋权诱导推理的基本概念及其求解算法复杂性研究的现状.诱导推理在人工智能领域有广泛的应用前景,但现有的求解算法都未能从根本上排除NP-难解性的困扰,本文考虑了其中一类子问题:二阶独立赋权诱导问题,并给出求其最... 本文介绍了赋权诱导推理的基本概念及其求解算法复杂性研究的现状.诱导推理在人工智能领域有广泛的应用前景,但现有的求解算法都未能从根本上排除NP-难解性的困扰,本文考虑了其中一类子问题:二阶独立赋权诱导问题,并给出求其最优解的多项式时间算法.本文还对其它诱导问题进行了分析,给出P问题与NP问题的分界线. 展开更多
关键词 诱导推理 赋权诱导推理 多项式时间算法 算法
下载PDF
“AB一AB”格式嬗变考察
6
作者 贺卫国 《广西师范学院学报(哲学社会科学版)》 2008年第4期112-117,共6页
现代汉语没有"AB一AB"式重叠,这是语言发展演变的结果。元末,"AB一AB"重叠在北方话中开始使用;稍晚,ABAB式产生。最初,两者的出现频率相差不远。"AB一AB"式重叠产生后不久,使用频率先是日益减少再日益增... 现代汉语没有"AB一AB"式重叠,这是语言发展演变的结果。元末,"AB一AB"重叠在北方话中开始使用;稍晚,ABAB式产生。最初,两者的出现频率相差不远。"AB一AB"式重叠产生后不久,使用频率先是日益减少再日益增多,明末清初达到顶峰。清初以后,"AB一AB"的使用再次减少,现代汉语已基本上不再使用。"AB一AB"式重叠的产生当是诱导推理的结果,它的消亡则可能是汉语语法结构的明晰性、经济性与汉语音节配合追求四字格的习惯造成的。 展开更多
关键词 近代汉语 “AB-AB” 历史演变 诱导推理
下载PDF
分离逻辑的技术基础与研究现状 被引量:1
7
作者 王捍贫 张博闻 《广州大学学报(自然科学版)》 CAS 2019年第2期1-9,共9页
随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分析共享可操作存储程序的新方法,近年来逐渐发展成为针对可扩... 随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分析共享可操作存储程序的新方法,近年来逐渐发展成为针对可扩展程序的主流验证技术之一.文章阐述分离逻辑的研究背景、理论基础以及验证原理,详细介绍其对存储空间抽象描述的思想,通过实例说明分离逻辑的推导策略.特别地,介绍了双向诱导推理对循环链表程序片段的验证过程,展现了在未知系统当前状态的情况下,分离逻辑验证未完成代码,甚至代码片段正确性的可行性.文章还综述了诸多基于分离逻辑的各种拓展,以增加对分离逻辑研究状况的了解. 展开更多
关键词 分离逻辑 形式化方法 双向诱导推理 程序验证
下载PDF
教给学生基本方法 培养学习的实验能力
8
作者 马新福 《中小学实验与装备》 1999年第6期45-45,共1页
关键词 基本方法 植物向光性 设计实验 实验能力 对比实验 演绎推理 植物生长 植物的茎 创造思维 诱导推理
下载PDF
Popularization and Application of Haidaosu(5% Amino-oligosaccharin)as a Plant Immunity Inducer in Main Crops Cultured by Corps 被引量:1
9
作者 余璐 《Agricultural Science & Technology》 CAS 2015年第12期2733-2735,2741,共4页
The plant immunity inducer, amino-oligosaccharin, has remarkable effects in disease resistance, cold tolerance, growth promotion, yield increase and quality improvement. This paper introduced the action mechanism of a... The plant immunity inducer, amino-oligosaccharin, has remarkable effects in disease resistance, cold tolerance, growth promotion, yield increase and quality improvement. This paper introduced the action mechanism of amino-oligosaccharin, its main application effects on crops and application techniques. In 2013-2014, ex- periments were conducted on a variety of crops at multiple locations by Xinjiang Corps as well as popularization and application in 2013-2014, and it was shown by the popularization and application that the application of amino-oligosaccharin could promote plant growth, reduce the incidence of crop diseases and improve crop yield and product quality. 展开更多
关键词 Plant immunity inducer Action mechanism Popularization and applica- tion
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部