歸納邏輯視野下的數(shù)據(jù)挖掘研究綜述

楊寧芳

(1.西南大學(xué)邏輯與智能研究中心，重慶 400716;2.中國計(jì)量學(xué)院，杭州 310018)

歸納邏輯視野下的數(shù)據(jù)挖掘研究綜述

楊寧芳1，2

(1.西南大學(xué)邏輯與智能研究中心，重慶 400716;2.中國計(jì)量學(xué)院，杭州 310018)

對歸納邏輯思想在數(shù)據(jù)挖掘中的應(yīng)用研究進(jìn)行了綜述。國外的研究主要集中在人工智能方面，重點(diǎn)是高階歸納邏輯研究，通過多態(tài)歸納邏輯、機(jī)器學(xué)習(xí)等方面發(fā)展了歸納邏輯理論。國內(nèi)的研究集中在知識發(fā)現(xiàn)方面，例如通過研究關(guān)聯(lián)規(guī)則等探討知識發(fā)現(xiàn)的內(nèi)在機(jī)理。相對來說，國外的發(fā)展更偏重于應(yīng)用領(lǐng)域，而國內(nèi)也在不斷擴(kuò)展歸納邏輯的理論應(yīng)用，但在數(shù)據(jù)挖掘領(lǐng)域研究仍然偏少。

歸納邏輯;數(shù)據(jù)挖掘;知識發(fā)現(xiàn);人工智能

主持人語:中國邏輯學(xué)會秘書長 鄒崇理研究員

本期的“邏輯學(xué)與科學(xué)方法論”欄目收錄的兩篇論文分別是關(guān)于邏輯哲學(xué)理論的闡述與邏輯方法應(yīng)用之探析的。楊寧芳博士的《歸納邏輯視野下的數(shù)據(jù)挖掘研究綜述》一文系統(tǒng)梳理了國內(nèi)外學(xué)界對于歸納邏輯思想在數(shù)據(jù)挖掘領(lǐng)域應(yīng)用的研究，并總結(jié)了該研究在理論與實(shí)踐中的意義。陳昱竹的《蒯因論邏輯真理》一文則關(guān)注于邏輯哲學(xué)的核心——邏輯真理，該文在梳理萊布尼茨到維特根斯坦等前輩學(xué)者對邏輯真理的論述的基礎(chǔ)上，系統(tǒng)地介紹了蒯因從結(jié)構(gòu)、代換、模型、證明和語法上對邏輯真理作出的不同于以往的闡釋。

一、歸納邏輯與數(shù)據(jù)挖掘的發(fā)展

科學(xué)發(fā)展史表明，歸納邏輯在推動科技進(jìn)步、促進(jìn)科技發(fā)展方面起著巨大作用，自然科學(xué)的經(jīng)驗(yàn)定律、經(jīng)驗(yàn)公式大都是應(yīng)用歸納法總結(jié)出來的。隨著信息技術(shù)的發(fā)展，歸納邏輯在計(jì)算機(jī)應(yīng)用方面得到了廣泛的發(fā)展，例如歸納邏輯與知識創(chuàng)新，歸納邏輯與人工智能，歸納邏輯與認(rèn)知科學(xué)，歸納邏輯與科學(xué)決策，以及從應(yīng)用歸納邏輯角度對人類思維的認(rèn)知基礎(chǔ)與方法進(jìn)行系統(tǒng)的研究等。知識發(fā)現(xiàn)與數(shù)據(jù)挖掘作為互聯(lián)網(wǎng)及相關(guān)產(chǎn)業(yè)的核心技術(shù)，有著廣泛的應(yīng)用領(lǐng)域和發(fā)展前景，因此歸納邏輯和數(shù)據(jù)挖掘及知識發(fā)現(xiàn)的研究有著巨大的理論價(jià)值和應(yīng)用價(jià)值。

