[發(fā)明專利]計(jì)算機(jī)模擬人腦學(xué)習(xí)知識(shí)的方法、邏輯推理機(jī)及類腦人工智能服務(wù)平臺(tái)

有效

• 申請(qǐng)?zhí)枺?/td>: 201810344726.5
• 申請(qǐng)日: 2018-04-17
• 公開(kāi)（公告）號(hào): CN108874380B
• 公開(kāi)（公告）日: 2021-06-25
• 發(fā)明（設(shè)計(jì)）人: 萬(wàn)繼華
• 申請(qǐng)（專利權(quán)）人: 湖南本體信息科技研究有限公司
• 主分類號(hào): G06F8/33
• 分類號(hào): G06F8/33;G06F40/30;G06N5/04
• 代理公司: 廣州凱東知識(shí)產(chǎn)權(quán)代理有限公司 44259
• 代理人: 李勤輝

本發(fā)明涉及計(jì)算機(jī)領(lǐng)域，具體說(shuō)是計(jì)算機(jī)模擬人腦學(xué)習(xí)知識(shí)的方法、邏輯推理機(jī)及類腦人工智能服務(wù)平臺(tái)，其中計(jì)算機(jī)模擬人腦學(xué)習(xí)知識(shí)的方法包括：建立計(jì)算機(jī)類腦知識(shí)庫(kù)，包括詞庫(kù)、類庫(kù)、資源庫(kù)、智能信息管理庫(kù)；計(jì)算機(jī)將調(diào)用語(yǔ)義分析器將由自然語(yǔ)言語(yǔ)句單句生成的類基本元素和語(yǔ)義性質(zhì)以類的方法創(chuàng)建并存儲(chǔ)于類庫(kù)；計(jì)算機(jī)基于類庫(kù)中的智能知識(shí)元素，針對(duì)智能應(yīng)用需求調(diào)用語(yǔ)義分析器生成智能應(yīng)用程序，并將其存儲(chǔ)于智能信息管理庫(kù)。本發(fā)明以人工的方法將人腦以智能計(jì)算和判斷來(lái)認(rèn)識(shí)客觀事物的認(rèn)知模型和基于認(rèn)知模型進(jìn)行邏輯推理的智能機(jī)制模擬到計(jì)算機(jī)系統(tǒng)，實(shí)現(xiàn)機(jī)器模擬人腦的智力功能進(jìn)行學(xué)習(xí)和工作，形成了類腦人工智能服務(wù)平臺(tái)。

技術(shù)領(lǐng)域

本發(fā)明涉及計(jì)算機(jī)領(lǐng)域，具體涉及模擬人腦學(xué)習(xí)知識(shí)的方法、邏輯推理機(jī)及類腦人工智能服務(wù)平臺(tái)。

背景技術(shù)

人工智能的理想目標(biāo)，是使機(jī)器能以類腦的方式學(xué)習(xí)和工作。實(shí)現(xiàn)這個(gè)目標(biāo)，需要以人工的方法將人的認(rèn)知模型和智能機(jī)制模擬到計(jì)算機(jī)，即以類腦方法處理計(jì)算機(jī)中的數(shù)據(jù)信息，由于哥德?tīng)柌煌耆远ɡ砗蛨D靈停機(jī)定理所證明的邏輯形式系統(tǒng)和機(jī)械計(jì)算能力的局限性，導(dǎo)致這種類腦人工智能的技術(shù)至今未能實(shí)現(xiàn)。

所謂哥德?tīng)柖ɡ砗蛨D靈停機(jī)定理證明的邏輯局限性，通俗地說(shuō)，就是其定理證明，以“肯定”和“否定”或“真”和“假”的形式對(duì)命題(自然語(yǔ)句)進(jìn)行邏輯判斷的計(jì)算是算法上無(wú)解的。而人腦認(rèn)知的基本功能就是邏輯判斷和推理，并且推理是依賴于判斷之后進(jìn)行計(jì)算的。因?yàn)橛?jì)算機(jī)是算法機(jī)器，即是在算法驅(qū)動(dòng)下運(yùn)行物理裝置。如果判斷無(wú)算法，則說(shuō)明人腦基于判斷的認(rèn)知思維是不可計(jì)算的；如果不將認(rèn)知思維形式實(shí)現(xiàn)為可計(jì)算的邏輯算法，就無(wú)法將人的認(rèn)知模型和智能機(jī)制模擬到計(jì)算機(jī)。因而，解決類腦人工智能的關(guān)鍵，就在于解決將自然語(yǔ)言轉(zhuǎn)換計(jì)算機(jī)程序語(yǔ)言和如何以程序語(yǔ)言模擬人腦邏輯判斷推理的算法問(wèn)題。

