[發(fā)明專利]用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法、系統(tǒng)、計(jì)算機(jī)裝置和存儲(chǔ)介質(zhì)

在審

• 申請(qǐng)?zhí)枺?/td>: 202110553659.X
• 申請(qǐng)日: 2021-05-20
• 公開（公告）號(hào): CN113297484A
• 公開（公告）日: 2021-08-24
• 發(fā)明（設(shè)計(jì)）人: 饒永生;謝蘭星;李妙旋;周啟新;李傳中;鄒宇
• 申請(qǐng)（專利權(quán)）人: 廣州大學(xué)
• 主分類號(hào): G06F16/9535
• 分類號(hào): G06F16/9535;G06F16/9536
• 代理公司: 廣州嘉權(quán)專利商標(biāo)事務(wù)所有限公司 44205
• 代理人: 黎揚(yáng)鵬

本發(fā)明公開了一種用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法、系統(tǒng)、計(jì)算機(jī)裝置和存儲(chǔ)介質(zhì)，規(guī)則過(guò)濾方法包括獲取至少一個(gè)產(chǎn)生式規(guī)則，其中產(chǎn)生式規(guī)則包括用于表示條件的左部和用于表示結(jié)論的右部，以待證明問(wèn)題遍歷對(duì)比各產(chǎn)生式規(guī)則的右部，當(dāng)產(chǎn)生式規(guī)則的右部包括待證明問(wèn)題，將該產(chǎn)生式規(guī)則標(biāo)記為可用規(guī)則，獲取各可用規(guī)則的左部作為規(guī)則過(guò)濾的結(jié)果等步驟。本發(fā)明通過(guò)選取具有與待證明問(wèn)題相應(yīng)的右部的產(chǎn)生式規(guī)則，以其左部作為規(guī)則過(guò)濾的結(jié)果，能夠過(guò)濾掉無(wú)關(guān)的產(chǎn)生式規(guī)則，減少數(shù)學(xué)證明問(wèn)題推理過(guò)程中的規(guī)則冗余，減少非必要規(guī)則過(guò)多形成的組合爆炸，提高數(shù)學(xué)證明問(wèn)題類人解題的效率。本發(fā)明廣泛應(yīng)用于計(jì)算機(jī)技術(shù)領(lǐng)域。

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

本發(fā)明涉及計(jì)算機(jī)技術(shù)領(lǐng)域，尤其是一種用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法、系統(tǒng)、計(jì)算機(jī)裝置和存儲(chǔ)介質(zhì)。

背景技術(shù)

類人解題是指通過(guò)機(jī)器處理自然文本輸入，進(jìn)行邏輯推理分析，給出類人解題的系統(tǒng)。中國(guó)的吳文俊教授所提出的吳方法完成了幾何問(wèn)題機(jī)器自動(dòng)求解及作答的突破，機(jī)械化自動(dòng)求解理論及自動(dòng)推理平臺(tái)的研究推進(jìn)了一系列數(shù)學(xué)和信息技術(shù)問(wèn)題的研究及探討。以吳方法為基礎(chǔ)的自動(dòng)推理系統(tǒng)效果顯著，但由于其使用門檻較高，其相關(guān)使用人員需要具備較高的編程代碼能力和程序問(wèn)題處理能力，且所給出的作答結(jié)果較晦澀難懂，其自動(dòng)求解系統(tǒng)并未被廣泛推廣和使用。

一些現(xiàn)有的類人解題技術(shù)應(yīng)用了產(chǎn)生式規(guī)則來(lái)表示知識(shí)，產(chǎn)生式規(guī)則能通過(guò)接近于人類思維特點(diǎn)的形式獲取和表達(dá)知識(shí)，直觀且便于推理。但是，產(chǎn)生式規(guī)則之間存在相互作用，從而形成規(guī)則間的冗余或沖突，這可能導(dǎo)致降低推理效率，使得類人解題技術(shù)存在一致性和完整性方面的缺陷。

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

針對(duì)上述至少一個(gè)技術(shù)問(wèn)題，本發(fā)明的目的在于提供一種用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法、系統(tǒng)、計(jì)算機(jī)裝置和存儲(chǔ)介質(zhì)。

一方面，本發(fā)明實(shí)施例包括一種用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法，包括：

獲取至少一個(gè)產(chǎn)生式規(guī)則；所述產(chǎn)生式規(guī)則包括左部和右部，所述左部用于表示條件，所述右部用于表示結(jié)論；

以待證明問(wèn)題遍歷對(duì)比各所述產(chǎn)生式規(guī)則的右部，當(dāng)所述產(chǎn)生式規(guī)則的右部包括所述待證明問(wèn)題，將該所述產(chǎn)生式規(guī)則標(biāo)記為可用規(guī)則；

獲取各所述可用規(guī)則的左部作為規(guī)則過(guò)濾的結(jié)果。

進(jìn)一步地，所述產(chǎn)生式規(guī)則表現(xiàn)為函數(shù)的形式，所述函數(shù)的參數(shù)為所述產(chǎn)生式規(guī)則的左部，所述函數(shù)的編譯結(jié)果為所述產(chǎn)生式規(guī)則的右部。

進(jìn)一步地，所述獲取至少一個(gè)產(chǎn)生式規(guī)則，包括：

通過(guò).Net的反射操作獲取至少一個(gè)所述函數(shù)；

以獲取到的所述函數(shù)作為所述產(chǎn)生式規(guī)則。

進(jìn)一步地，用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法還包括：

顯示所述用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法的執(zhí)行過(guò)程。

進(jìn)一步地，用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法還包括：

顯示所述用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾方法的執(zhí)行時(shí)間。

另一方面，本發(fā)明實(shí)施例還包括一種用于數(shù)學(xué)證明問(wèn)題類人解題的規(guī)則過(guò)濾系統(tǒng)，包括：

獲取模塊，用于獲取至少一個(gè)產(chǎn)生式規(guī)則；所述產(chǎn)生式規(guī)則包括左部和右部，所述左部用于表示條件，所述右部用于表示結(jié)論；

推理模塊，用于以待證明問(wèn)題遍歷對(duì)比各所述產(chǎn)生式規(guī)則的右部，當(dāng)所述產(chǎn)生式規(guī)則的右部包括所述待證明問(wèn)題，將該所述產(chǎn)生式規(guī)則標(biāo)記為可用規(guī)則，獲取各所述可用規(guī)則的左部作為規(guī)則過(guò)濾的結(jié)果。