買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監(jiān)控用IP管家,真方便！

龍圖騰網(wǎng)恭喜杭州新范式生物醫(yī)藥科技有限公司申請的專利一種邏輯表示及其推理引擎方法獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識產(chǎn)權(quán)局授予，授權(quán)公告號為：CN113449527B 。

龍圖騰網(wǎng)通過國家知識產(chǎn)權(quán)局官網(wǎng)在2025-04-29發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請?zhí)?專利號為：202110701649.6，技術(shù)領(lǐng)域涉及：G06F40/30；該發(fā)明授權(quán)一種邏輯表示及其推理引擎方法是由沈雪玲設(shè)計研發(fā)完成，并于2021-06-24向國家知識產(chǎn)權(quán)局提交的專利申請。

本一種邏輯表示及其推理引擎方法在說明書摘要公布了：本發(fā)明公開了一種邏輯表示及其推理引擎方法，即一種語意和語意生成規(guī)則的表示方法，以及依據(jù)該表示方法進行語意理解與新語意生成的計算方法，包括語意表示方法、邏輯表示方法、推理計算方法三個部分，三者有機結(jié)合，基于已知語意，按照可由自然語言定義的邏輯規(guī)則或函數(shù)，推理得到新的語意，可以表示所有可用自然語言表述的邏輯規(guī)則，本發(fā)明為實現(xiàn)自然語言的理解和生成、強人工智能的使能技術(shù)之一；可以執(zhí)行以特定目標為導向的推理，即循證；循證推理可以優(yōu)化計算和儲存資源的使用，集中于目標；本發(fā)明所公開的推理系統(tǒng)是一個對于語意而言的開放推理系統(tǒng)，這一推理系統(tǒng)可以生成新的語意，而不僅僅是對一個預先定義的語意集合進行選擇。

