CAJ | 학술논문

归纳是哲学家、逻辑学家、经验自然科学家和人工智能科学家共同关注的主题。亚里士多德说：“归纳法是从个别到一般的过程。”人工智能研究中与归纳密切相关的两个领域是不确定性推理和机器学习。最近十几年，归纳逻辑程序设计（Inductive Logic Programming，简称ILP）这一术语频繁出现在人工智能文献中。这一术语是20世纪90年代初由马格来顿（S．Muggleton）引进的，他把归纳逻辑程序设计定义在机器学习与逻辑程序设计的交叉领域。这方面的研究工作大约开始于20世纪70年代，90年代初露头角。1991年马格来顿联合布拉兹蒂德（P．Brazdid）组织了第一次归纳逻辑程序设计的国际研讨会，吸引了一批研究者。此后每年举办一次，到2005年已经是第十五次。归纳逻辑程序设计是一个正在蓬勃发展的主题，显示出强劲的发展势头。从名称看它似乎是把归纳逻辑的理论应用于计算机程序的设计，阅读相关文献的结果却出乎笔者最初的推测，归纳逻辑程序设计的基础是演绎逻辑。
귀납시철학가、라집학가、경험자연과학가화인공지능과학가공동관주적주제。아리사다덕설：“귀납법시종개별도일반적과정。”인공지능연구중여귀납밀절상관적량개영역시불학정성추리화궤기학습。최근십궤년，귀납라집정서설계（Inductive Logic Programming，간칭ILP）저일술어빈번출현재인공지능문헌중。저일술어시20세기90년대초유마격래돈（S．Muggleton）인진적，타파귀납라집정서설계정의재궤기학습여라집정서설계적교차영역。저방면적연구공작대약개시우20세기70년대，90년대초로두각。1991년마격래돈연합포랍자체덕（P．Brazdid）조직료제일차귀납라집정서설계적국제연토회，흡인료일비연구자。차후매년거판일차，도2005년이경시제십오차。귀납라집정서설계시일개정재봉발발전적주제，현시출강경적발전세두。종명칭간타사호시파귀납라집적이론응용우계산궤정서적설계，열독상관문헌적결과각출호필자최초적추측，귀납라집정서설계적기출시연역라집。