數(shù)據(jù)日益增多的現(xiàn)實(shí)推動了數(shù)據(jù)挖掘和知識發(fā)現(xiàn)技術(shù)空前的繁榮。從保健管理到社群網(wǎng)相互作用，數(shù)據(jù)已經(jīng)成為我們生活的組成部分。數(shù)據(jù)挖掘(Data Mining)就是從大量的、不完全的、有噪聲的、模糊的、隨機(jī)的實(shí)際應(yīng)用數(shù)據(jù)中，提取隱含在其中的、人們事先不知道的但又是潛在有用的信息和知識的過程。該技術(shù)根據(jù)人們的特定要求，從浩如煙海的數(shù)據(jù)中找出所需的信息來，供人們的特定需求使用。從理論上說，數(shù)據(jù)挖掘就是在操作者的主動參與下進(jìn)行知識發(fā)現(xiàn)的過程。知識發(fā)現(xiàn)是指在積累了大量的數(shù)據(jù)后，從中識別出有效的、新穎的、潛在的、最終可以理解并加以有目的運(yùn)用的知識，該技術(shù)是信息化社會發(fā)展到一定程度的必然產(chǎn)物，是從宏觀角度利用積累數(shù)據(jù)進(jìn)行知識抽象的高級階段。而歸納邏輯是指人們以一系列經(jīng)驗(yàn)事物或知識素材為依據(jù)，尋找出其服從的基本規(guī)律或共同規(guī)律，并假設(shè)同類事物中的其他事物也服從這些規(guī)律，從而將這些規(guī)律作為預(yù)測同類事物中的其他事物的基本原理的一種認(rèn)知方法。從歸納邏輯和數(shù)據(jù)挖掘的定義來看，兩者之間存在著某種必然的聯(lián)系。兩者的聯(lián)系到底體現(xiàn)在哪些方面?如何將已有的歸納邏輯理論應(yīng)用到數(shù)據(jù)挖掘中，從而為數(shù)據(jù)挖掘提供新的思路和新的技術(shù)和方法?這些問題的研究都具有很高的理論意義和現(xiàn)實(shí)意義。

據(jù)國外專家預(yù)測，隨著數(shù)據(jù)量的日益積累和計(jì)算機(jī)的廣泛應(yīng)用，在今后的5至10年，數(shù)據(jù)挖掘?qū)⒃谥袊纬梢粋€新型的產(chǎn)業(yè)，應(yīng)用領(lǐng)域包括設(shè)計(jì)、零售、金融、銀行、醫(yī)療、政府決策、企業(yè)財(cái)務(wù)、商業(yè)決策等，具有廣闊的發(fā)展前景。應(yīng)用歸納邏輯提升數(shù)據(jù)挖掘在相關(guān)領(lǐng)域的技術(shù)和方法，不僅具有實(shí)用價(jià)值而且具有巨大的經(jīng)濟(jì)價(jià)值。如果能夠找到新的數(shù)據(jù)挖掘技術(shù)和方法，將帶來非常大的經(jīng)濟(jì)利益。

隨著人們認(rèn)識與研究的深化，尤其是現(xiàn)代科技和社會的發(fā)展、信息化時(shí)代的到來，人們原有的對問題的描述處理工具和方法受到嚴(yán)峻挑戰(zhàn)，現(xiàn)實(shí)要求研究必須是經(jīng)驗(yàn)與理性的結(jié)合，必須以現(xiàn)實(shí)世界的實(shí)際問題為出發(fā)點(diǎn)，而不是以公理為出發(fā)點(diǎn)，因而歸納邏輯的作用顯得尤為突出。這在人工智能、知識工程、虛擬技術(shù)、網(wǎng)絡(luò)化和數(shù)據(jù)挖掘等的需求中充分地表現(xiàn)了出來。以人工智能研究為例，誠然，演繹邏輯是計(jì)算機(jī)科學(xué)的理論基礎(chǔ)，但人工智能研究卻離不開歸納邏輯。可以說，沒有歸納邏輯，特別是沒有現(xiàn)代歸納邏輯，就沒有人工智能研究。在人工智能研究過程中，一些計(jì)算機(jī)專家不得不踏入歸納邏輯領(lǐng)域，從而也推動了歸納邏輯理論的進(jìn)一步發(fā)展，同樣，歸納邏輯理論也必然會推動數(shù)據(jù)挖掘技術(shù)和方法的探索。

