本發(fā)明涉及問題推理，尤其涉及一種基于語義執(zhí)行的大模型推理能力增強(qiáng)方法、系統(tǒng)、交互計(jì)算中間件及計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)。

背景技術(shù)：

1、語言模型擅長識(shí)別數(shù)據(jù)中的一般模式和關(guān)系，可以快速預(yù)測(cè)可能有用的結(jié)構(gòu)。

2、但是，語言模型的輸出結(jié)果缺乏嚴(yán)格描述的推理過程或可解釋性，導(dǎo)致其在處理相關(guān)特殊問題上缺乏可信度。另一方面，符號(hào)推理引擎基于形式邏輯并使用明確的規(guī)則得出結(jié)論，編譯執(zhí)行器基于代碼描述問題并使用計(jì)算得到可信結(jié)果，這兩種結(jié)果皆為理性的和可解釋的，但兩者都無法直接處理自然語言描述的問題，且無法自主處理復(fù)雜問題。

3、并且，當(dāng)前的語言模型利用提示詞進(jìn)行問題推理時(shí)，停留在語義推理階段，缺乏將語義轉(zhuǎn)化為可執(zhí)行文件、通過事實(shí)執(zhí)行驗(yàn)證推理結(jié)果的過程，導(dǎo)致語義推理的結(jié)果不夠準(zhǔn)確，存在模糊性。

4、因此，現(xiàn)有技術(shù)還有待于改進(jìn)和發(fā)展。

技術(shù)實(shí)現(xiàn)思路

1、本發(fā)明的主要目的在于提供一種基于語義執(zhí)行的大模型推理能力增強(qiáng)方法、系統(tǒng)、交互計(jì)算中間件及計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)，旨在解決現(xiàn)有技術(shù)中語言模型利用提示詞進(jìn)行問題推理時(shí)停留在語義推理階段，缺乏將語義轉(zhuǎn)化為可執(zhí)行文件、通過事實(shí)執(zhí)行驗(yàn)證推理結(jié)果的過程，從而導(dǎo)致語義推理的結(jié)果不夠準(zhǔn)確的問題。

2、為實(shí)現(xiàn)上述目的，本發(fā)明提供一種基于語義執(zhí)行的大模型推理能力增強(qiáng)方法，所述基于語義執(zhí)行的大模型推理能力增強(qiáng)方法包括如下步驟：

3、獲取目標(biāo)問題的問題描述信息，根據(jù)所述問題描述信息獲取可計(jì)算引導(dǎo)部分信息，將所述可計(jì)算引導(dǎo)部分信息輸入大語言模型；

4、獲取所述目標(biāo)問題的初始提示詞，并將所述初始提示詞輸入所述大語言模型，輸出多個(gè)問題步驟，其中，所述問題步驟由所述大語言模型根據(jù)所述可計(jì)算引導(dǎo)部分信息和所述初始提示詞分解所述目標(biāo)問題生成，表示所述大語言模型分解所述目標(biāo)問題后生成的子問題；

5、構(gòu)建初始計(jì)算容器，并在所述初始計(jì)算容器中搭建計(jì)算環(huán)境，得到計(jì)算容器，將多個(gè)所述問題步驟依次輸入到所述計(jì)算容器，并獲取所述計(jì)算容器輸出的多個(gè)正確執(zhí)行步驟，其中，所述正確執(zhí)行步驟表示所述計(jì)算容器解決所述子問題的方案；

6、將所有所述正確執(zhí)行步驟進(jìn)行整合，生成推理過程，其中，所述推理過程表示解決所述目標(biāo)問題的過程。

7、可選地，所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法，其中，所述獲取目標(biāo)問題的問題描述信息，根據(jù)所述問題描述信息獲取可計(jì)算引導(dǎo)部分信息，將所述可計(jì)算引導(dǎo)部分信息輸入大語言模型，具體包括：

8、獲取用戶輸入的目標(biāo)問題的問題描述信息，根據(jù)所述問題描述信息在對(duì)應(yīng)的可計(jì)算數(shù)據(jù)庫中和學(xué)科數(shù)據(jù)庫中利用圖檢索增強(qiáng)算法提取出多個(gè)結(jié)構(gòu)化信息；

9、根據(jù)所有所述結(jié)構(gòu)化信息構(gòu)建可計(jì)算引導(dǎo)部分信息，其中，所述可計(jì)算引導(dǎo)部分信息表示大語言模塊處理所述目標(biāo)問題的參考案例，將所述可計(jì)算引導(dǎo)部分信息輸入所述大語言模型。

10、可選地，所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法，其中，所述獲取所述目標(biāo)問題的初始提示詞，并將所述初始提示詞輸入所述大語言模型，輸出多個(gè)問題步驟，具體包括：

11、將所述問題描述信息輸入所述大語言模型，得到初始提示詞；

12、所述大語言模型根據(jù)所述目標(biāo)問題中的可計(jì)算引導(dǎo)部分信息生成形式化表達(dá)和數(shù)值化表達(dá)；

