智能的核心推理:归纳的形式化——AlphaGo归纳学习的进展 被引量：4

1

作者 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2017年第6期173-184,共12页

探讨智能体的归纳学习中如何进行形式化的问题,首先将归纳学习定义为给定函数的实例集合时如何求得它的近似函数;展开讨论其面临的实例数N过大的困境。然后从基本的决策树学习入手,引入归纳学习中形式化和量化,并讨论学习的可行性。最... 探讨智能体的归纳学习中如何进行形式化的问题,首先将归纳学习定义为给定函数的实例集合时如何求得它的近似函数;展开讨论其面临的实例数N过大的困境。然后从基本的决策树学习入手,引入归纳学习中形式化和量化,并讨论学习的可行性。最后给出了先验知识在减小N的范围上的作用,和智能体学习理论上的新进展。 展开更多

关键词 智能体 机器学习 假设空间 先验知识 AlphaGo

在线阅读 下载PDF 职称材料

人工智能中一阶逻辑的现代表达方法 被引量：4

2

作者 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2016年第6期154-157,共4页

人工智能研究中使用的主要语言是一阶逻辑语言,而非程序语言,其特点在于计算不再是其主要特征,更注重推理过程和知识库构建,结合诊断规则和因果规则,使智能体获得理性判断能力。

关键词 人工智能 一阶逻辑 知识库 语言表达能力

在线阅读 下载PDF 职称材料

概念划分逻辑方法的新进展 被引量：2

3

作者 邱德钧 冯霞 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2019年第6期180-185,共6页

对众多复杂事物进行划分是人类认识事物最基本的方法,因为数量增多与人类对事物的认识和把握能力呈现反向变化关系,借助于划分可以有效提高人类的认识能力;若将大量研究对象数据化,则可以精确给事物排序以利于快速查找;当被研究的事物... 对众多复杂事物进行划分是人类认识事物最基本的方法,因为数量增多与人类对事物的认识和把握能力呈现反向变化关系,借助于划分可以有效提高人类的认识能力;若将大量研究对象数据化,则可以精确给事物排序以利于快速查找;当被研究的事物在某种程度属于未知时,也依然可以对其进行聚类分析研究,以提高人类分析事物的能力。 展开更多

关键词 划分 排序 聚类

在线阅读 下载PDF 职称材料

论“可能世界”

4

作者 邱德钧 刘安诚 《兰州大学学报（社会科学版）》 CSSCI 1989年第4期57-61,共5页

近年来模态逻辑及其研究工作,受到了国内许多逻辑学工作者的重视,其中广泛使用的“可能世界”(Possible world)概念也为人们熟悉和了解。木文拟就这一概念从逻辑学和哲学的角度谈几点意见。 (一) 在模态逻辑的解释中,都普遍采用了“可... 近年来模态逻辑及其研究工作,受到了国内许多逻辑学工作者的重视,其中广泛使用的“可能世界”(Possible world)概念也为人们熟悉和了解。木文拟就这一概念从逻辑学和哲学的角度谈几点意见。 (一) 在模态逻辑的解释中,都普遍采用了“可能世界”这一概念进行语义解释。该事实为人熟知,但很少有人深究这一概念的来源。莱布尼兹最早从哲学上提出了“可能世界”概念。在莱氏那里,这是一个本体论概念。莱布尼兹认为,人们生活于其中的现实世界,不是上帝创造的唯一的世界。事实上, 展开更多

关键词 可能世界理论 模态逻辑 现实世界 逻辑学家 莱布尼兹 概念 本体论 分析哲学 几点意见 克里普克

在线阅读 下载PDF 职称材料

命题逻辑PL表达能力和应用

5

作者 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2012年第6期99-102,共4页

命题逻辑PL系统依靠(?),∧,∨,→,←→算子是否足以表达任意n元布尔函数,是大多逻辑著作不注重叙述的问题,本文就此作详细的说明;在此基础上,利用二叉树内在的结构特点,定义INF范式的表达,以该范式的惟一性展现命题公式在计算上的独特... 命题逻辑PL系统依靠(?),∧,∨,→,←→算子是否足以表达任意n元布尔函数,是大多逻辑著作不注重叙述的问题,本文就此作详细的说明;在此基础上,利用二叉树内在的结构特点,定义INF范式的表达,以该范式的惟一性展现命题公式在计算上的独特作用。 展开更多

关键词 算子 布尔函数 二叉树 指派 INF

在线阅读 下载PDF 职称材料

传统逻辑直言命题推理的扩充

6

作者 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2011年第6期79-82,共4页

传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最... 传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。 展开更多

