-
题名古德曼悖论与形式的归纳逻辑系统
被引量：2
- 1
-
-
作者
熊明
-
机构
华南师范大学政法学院
-
出处
《华南师范大学学报（社会科学版）》
CSSCI
2003年第5期28-34,54,共8页
-
文摘
之所以会产生古德曼悖论 ,不仅是因为类律假说和偶适假说的混同 ,而且也是因为对归纳的这样一个似是而非的刻画 :假设归纳推理的前提都为真 ,则其结论不一定但很可能为真 (即所谓的“归纳概然性特征”)。这证明基于归纳的概然性特征 ,不可能建立起形式的归纳逻辑。相反 ,一旦以下述归纳的必然性特征来刻画归纳 :假设归纳推理的前提都为假时 ,则其结论一定为假 。
-
关键词
归纳逻辑
古德曼悖论
归纳逻辑系统
归纳推理
类律假说
偶适假说
-
Keywords
inductive logic
Goodman Paradox
inductive logical system
-
分类号
B812.5
[哲学宗教—逻辑学]
B812.3
-
-
题名Ant-FOIL:一种归纳逻辑蚁群学习系统
- 2
-
-
作者
颜晨阳
-
机构
宁波大学职教学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2015年第23期112-118,共7页
-
基金
浙江省自然科学基金(No.Y1100052)
浙江省教育厅科研课题资助项目(No.Y201327646)
宁波城市学院科研基金(No.ZZT13134)
-
文摘
提出了一种新型的归纳逻辑学习系统Ant-FOIL,该系统结合了蚁群优化元启发方法和FOIL算法,利用蚁群系统优化框架来指导FOIL进行规则构建。系统在若干经典归纳逻辑测试数据集上进行了测试,结果显示Ant-FOIL在预测准确率等关键指标上的表现要优于标准FOIL算法以及FOIL系统的若干改进变体(mFOIL、nFOIL、kFOIL和GILP)和其他一些成熟的归纳逻辑学习算法(Aleph和FOIL)。
-
关键词
归纳逻辑编程
一阶逻辑
蚁群系统
-
Keywords
inductive logical programming
first order logic
ant colony system
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名专家系统中的一类不确定性归纳型自动推理机制
被引量：3
- 3
-
-
作者
杨炳儒
-
机构
北京科技大学信息工程学院计算机系
-
出处
《模式识别与人工智能》
EI
CSCD
北大核心
1997年第4期326-331,共6页
-
文摘
本文在勃克斯(A.W.Burks)构筑的描述因果世界的细胞自动机的基础上,提出了可综合处理随机不确定性与模糊不确定性的广义细胞自动机与相应的广义归纳逻辑因果模型,从而对于在专家系统的构建中,长期没有得到很好解决的不确定性归纳型自动推理的问题作了有意义的探索;并在基于专家系统的智能控制器的研制中得到了较好的应用.
-
关键词
归纳逻辑
自动推理
专家系统
不确定性
-
Keywords
Language Field, Generalized Cell Automation, Generalized inductive logical Causal Model, Automatic Reasoning, Expert system
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于归纳逻辑程序设计的学习方法及其实现的研究
被引量：1
- 4
-
-
作者
刘贵全
陈恩红
蔡庆生
-
机构
中国科学技术大学计算机系
-
出处
《软件学报》
EI
CSCD
北大核心
1997年第10期768-771,共4页
-
基金
国家自然科学基金
国家教委博士点基金
-
文摘
归纳逻辑程序设计是机器学习领域中的一个新方法，它研究的是从实例和背景知识进行逻辑程序（新知识）的构造．本文介绍了归纳逻辑程序设计的基本理论和方法，并介绍了这种学习方法在专家系统中的应用情况．
-
关键词
逻辑程序设计
机器学习
专家系统
学习方法
ILP
-
Keywords
inductive logic programming, machine learning, expert system, noise data
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
TP311
[自动化与计算机技术—控制科学与工程]
-