13、所述大語言模型根據(jù)所述可計(jì)算引導(dǎo)部分信息、所述形式化表達(dá)和所述數(shù)值化表達(dá)，更新所述初始提示詞，生成提示詞；

14、在所述大語言模型中分析所述提示詞得到問題求解思路，分解所述問題求解思路，得到多個(gè)語言描述信息和多個(gè)符號(hào)表達(dá)式，其中，所述語言描述信息表示用自然語言描述的中間過程；

15、在所述大語言模型中根據(jù)多個(gè)所述語言描述信息和多個(gè)所述符號(hào)表達(dá)式生成對(duì)應(yīng)的執(zhí)行代碼，并根據(jù)每個(gè)所述執(zhí)行代碼、語言描述信息和符號(hào)表達(dá)式構(gòu)建問題步驟，輸出所有所述問題步驟。

16、可選地，所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法，其中，所述在所述大語言模型中根據(jù)多個(gè)所述語言描述信息和多個(gè)所述符號(hào)表達(dá)式生成對(duì)應(yīng)的執(zhí)行代碼，并根據(jù)每個(gè)所述執(zhí)行代碼、語言描述信息和符號(hào)表達(dá)式構(gòu)建問題步驟，輸出所有所述問題步驟，之后還包括：

17、分別將每個(gè)所述語言描述信息、符號(hào)表達(dá)式和對(duì)應(yīng)的所述執(zhí)行代碼輸入已構(gòu)建的大語言迭代模型，輸出對(duì)應(yīng)的第一方案評(píng)估信息，并接收用戶輸入的對(duì)應(yīng)的第二方案評(píng)估信息；

18、其中，所述第二方案評(píng)估信息根據(jù)每個(gè)所述符號(hào)表達(dá)式生成；

19、若存在第一方案評(píng)估信息表示當(dāng)前步驟錯(cuò)誤，則將對(duì)應(yīng)的所述第一方案評(píng)估信息輸入所述大語言迭代模型，輸出對(duì)應(yīng)的第一修改意見；

20、若存在第二方案評(píng)估信息表示當(dāng)前步驟錯(cuò)誤，則獲取用戶輸入的對(duì)應(yīng)的第二修改意見；

21、將所述第一修改意見或所述第二修改意見輸入所述大語言模型，輸出更新后的問題步驟；

22、若針對(duì)當(dāng)前的問題步驟存在第二修改意見，則只將所述第二修改意見輸入所述大語言模型。

23、可選地，所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法，其中，所述構(gòu)建初始計(jì)算容器，并在所述初始計(jì)算容器中搭建計(jì)算環(huán)境，得到計(jì)算容器，將多個(gè)所述問題步驟依次輸入到所述計(jì)算容器，并獲取所述計(jì)算容器輸出的多個(gè)正確執(zhí)行步驟，具體包括：

24、構(gòu)建初始計(jì)算容器，并獲取根據(jù)每個(gè)所述執(zhí)行代碼的實(shí)際執(zhí)行需求；

25、根據(jù)每個(gè)所述實(shí)際執(zhí)行需求構(gòu)建計(jì)算環(huán)境文件，并將所述計(jì)算環(huán)境文件導(dǎo)入所述初始計(jì)算容器，得到所述計(jì)算容器；

26、將多個(gè)所述問題步驟傳輸?shù)剿鲇?jì)算容器，并執(zhí)行每個(gè)所述執(zhí)行代碼，輸出對(duì)應(yīng)的問題步驟的執(zhí)行結(jié)果；

27、將每個(gè)所述執(zhí)行結(jié)果輸入所述大語言模型進(jìn)行分析，輸出評(píng)估結(jié)果；

28、若存在所述評(píng)估結(jié)果正確，則將對(duì)應(yīng)的所述執(zhí)行結(jié)果判定為正確執(zhí)行步驟。

29、可選地，所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法，其中，所述將每個(gè)所述執(zhí)行結(jié)果輸入所述大語言模型進(jìn)行分析，輸出評(píng)估結(jié)果，之后還包括：

30、若存在所述評(píng)估結(jié)果錯(cuò)誤，則獲取所述大語言模型生成對(duì)應(yīng)的反饋信息，其中，所述反饋信息由所述大語言模型根據(jù)對(duì)應(yīng)的執(zhí)行結(jié)果生成；

31、將對(duì)應(yīng)的所述反饋信息輸入所述大語言模型，更新錯(cuò)誤的執(zhí)行結(jié)果對(duì)應(yīng)的符號(hào)表達(dá)式和執(zhí)行代碼，并輸出更新后的問題步驟，直到將新輸出的問題步驟傳輸?shù)剿鲇?jì)算容器后，輸出的執(zhí)行結(jié)果為正確執(zhí)行步驟。

32、可選地，所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法，其中，所述推理過程包括：語義描述過程和最終解決過程；