針對(duì)上述困難，萬(wàn)繼華于2006年在《自然辯證法研究》發(fā)表關(guān)于《基因語(yǔ)義性質(zhì)的哲學(xué)和實(shí)證考察》的論文，提出以本質(zhì)唯一性解決語(yǔ)義二義性的本體信息哲學(xué)思想，同時(shí)提出了通過(guò)抽取命題的語(yǔ)義性質(zhì)為信息實(shí)體對(duì)命題進(jìn)行邏輯判定，以消除在哥德?tīng)柌煌耆远ɡ碇行纬烧Z(yǔ)義悖論的基因量子算法。創(chuàng)建了以四組基因量子語(yǔ)義信號(hào)編碼的真值表判定方法。之后，出版專著《本體邏輯原理與應(yīng)用》(廣東科技出版社2008年出版)，系統(tǒng)地論述了計(jì)算機(jī)如何理解人類自然語(yǔ)言的本體哲學(xué)理論和邏輯計(jì)算技術(shù)。并于2008年10月在全國(guó)第四屆邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議上作了《基于哲學(xué)本體論的真值演算系統(tǒng)——實(shí)現(xiàn)計(jì)算機(jī)理解自然語(yǔ)言的邏輯方法》的學(xué)術(shù)報(bào)告，其報(bào)告以論文編入《邏輯學(xué)及其應(yīng)用研究》的學(xué)術(shù)論文集(貴州民族出版社2009年出版)。并已于2016年10月獲得《將自然語(yǔ)言翻譯為計(jì)算機(jī)語(yǔ)言的方法、語(yǔ)義處理器和人機(jī)對(duì)話系統(tǒng)》的發(fā)明專利權(quán)(專利號(hào):ZL201310657042.8)。

上述發(fā)明專利中將自然語(yǔ)言翻譯為計(jì)算機(jī)語(yǔ)言的方法，提出了“計(jì)算機(jī)利用詞庫(kù)和分詞規(guī)則識(shí)別提取自然語(yǔ)言文字中的語(yǔ)法成分、邏輯聯(lián)結(jié)詞和邏輯語(yǔ)義，并基于信息管理庫(kù)將語(yǔ)法成分翻譯成表示計(jì)算機(jī)面向?qū)ο笳Z(yǔ)言中的基本元素名稱的字符串代碼、將邏輯聯(lián)結(jié)詞翻譯成表示程序控制的程序轉(zhuǎn)移指令代碼、將邏輯語(yǔ)義翻譯成表示肯定和否定的二進(jìn)制代碼，并由這些代碼拼接成為程序語(yǔ)言”的智能技術(shù)方案。因?yàn)檎Z(yǔ)言是表達(dá)人腦認(rèn)知和思維的信息工具及載體，將自然語(yǔ)言翻譯為計(jì)算機(jī)語(yǔ)言就意味著機(jī)器可以按照人以自然語(yǔ)句（命題）給出的指令進(jìn)行工作，也意味著機(jī)器能以自然語(yǔ)言與人進(jìn)行交互并能以判斷推理方式模擬人腦的邏輯思維，也意味著類腦人工智能的目標(biāo)可以實(shí)現(xiàn)。

但該專利方案并未給出計(jì)算機(jī)如何學(xué)習(xí)知識(shí)和如何以判斷推理的計(jì)算方法智能進(jìn)行工作和執(zhí)行程序，由此導(dǎo)致該專利沒(méi)有完整和系統(tǒng)地解決人工智能需要機(jī)器以類腦方式進(jìn)行學(xué)習(xí)和工作的技術(shù)問(wèn)題。最近由于證明和完善了邏輯判定推理的公理化算法，基于該算法可形成機(jī)器判斷推理和模擬人腦學(xué)習(xí)及工作的人工智能系統(tǒng)。

發(fā)明內(nèi)容

針對(duì)上述技術(shù)問(wèn)題，本發(fā)明提供一種計(jì)算機(jī)模擬人腦學(xué)習(xí)知識(shí)的方法，其包括以下步驟：

（1）建立計(jì)算機(jī)類腦知識(shí)庫(kù)，包括詞庫(kù)、類庫(kù)、資源庫(kù)、智能信息管理庫(kù)，其中：