目前，歸納邏輯研究的重點(diǎn)正從理論體系構(gòu)建逐漸轉(zhuǎn)向?qū)嶋H應(yīng)用。本文沿襲這一發(fā)展趨勢，通過研究歸納邏輯，為數(shù)據(jù)挖掘技術(shù)提供新的理論支持，同時(shí)為邏輯學(xué)界擴(kuò)展了一個新的應(yīng)用領(lǐng)域，為歸納邏輯的發(fā)展提供了動力。通過將歸納邏輯理論應(yīng)用于數(shù)據(jù)挖掘以及知識發(fā)現(xiàn)中，以及將計(jì)算機(jī)邏輯和人腦邏輯之間的運(yùn)行機(jī)制進(jìn)行比較，必將對數(shù)據(jù)挖掘算法的研究產(chǎn)生影響，推動其更新。

二、國外研究現(xiàn)狀

20世紀(jì)40年代到70年代是國外歸納邏輯蓬勃發(fā)展的時(shí)期，現(xiàn)代歸納邏輯分成了四大派別，即經(jīng)驗(yàn)主義學(xué)派、邏輯貝葉斯主義學(xué)派、主觀貝葉斯學(xué)派(頻率學(xué)派、邏輯學(xué)派)和私人主義學(xué)派。這一階段取得了很多成果，也遇到了不少難題，隨后邏輯學(xué)界對歸納邏輯的研究逐漸減弱。80年代之后人工智能的學(xué)者進(jìn)入了這個領(lǐng)域，他們汲取邏輯學(xué)的思想精華，不斷推出新的成果，為歸納邏輯的研究帶來了生機(jī)和活力。人工智能領(lǐng)域機(jī)器學(xué)習(xí)的核心是歸納學(xué)習(xí)問題，與歸納邏輯有關(guān)的機(jī)器學(xué)習(xí)方式主要有:示例學(xué)習(xí)、基于說明的學(xué)習(xí)、啟發(fā)式學(xué)習(xí)、類比學(xué)習(xí)、聯(lián)結(jié)主義學(xué)習(xí)等。這些方面的研究使人們重新開始重視歸納邏輯的相關(guān)研究。

國外新的歸納邏輯理論研究較少，只有Jürgen Landes、Jeff Paris和 Alena Vencovská介紹了多態(tài)歸納邏輯，提出一些de Finetti風(fēng)格的、滿足譜交換的概率函數(shù)［1］。目前大部分最新的研究集中在高階歸納邏輯程序和數(shù)據(jù)挖掘的研究方面。歸納邏輯與歸納邏輯程序在研究對象上是一致的，都以歸納為研究對象。只不過歸納邏輯側(cè)重于歸納推理，強(qiáng)調(diào)理論研究，它的目標(biāo)主要是追求理論上的協(xié)調(diào)與完美;而歸納邏輯程序設(shè)計(jì)則側(cè)重于模擬人類最初的歸納思想，也即亞里士多德提出的從個別到一般的過程，它以實(shí)用性和效益為出發(fā)點(diǎn)，例如運(yùn)用高階歸納邏輯程序設(shè)計(jì)以解決形式相關(guān)的數(shù)據(jù)挖掘方法存在的問題。例子、背景知識、假設(shè)和目標(biāo)的概念都可用于高階邏輯程序設(shè)計(jì)語言。這種程序設(shè)計(jì)語言能夠描述復(fù)雜數(shù)據(jù)所表達(dá)的語意和模式，明確地支持包括圖形在內(nèi)的各種不同的數(shù)據(jù)類型。

