逻辑与归纳逻辑程序设计

摘要：

@@ 归纳是哲学家、逻辑学家、经验自然科学家和人工智能科学家共同关注的主题.亚里士多德说:"归纳法是从个别到一般的过程."[1]人工智能研究中与归纳密切相关的两个领域是不确定性推理和机器学习.最近十几年,归纳逻辑程序设计(Inductive Logic Programming,简称ILP)这一术语频繁出现在人工智能文献中.这一术语是20世纪90年代初由马格来顿(S. Muggleton)引进的,他把归纳逻辑程序设计定义在机器学习与逻辑程序设计的交叉领域.这方面的研究工作大约开始于20世纪70年代,90年代初露头角.1991年马格来顿联合布拉兹蒂德(P. Brazdid)组织了第一次归纳逻辑程序设计的国际研讨会,吸引了一批研究者.此后每年举办一次,到2005年已经是第十五次.归纳逻辑程序设计是一个正在蓬勃发展的主题,显示出强劲的发展势头.从名称看它似乎是把归纳逻辑的理论应用于计算机程序的设计,阅读相关文献的结果却出乎笔者最初的推测,归纳逻辑程序设计的基础是演绎逻辑.

机标关键词：归纳逻辑程序设计、逻辑与

分类号：B81(逻辑学(论理学))

资助基金：教育部哲学社会科学研究项目05JZD0008

在线出版日期：2007-04-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：65-69