33、所述將所有所述正確執(zhí)行步驟進(jìn)行整合，生成推理過程，具體包括：

34、整合所有所述正確執(zhí)行步驟以及每個(gè)所述正確執(zhí)行步驟對(duì)應(yīng)的符號(hào)表達(dá)式；

35、根據(jù)所有所述符號(hào)表達(dá)式生成所述語義描述過程，并根據(jù)所有所述目標(biāo)正確執(zhí)行步驟生成所述最終解決過程；

36、其中，所述語義描述過程表示解決所述目標(biāo)問題的文字化推理過程，所述最終解決過程表示解決所述目標(biāo)問題的數(shù)字化推理結(jié)果。

37、此外，為實(shí)現(xiàn)上述目的，本發(fā)明還提供一種基于語義執(zhí)行的大模型推理能力增強(qiáng)系統(tǒng)，其中，所述基于語義執(zhí)行的大模型推理能力增強(qiáng)系統(tǒng)包括：

38、形式化改寫模塊，用于獲取目標(biāo)問題的問題描述信息，根據(jù)所述問題描述信息獲取可計(jì)算引導(dǎo)部分信息，將所述可計(jì)算引導(dǎo)部分信息輸入大語言模型；

39、問題分解模塊，用于獲取所述目標(biāo)問題的初始提示詞，并將所述初始提示詞輸入所述大語言模型，輸出多個(gè)問題步驟，其中，所述問題步驟由所述大語言模型根據(jù)所述可計(jì)算引導(dǎo)部分信息和所述初始提示詞分解所述目標(biāo)問題生成，表示所述大語言模型分解所述目標(biāo)問題后生成的子問題；

40、問題解決模塊，用于構(gòu)建初始計(jì)算容器，并在所述初始計(jì)算容器中搭建計(jì)算環(huán)境，得到計(jì)算容器，將多個(gè)所述問題步驟依次輸入到所述計(jì)算容器，并獲取所述計(jì)算容器輸出的多個(gè)正確執(zhí)行步驟，其中，所述正確執(zhí)行步驟表示所述計(jì)算容器解決所述子問題的方案；

41、輸出匯總模塊，用于將所有所述正確執(zhí)行步驟進(jìn)行整合，生成推理過程，其中，所述推理過程表示解決所述目標(biāo)問題的過程。

42、此外，為實(shí)現(xiàn)上述目的，本發(fā)明還提供一種交互計(jì)算中間件，其中，所述交互計(jì)算中間件包括：存儲(chǔ)器、處理器及存儲(chǔ)在所述存儲(chǔ)器上并可在所述處理器上運(yùn)行的基于語義執(zhí)行的大模型推理能力增強(qiáng)程序，所述基于語義執(zhí)行的大模型推理能力增強(qiáng)程序被所述處理器執(zhí)行時(shí)實(shí)現(xiàn)如上所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法的步驟。

43、此外，為實(shí)現(xiàn)上述目的，本發(fā)明還提供一種計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)，其中，所述計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)存儲(chǔ)有基于語義執(zhí)行的大模型推理能力增強(qiáng)程序，所述基于語義執(zhí)行的大模型推理能力增強(qiáng)程序被處理器執(zhí)行時(shí)實(shí)現(xiàn)如上所述的基于語義執(zhí)行的大模型推理能力增強(qiáng)方法的步驟。

44、本發(fā)明中，獲取目標(biāo)問題的問題描述信息，根據(jù)所述問題描述信息獲取可計(jì)算引導(dǎo)部分信息，將所述可計(jì)算引導(dǎo)部分信息輸入大語言模型；獲取所述目標(biāo)問題的初始提示詞，并將所述初始提示詞輸入所述大語言模型，輸出多個(gè)問題步驟，其中，所述問題步驟表示所述大語言模型分解所述目標(biāo)問題后生成的子問題；構(gòu)建初始計(jì)算容器，并在所述初始計(jì)算容器中搭建計(jì)算環(huán)境，得到計(jì)算容器，將多個(gè)所述問題步驟依次輸入到所述計(jì)算容器，并獲取所述計(jì)算容器輸出的多個(gè)正確執(zhí)行步驟，其中，所述正確執(zhí)行步驟表示所述計(jì)算容器解決所述子問題的方案；將所有所述正確執(zhí)行步驟進(jìn)行整合，生成推理過程，其中，所述推理過程表示解決所述目標(biāo)問題的過程。本發(fā)明通過將用戶輸入的問題描述轉(zhuǎn)換為可計(jì)算內(nèi)容，提高了問題解決的效率，將可計(jì)算內(nèi)容分解為多個(gè)步驟解決，同時(shí)生成了每個(gè)步驟對(duì)應(yīng)的執(zhí)行代碼，并通過中間件驗(yàn)證每個(gè)解決方法的可行性，利用語義模型和計(jì)算容器來計(jì)算問題解決的正確執(zhí)行步驟，提高了問題解決的準(zhǔn)確性。