David、Skillicorn和Yu Wang提出歸納邏輯是機(jī)器學(xué)習(xí)與邏輯程序的交叉點(diǎn)，其應(yīng)用越來越廣泛，對數(shù)據(jù)挖掘的方法有很好的指導(dǎo)意義［2］。他們認(rèn)為可以從實(shí)例提煉歸納邏輯研究構(gòu)架，從子句提供邏輯。這樣就提供了一個統(tǒng)一的表現(xiàn)形式和表達(dá)手段的例子、背景知識。而由此引起的理論都是表達(dá)的一階邏輯。這樣一種富于表現(xiàn)力的表達(dá)非常重要，所以人們會很自然地考慮運(yùn)用平行度提高歸納邏輯數(shù)據(jù)挖掘的性能。他們提出一個并行化技術(shù)，并實(shí)施了一個核心歸納邏輯程序設(shè)計(jì)系統(tǒng):Progol。該技術(shù)提供了一個最理想的分割計(jì)算數(shù)據(jù)訪問和交流需求的手段，使線性加速很容易實(shí)現(xiàn)。同時(shí)他們還討論，為什么信息流程的技術(shù)允許在多個數(shù)據(jù)集的性能結(jié)果和平臺報(bào)道中使用線性加速標(biāo)準(zhǔn)序列的算法。

Luc de Raedt提出值得注意的幾個問題，推理涉及不確定性、數(shù)據(jù)挖掘、機(jī)器模擬學(xué)習(xí)。他重點(diǎn)介紹基于邏輯編程方法的原則［3］。他關(guān)心形式化和系統(tǒng)、實(shí)現(xiàn)和應(yīng)用，以及理論歸納邏輯程序設(shè)計(jì)的概率。他同時(shí)介紹了概率歸納邏輯程序;而且詳細(xì)介紹了機(jī)器學(xué)習(xí)中最重要的概率邏輯關(guān)系的形式化和系統(tǒng)等技術(shù)，并應(yīng)用馬爾可夫的邏輯、棱鏡系統(tǒng)、貝葉斯邏輯程序、自主選擇的邏輯進(jìn)行程序設(shè)計(jì)。

哲學(xué)邏輯的發(fā)展中，模態(tài)邏輯、道義邏輯、多值邏輯，包括量子邏輯越來越受到關(guān)注。而歸納邏輯相對關(guān)注度在下降，目前歸納邏輯思想主要體現(xiàn)在歸納邏輯程序設(shè)計(jì)、人工智能、知識發(fā)現(xiàn)等方面。數(shù)據(jù)挖掘則建立在高階的歸納邏輯程序設(shè)計(jì)的基礎(chǔ)上。

三、國內(nèi)研究現(xiàn)狀

與國外相比，國內(nèi)對數(shù)據(jù)挖掘的研究起步稍晚，沒有形成整體力量。1993年國家自然科學(xué)基金首次支持該領(lǐng)域的研究項(xiàng)目。目前，國內(nèi)的許多科研單位和高等院校競相開展知識發(fā)現(xiàn)的基礎(chǔ)理論及應(yīng)用研究。其中，北京系統(tǒng)工程研究所對模糊方法在知識發(fā)現(xiàn)中的應(yīng)用進(jìn)行了較深入的研究;北京大學(xué)也在開展對數(shù)據(jù)立方體代數(shù)的研究;華中理工大學(xué)、復(fù)旦大學(xué)、浙江大學(xué)、中國科學(xué)技術(shù)大學(xué)、中科院數(shù)學(xué)研究所、吉林大學(xué)等單位開展了對關(guān)聯(lián)規(guī)則開采算法的優(yōu)化和改造;南京大學(xué)、四川大學(xué)和上海交通大學(xué)等單位探討、研究了非結(jié)構(gòu)化數(shù)據(jù)的知識發(fā)現(xiàn)以及Web數(shù)據(jù)挖掘。