本發(fā)明授權(quán)一種邏輯表示及其推理引擎方法在權(quán)利要求書中公布了：1.一種邏輯表示及其推理引擎方法，其特征在于，所述的方法包括語意表示方法、邏輯表示方法和推理計算方法，三個部分有機結(jié)合，基于已知語意推理得到新的語意，其中：1所述的語意表示方法，語意之間存在如下關(guān)系：i.一個記為A的語意通過一種一對一的關(guān)系，對應一個記為B的語意，稱B為A的范式語意；ii.一個記為A的語意通過一種一對多的關(guān)系，對應于一個或多個語意，稱這一個或多個語意為A的具體語意；iii.語意之間通過下述第2項的映射規(guī)則建立關(guān)系；基于映射規(guī)則建立的關(guān)系與前述第i點的語意之間的一對一關(guān)系和第ii點的語意之間的一對多關(guān)系類似，可被記錄和讀取；iv.兩個語意合并形成一個語意，合并后的一個語意具有合并前的兩個語意的全部與其它語意之間的關(guān)系；由語意合并的定義可知，只有范式語意相同的語意才能相互合并，否則融合后的語意具有兩個或以上的范式語意，違反前述第i點規(guī)則；v.實際應用中，若不存在需要合并語意的情形，則上述語意表示方法的語意可合并的特性可不在語意表示方法的具體實現(xiàn)中體現(xiàn)；2所述的邏輯表示方法，邏輯表示為一組映射規(guī)則，映射規(guī)則具有如下特征：i.映射規(guī)則為一對多映射，即一個語意經(jīng)由一個映射規(guī)則得到一個或多個語意；不同的語意經(jīng)由同一個映射規(guī)則得到同一個語意；稱一個記為A語意經(jīng)由一個映射規(guī)則得到一個或多個語意的過程為一個映射任務(wù)，A為所述映射任務(wù)的出發(fā)語意；ii.一個特定的記為T的映射規(guī)則具有一個特定的定義域，即T僅作用于以一個特定的記為D的語意為范式語意的語意，稱D為T的定義域語意；iii.一個特定的記為T的映射規(guī)則具有一個特定的值域，即經(jīng)由T僅得到以一個特定的記為R的語意為范式語意的語意，稱R為T的值域語意；iv.一個映射任務(wù)在執(zhí)行的過程中，使用與所述任務(wù)的出發(fā)語意相關(guān)的一組語意作為參數(shù)，這一組語意稱為一個映射任務(wù)的參數(shù)語意集；v.映射規(guī)則與它的定義域語意和值域語意的組合一一對應；即一個映射規(guī)則具有一個定義域語意和一個值域語意；當給定一對語意分別作為一個映射規(guī)則的定義域語意和值域語意時，唯一確定這個映射規(guī)則或確定不存在這樣的映射規(guī)則；因此，用一個記為D，R的語意二元組表示一個映射規(guī)則的名稱；vi.映射規(guī)則可逆，即若存在一個記為T的映射規(guī)則，T的定義域語意為D，T的值域語意為R，則必然存在另一個記為T’映射規(guī)則，T’的定義域語意為R，T’的值域語意為D；且當一個記為A的語意經(jīng)映射規(guī)則T得到另一個記為B的語意時，B經(jīng)映射規(guī)則T’得到A；3所述的推理計算方法，當語意被生成或更新時，觸發(fā)映射任務(wù)執(zhí)行：i.語意的生成，指組合一個范式語意和至少一個具體語意成為一個新的語意；ii.語意的更新，指改變一個語意與其它語意的關(guān)系，包括：記錄所述語意與其它語意之間的映射關(guān)系，將兩個語意合并為一個語意，添加或刪除一個語意與其具體語意之間的關(guān)系；在實際應用中，若不存在某些語意之間的關(guān)系發(fā)生改變的情況，則推理計算方法的具體實現(xiàn)中可不體現(xiàn)處理這些語意之間的關(guān)系發(fā)生改變的內(nèi)容；iii.當一個語意被生成時，觸發(fā)以所述語意為出發(fā)語意，由可作用于所述語意的映射規(guī)則定義的映射任務(wù)執(zhí)行；當一個語意被更新時，觸發(fā)執(zhí)行過程使用所述語意為參數(shù)語意的已執(zhí)行的映射任務(wù)更新結(jié)果；直到?jīng)]有可執(zhí)行或應更新結(jié)果的映射任務(wù)；在實際應用中，若不存在需要觸發(fā)已執(zhí)行的映射任務(wù)更新結(jié)果的情況，則不在推理計算方法的具體實現(xiàn)中體現(xiàn)相應的機制；所述的方法由專門設(shè)計的硬件計算設(shè)備完成，具體實現(xiàn)為由專門設(shè)計的神經(jīng)網(wǎng)絡(luò)計算硬件完成，該硬件計算設(shè)備的設(shè)計和操作與圖的結(jié)構(gòu)和操作相對應，對應關(guān)系的特征是：一個語意代碼對應一個硬件神經(jīng)元，語意代碼為圖中的節(jié)點或邊的標記，硬件神經(jīng)元即硬件計算單元，即每個硬件神經(jīng)元可以通過一個語意代碼尋址并激活；硬件計算設(shè)備包含大量的備用硬件神經(jīng)元，每個備用硬件神經(jīng)元對應一個獨一無二的可用作語意代碼的代碼作為其地址，備用硬件神經(jīng)元按需啟用；圖結(jié)構(gòu)的操作的基本模式對應的硬件計算設(shè)備操作是，通過兩個已激活的代碼為A和B的硬件神經(jīng)元找到第三個可被激活的硬件神經(jīng)元，并在一定條件下激活該硬件神經(jīng)元；在圖操作需要生成新的語意代碼標記的節(jié)點或邊時，啟用備用的硬件神經(jīng)元以生成新的語意代碼，并將新啟用的硬件神元按圖操作的邏輯做相應連接；一個硬件神經(jīng)元需要在它的兩個輸入硬件神經(jīng)元處于激活狀態(tài)時，才能夠被激活；若圖中存在一條邊的標記與其起點節(jié)點的標記相同，則以該邊的終點節(jié)點標記為地址的硬件神經(jīng)元可以僅在以該邊的起點節(jié)點標記為地址的一個硬件神經(jīng)元處于激活狀態(tài)時被激活，其它硬件計算設(shè)備的功能在上述對應于圖操作的功能的基礎(chǔ)上相應設(shè)計。

如需購買、轉(zhuǎn)讓、實施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請人或?qū)＠麢?quán)人杭州新范式生物醫(yī)藥科技有限公司，其通訊地址為：310052 浙江省杭州市濱江區(qū)濱安路1180號1幢2號樓2層2125室；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。