关键词 直言推理 形式化 谓词逻辑 有向图 PROLOG语言

在线阅读 下载PDF 职称材料

自然语言的语义推理

7

作者 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 1995年第1期59-65,共7页

语义学研究，尤其是自然语言的语义学研究，现在已逐步成为逻辑学最重要的课题之一。本文阐明了模糊性与语义模糊性的概念，并进而用查德的理论讨论了语义推理，提出这种推理的几个应用实例，是对语义推理理论所作的一种有价值的探索。

关键词 自然语言 隶属函数 语义推理 形式语言 模糊性 模糊概念 算子 模糊子集 经典集合 可能性分布

在线阅读 下载PDF 职称材料

范式的直观图形求解法

8

作者 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2014年第6期160-164,共5页

用n维图形代替布尔公式求解任一命题公式的范式,使抽象的公式变得形象直观,易于接受;给出具体应用,并总结该方法的一般规则,以便于在工程技术和解题中使用。

关键词 命题公式 范式 n维立方图

在线阅读 下载PDF 职称材料

现代产业集群理论的新进展及其述评 被引量：9

9

作者 卫玲 邱德钧 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2007年第2期122-127,共6页

产业集群理论在初步形态的基础上打破了传统产业经济学的分析方法,形成了产业集群理论的新进展。主要表现在:从创新环境角度研究产业集群,从知识扩散的角度研究产业集聚现象,从社会资本角度研究产业集群等。产业集群理论的新进展对产业... 产业集群理论在初步形态的基础上打破了传统产业经济学的分析方法,形成了产业集群理论的新进展。主要表现在:从创新环境角度研究产业集群,从知识扩散的角度研究产业集聚现象,从社会资本角度研究产业集群等。产业集群理论的新进展对产业集聚现象的解释提供了理论工具,为区域产业竞争力的形成提供了新的分析思路,为区域产业发展政策的制定提供了新的方法。产业集群理论的新进展对我国区域经济发展和区域产业政策的制定具有重要启示:以产业集群为途径,提高我国的区域产业竞争优势;以产业集群为载体,不断提高区域经济的竞争能力;研究中国产业集群的一般规律,促进区域产业集群的成长;培育新的区域合作机制,创造产业集群的形成基础。 展开更多

关键词 产业集群 产业集群理论 产业经济学 区域经济发展 区域产业政策

在线阅读 下载PDF 职称材料

非商品化和商品化的紧张——从失业保险再看瑞典的福利改革

10

作者 魏淑娟 邱德钧 《西北民族大学学报（哲学社会科学版）》 CSSCI 2013年第1期144-150,共7页

"人民福利"曾为瑞典赢得了"福利之窗"的美名,但随着20世纪70年代石油危机和全球化经济的冲击,瑞典国内经济疲软,福利预算赤字和国家财政赤字快速增长,以及面对国际、国内的压力,瑞典政府逐渐反思"社会民主主义... "人民福利"曾为瑞典赢得了"福利之窗"的美名,但随着20世纪70年代石油危机和全球化经济的冲击,瑞典国内经济疲软,福利预算赤字和国家财政赤字快速增长,以及面对国际、国内的压力,瑞典政府逐渐反思"社会民主主义"福利模式过度去商品化的弊端并进行福利改革。本文在概述瑞典社会福利非商品化特征的文化、政治、经济根源的基础上,通过对失业保险危机前的非商品化特点的呈现,以及失业保险在危机后改革中的商品化与非商品化紧张的现实,揭示具有"非商品化"福利传统的瑞典,其"商品化"福利改革任重道远。 展开更多

关键词 非商品化 商品化 社会民主主义 充分就业 失业

在线阅读 下载PDF 职称材料

水稻新品种“苏丰粳一号”的选育与栽培 被引量：1

11

作者 杨锦昌 邱德钧 +2 位作者 陆坤行 王建平 沈国清 《上海农业科技》 2001年第2期44-45,共2页

关键词 水稻 苏丰粳一号吕种 选育 产量 特征特性 栽培技术要点

在线阅读 下载PDF 职称材料

甘肃省逻辑学会年会在兰州召开

12

作者 邱德钧 《社会科学（甘肃）》 1988年第4期95-95,共1页

甘肃省逻辑学会第二次会员代表大会暨学术讨论会于1988年4月20日至4月22日在兰州召开。甘肃省社会科学联合会副主席强宗恕同志以及有关单位负责人到会并对大会的召开表示热烈的祝贺。

关键词 甘肃省 兰州 学会 逻辑 第二次会员代表大会 社会科学联合会 年会 学术讨论会

在线阅读 下载PDF 职称材料