國內(nèi)在歸納邏輯和計(jì)算機(jī)技術(shù)結(jié)合方面，王雨田首先倡導(dǎo)并開展了概率邏輯與人工智能相結(jié)合的研究。他提出將現(xiàn)代歸納邏輯與人工智能“嫁接”起來的設(shè)想，并建立了一個包括邏輯工作者和計(jì)算機(jī)工作者的課題組。我國學(xué)者鞠實(shí)兒、陳煒、陳曉平、韓建超等在這方面做了大量的工作。其他學(xué)者包括任曉明、何向東、桂起權(quán)、熊立文、楊炳儒等也在這方面取得了相關(guān)的研究成果。

桂起權(quán)認(rèn)為，經(jīng)典邏輯(尤其是歸納邏輯)的研究已經(jīng)進(jìn)入新階段，不僅突破了經(jīng)典演繹邏輯的狹隘眼界，而且開始突破純粹邏輯學(xué)家的圈子，計(jì)算機(jī)人工智能研究者已經(jīng)加盟于歸納邏輯知識創(chuàng)新的事業(yè)。歸納邏輯學(xué)者不再僅僅滿足于公理系統(tǒng)的抽象的形式美，而是更多地考慮人工智能應(yīng)用研究的新特點(diǎn)和新要求，并與之接軌。在科學(xué)哲學(xué)、人工智能和歸納邏輯的交叉點(diǎn)上已經(jīng)出現(xiàn)了一個新的研究領(lǐng)域。

劉宏嵐、高慶獅、楊炳儒提出:標(biāo)準(zhǔn)概率邏輯系統(tǒng)是標(biāo)準(zhǔn)概率空間的邏輯表示。其中命題是隨機(jī)事件的語言表示，命題的真值是命題所表示的事件的概率，真值滿足概率的公理化定義，具有概率的一切性質(zhì);命題間的關(guān)系是命題所表示的事件間的關(guān)系;命題的邏輯運(yùn)算是事件運(yùn)算的邏輯表示。概率邏輯中，命題或命題公式間的相等關(guān)系有兩個層面:等值和等義。其中等值就是真值相等［4］。

崔陽、楊炳儒提出關(guān)聯(lián)規(guī)則挖掘一直是數(shù)據(jù)挖掘領(lǐng)域中最重要、最活躍的研究內(nèi)容之一［5］。關(guān)聯(lián)規(guī)則描述事物之間的關(guān)聯(lián)性，但是通過支持度和置信度這兩個評價(jià)標(biāo)準(zhǔn)可知，關(guān)聯(lián)規(guī)則的挖掘過程中僅僅關(guān)注聯(lián)合概率表的一部分，因此存在著無法完全反映出事物間相關(guān)性的缺點(diǎn)。針對這一問題，研究者通常采取一些關(guān)聯(lián)分析方法，對得到的關(guān)聯(lián)規(guī)則挖掘結(jié)果作進(jìn)一步分析，以便盡可能多地獲取有意義的和用戶感興趣的規(guī)則，但尚不能完全克服上述缺點(diǎn)。

因果關(guān)聯(lián)規(guī)則是一類特殊的關(guān)聯(lián)規(guī)則，指規(guī)則的前件與后件之間存在因果關(guān)系，由于“因”的出現(xiàn)而導(dǎo)致“果”的發(fā)生。因果關(guān)聯(lián)規(guī)則與一般關(guān)聯(lián)規(guī)則的不同之處在于:前者規(guī)則的前件與后件之間不但具有關(guān)聯(lián)性，而且具有因果性;前者可以使用較為完備的推理機(jī)制進(jìn)行推理。有關(guān)因果關(guān)聯(lián)規(guī)則的挖掘，目前專門的研究還不是很多。但實(shí)際上因果關(guān)聯(lián)規(guī)則是知識發(fā)現(xiàn)中一個重要的知識類型，它能夠反應(yīng)客觀事物之間更為本質(zhì)和內(nèi)在的聯(lián)系。之所以選擇廣義歸納邏輯因果模型，主要是考慮到其具備較好的歸納推理機(jī)制，有利于在此基礎(chǔ)上形成不確定性因果歸納推理的計(jì)算模型和自動推理機(jī)制。

