[發明專利]差階邏輯表達式的編譯方法、裝置、電子設備和存儲介質

有效

• 申請號: 202310096154.4
• 申請日: 2023-01-18
• 公開（公告）號: CN115794121B
• 公開（公告）日: 2023-05-26
• 發明（設計）人: 張寅生
• 申請（專利權）人: 中國科學技術信息研究所
• 主分類號: G06F8/41
• 分類號: G06F8/41
• 代理公司: 北京市立方律師事務所 11330
• 代理人: 張筱寧

本申請實施例提供了一種差階邏輯表達式的編譯方法、裝置、電子設備及計算機可讀存儲介質，涉及邏輯編程技術領域。該方法包括：獲取待編譯的對象語言，根據預設解析模型中的語義模型所確定的終結符的符號域，從對象語言中篩選出參考符號序列作為詞素；對詞素進行解析，得到解析結果；其中，解析結果包括由終結符構成的差階邏輯命題或編譯中斷信息；差階邏輯命題包括低階邏輯表達式和高階邏輯中的至少一項。本申請實施例通過解析模型，實現了差階邏輯的關系識別與程序表達；解決了現有編程語言技術中無法編譯差階邏輯表達式的問題。

技術領域

本申請涉及邏輯編程技術領域，具體而言，本申請涉及一種差階邏輯表達式的編譯方法、裝置、電子設備及計算機可讀存儲介質。

背景技術

邏輯編程語言是一種面向演繹推理的邏輯型程序設計語言，它以處理一階謂詞演算為背景，將自然語言中的大量信息和符號納入表示和計算范圍，因而擴展了知識表示的形式和范圍，被應用于邏輯相關領域，如數理邏輯演算、定理自動證明、抽象問題求解、專家系統等，并成為人工智能的典型程序語言。對邏輯表達式的編譯可以得到可執行的計算機邏輯程序語言，即將邏輯程序源語言所表征的知識組織轉化為目標程序語言表示的機器指令，使得計算機具備更強大的知識表示和處理能力，進而應用于各種復雜的應用場景。

現有的邏輯程序語言局限于編譯一階邏輯程序語言，對于高階程序語言，在同一計算環境里（特別是同一表達式中）的多階邏輯參量及其相互關系的表達式則不能編譯，即現有的邏輯程序語言的編譯功能無法識別差階邏輯，也無法實現差階邏輯的運算。

發明內容

本申請實施例提供了一種差階邏輯表達式的編譯方法、裝置、電子設備及計算機可讀存儲介質，可以解決現有技術中無法識別和編譯差階邏輯程序語言的問題。所述技術方案如下：

根據本申請實施例的一個方面，提供了一種差階邏輯表達式的編譯方法，該方法包括：

獲取待編譯的對象語言，根據預設的語義模型所確定的終結符的符號域，從所述對象語言中篩選出參考符號序列作為詞素；

對所述詞素進行解析，得到解析結果；其中，所述解析結果包括由終結符構成的差階邏輯命題或編譯中斷信息；所述差階邏輯命題包括低階邏輯命題和高階邏輯命題中的至少一項。

根據本申請實施例的另一個方面，提供了一種差階邏輯表達式的編譯裝置，該裝置包括：

篩選模塊，用于獲取待編譯的對象語言，根據預設的語義模型所確定的終結符的符號域，從所述對象語言中篩選出參考符號序列作為詞素；

解析模塊，用于對所述詞素進行解析，得到解析結果；其中，所述解析結果包括由終結符構成的差階邏輯命題或編譯中斷信息；所述差階邏輯命題包括低階邏輯命題和高階邏輯命題中的至少一項。

根據本申請實施例的另一個方面，提供了一種電子設備，該電子設備包括：存儲器、處理器及存儲在存儲器上的計算機程序，上述處理器執行計算機程序以實現本申請實施例第一方面所示方法的步驟。

根據本申請實施例的再一個方面，提供了一種計算機可讀存儲介質，其上存儲有計算機程序，該計算機程序被處理器執行時實現本申請實施例第一方面所示方法的步驟。

根據本申請實施例的一個方面，提供了一種計算機程序產品，其包括計算機程序，該計算機程序被處理器執行時實現本申請實施例第一方面所示方法的步驟。

本申請實施例提供的技術方案帶來的有益效果是：

本申請實施例通過獲取待編譯的對象語言，根據預設的語義模型所確定的終結符的符號域，從所述對象語言中篩選出參考符號序列作為詞素；

對所述詞素進行解析，得到解析結果；其中，所述解析結果包括由終結符構成的差階邏輯命題或編譯中斷信息；所述差階邏輯命題包括低階邏輯命題和高階邏輯命題中的至少一項，解決了現有技術中無法識別和編譯差階邏輯表達式的問題。