李琳娜、楊炳儒提出，邏輯的復(fù)雜結(jié)構(gòu)歸納學(xué)習(xí)方法的成果最早見于基于一階邏輯知識表示方式歸納邏輯程序設(shè)計(jì)(Inductire Logic Programming，LIP)，繼而出現(xiàn)了基于高階邏輯的復(fù)雜結(jié)構(gòu)學(xué)習(xí)方法［6］。基于高階邏輯的復(fù)雜結(jié)構(gòu)學(xué)習(xí)方法涵蓋并拓展了基于一階邏輯知識表示方式的ILP方法的學(xué)習(xí)能力。他們首先介紹基于一階邏輯知識表示方式的ILP方法，然后在分析一階邏輯與高階邏輯知識表示方式及其學(xué)習(xí)機(jī)制之間區(qū)別和聯(lián)系的基礎(chǔ)上，介紹基于高階邏輯的復(fù)雜結(jié)構(gòu)學(xué)習(xí)方法。目前，ILP已經(jīng)在知識獲取、科學(xué)發(fā)現(xiàn)以及邏輯程序設(shè)計(jì)方面取得了許多重要成果。

梁開健、梁泉、楊炳儒提出隨著數(shù)據(jù)量的海量擴(kuò)張、數(shù)據(jù)類型的復(fù)雜化，矛盾知識的問題越發(fā)突出，成為KDD領(lǐng)域中一個亟待解決的問題［7］。通過對知識發(fā)現(xiàn)內(nèi)在機(jī)理的研究，探討在動態(tài)的知識發(fā)現(xiàn)過程中矛盾知識的產(chǎn)生原因以及矛盾區(qū)間的求解方法，對解決當(dāng)前所面臨的若干難題將具有一定的理論和實(shí)踐意義。

四、國內(nèi)外研究之比較

從對國外和國內(nèi)的研究現(xiàn)狀的梳理可以看出，國外研究主要集中于高階歸納邏輯程序設(shè)計(jì)方面，以實(shí)際應(yīng)用為主。國內(nèi)學(xué)者也開始注重歸納邏輯的應(yīng)用問題，目前主要將歸納邏輯應(yīng)用于人工智能和知識發(fā)現(xiàn)，但很多研究都是介紹性的，缺乏具體的應(yīng)用實(shí)例。而我們想將數(shù)據(jù)挖掘這一目前熱門的應(yīng)用問題和歸納邏輯理論結(jié)合起來，相對來說，國內(nèi)外相關(guān)研究仍舊較少。通過對這個問題的研究，希望能推動我國數(shù)據(jù)挖掘方法和技術(shù)的進(jìn)一步發(fā)展，將歸納邏輯理論應(yīng)用于數(shù)據(jù)挖掘中，從而使其更好地應(yīng)用于實(shí)踐。

五、在歸納邏輯的視野下研究數(shù)據(jù)挖掘的創(chuàng)新之處

1.理論上的創(chuàng)新

首先，相關(guān)研究從歸納邏輯和數(shù)據(jù)挖掘的角度分別深入研究了兩者的特征，對數(shù)據(jù)挖掘的理論基礎(chǔ)進(jìn)行了總結(jié)概括，探討了如何將已有的歸納邏輯理論應(yīng)用于數(shù)據(jù)挖掘。研究涉及凱恩斯類比理論在數(shù)據(jù)挖掘中的應(yīng)用，萊辛巴赫、卡爾納普的歸納邏輯思想，勃克斯歸納邏輯機(jī)器哲學(xué)在數(shù)據(jù)挖掘中的體現(xiàn)，以及科恩的歸納邏輯理論在數(shù)據(jù)挖掘中的應(yīng)用和馮賴特的條件化歸納邏輯與數(shù)據(jù)挖掘。研究思路主要是試圖通過對歸納邏輯思想的探討，挖掘出有價(jià)值的方法將其應(yīng)用于數(shù)據(jù)挖掘。這些研究領(lǐng)域和研究內(nèi)容都具有創(chuàng)新性。

其次，數(shù)據(jù)挖掘研究為歸納邏輯的理論發(fā)展提供了重要的支持。歸納邏輯的研究方法可以借助于數(shù)據(jù)挖掘搜集數(shù)據(jù)的方法，數(shù)據(jù)挖掘應(yīng)用可以對歸納邏輯理論進(jìn)行評價(jià)和判斷。數(shù)據(jù)挖掘產(chǎn)生的新問題，可以用歸納邏輯理論進(jìn)行解釋和說明。數(shù)據(jù)挖掘的算法和技術(shù)對歸納邏輯方法的進(jìn)步也有重要作用。通過我們的研究，最終將為豐富和發(fā)展歸納邏輯理論提供一定的思路。

2.技術(shù)上的創(chuàng)新

基于歸納邏輯視野下的數(shù)據(jù)挖掘豐富和發(fā)展了現(xiàn)有的數(shù)據(jù)挖掘的技術(shù)模式。一方面優(yōu)化了現(xiàn)有的方法，另一方面也為新的數(shù)據(jù)挖掘技術(shù)方法的出現(xiàn)奠定了基礎(chǔ)。從歸納邏輯的視野研究計(jì)算機(jī)技術(shù)，目前主要在人工智能領(lǐng)域應(yīng)用較多。我們將其應(yīng)用于數(shù)據(jù)挖掘以及知識發(fā)現(xiàn)必將豐富和發(fā)展數(shù)據(jù)挖掘技術(shù)和方法，在技術(shù)上進(jìn)一步推進(jìn)相關(guān)領(lǐng)域的研究的發(fā)展。

［1］Jürgen Landes，Jeff Paris，Alena Vencovská.Some Aspects of Polyadic Inductive Logic［J］.Studia logica，2008，90(1):17 －23.

［2］David B，Skillicorn，Yu Wang.Parallel and Sequential Algorithms for Data Mining Using Inductive Logic［J］.Knowledge and Information Systems，2001，3(11):405－421.

［3］Raedt Luc de.Inductive Logic Programming ［M］.［S.l.］:springer verlag gmbh，2011.

［4］劉宏嵐，高慶獅，楊炳儒.概率命題邏輯中命題相等關(guān)系的兩個層面與命題演算［J］.哲學(xué)研究，2009(10):113－120.

［5］崔陽，楊炳儒.知識發(fā)現(xiàn)中的因果關(guān)聯(lián)規(guī)則挖掘研究［J］.計(jì)算機(jī)工程與應(yīng)用，2009(31):9 －11.

［6］李琳娜，楊炳儒.復(fù)雜結(jié)構(gòu)歸納學(xué)習(xí)研究［J］.計(jì)算機(jī)工程與應(yīng)用，2008(5):1－6.

［7］梁開健，梁泉，楊炳儒.動態(tài)KDD過程中矛盾規(guī)則的研究［J］.計(jì)算機(jī)應(yīng)用研究，2006(1):79 －81.

Data Mining from the Perspective of Inductive Logic

YANG Ning-fang1，2
(1.Logic and Intelligence Center，Southwest University，Chongqing 400716，China;2.China Jiliang University，Hangzhou 310018，China)

The induction logic thought in data mining application of relevant research is reviewed in this paper.Foreign researches mainly focus on artificial intelligence，and the major point is the high order induction logic research.Through polymorphism inductive logic，machine learning，etc.，the inductive logic theory is developed.The domestic research focuses on the knowledge discovery，such as the formulation of association rules and discusses the inner mechanism of knowledge discovery.Relatively speaking，foreign development puts more stress on the fields of application;and the application of the inductive logic theory is also expanding domestically，but in data mining field，the study is still inadequate.

inductive logic;data mining;knowledge discovery;artificial intelligence

B81

A

1674－8425(2012)05－0006－04

2012－02－29

楊寧芳(1970—)，女，浙江仙居人，哲學(xué)博士，副教授，碩士生導(dǎo)師，研究方向:論證理論。

(責(zé)任編輯 王烈琦)