智能推理技術在養老保險審計中的運用

張曉偉 商丘市審計局

社會保障制度在新的經濟體制中，獲得了優化與改革，有序開展了相關監督與審計工作。雖然傳統人工審計工作沿用多年，并取得初步應用成效，但是其運行效率較為不理想。近幾十年間，信息技術獲得了良好發展，為養老保險審計工作帶來了諸多科學助力，新型審計工作具有較高的應用效益。

一、養老保險概念界定

養老保險屬于社會保障制度的一種。社會保障制度為穩定國家經濟發展，發展高品質社會形態，給予基層公民社會保障，在人們年老、發生疾病、失業無收入等情況下，由政府為代表，依據社會保障相關規范與條例，給予受困群體一定物質幫助，提升其生存能力，保障公民日常生活需求。社會保障制度中針對基層人群年老問題，設定的保障制度為養老保險。

養老保險審計的重要性：

1.保障國家關于社保基金相關管理活動的有序執行，為社會保險基金提供運動活力，防止各類基金管理潛藏風險。

2.針對社保基金相對應的管理活動、基金使用狀態、預期達成的目標，開展有效分析與總結，分析其中發生的可能性偏差，總結管理模式存在利弊，為政策調整社保基金管理相關政策提供有效數據，保障社保制度運行的有效性，提升社保基金的管理效率。

3.開展養老保險基金審計工作，有效糾正各類違法行為，發揮養老保險基金運行與管理的內在約束作用。

二、智能審計的運行理念

在信息技術、會計電算化等智能科技日益發展的背景下，審計工作獲得了信息化發展，大數據的信息技術為審計工作提供了多重保障與助力，并取得了豐厚碩果。然而，大部分信息技術融合于審計工作時，對審計數據開展了各類處理，包括數據整理、劃分類目、有效整合等。簡言之，智能審計以新型信息技術，為養老保險提供了智能化審計工作流程，以信息技術的固有運行程序，代替人工腦力勞動，具有運行的高效優質性。智能審計的應用優勢有：智能功能更新、智能判定、智能推演審計結果，解決審計人員手工審計工作存在的不足問題[1]。

三、養老保險審計總體表現

養老保險在開展基金管理活動時，針對收支問題，開展財政、地稅、社保三個部門的督查工作，并以養老保險收入、支出等基礎資金變動為基礎，開展有效監督與管理。審計知識的表示方法為面向對象，收支項目分為：三個部門的實際工作項目，可設為成員變量。比如，收入項目中，補貼與社保繳納款，可作為成員變量；支出項目中，財政撥款可設為成員變量。

四、養老審計的推理研究

（一）一階謂詞邏輯

一階謂詞邏輯的智能推理過程，融合于養老保險審計工作中，具有審計精確性，校驗養老保險以區域為運行單位時，其政策內容與國家總體指導方向存在的偏差與矛盾。然而，單一運行此推理方法，建設知識庫存在諸多問題，養老保險審計工作適用的政策法規較多，且在養老保險內部的各項業務中存在關聯關系，相應伴隨審計知識存在關聯。一階謂詞邏輯的智能推理流程中，應用的連接詞能夠良好顯示表達知識各方間內在關聯關系，且在實際推理期間，有效分離了推理流程與表達含義，規避了審計業務存在的關聯問題，難以有效獲取審計各項業務潛在的相互關系，研究業務表層問題，尚未深入開展業務研究，有待完善。

應用實例：

謂詞設定：人員，謂詞表示為x；退休，謂詞表示為retire；參繳養老保險項目，Joininsure；擁有養老保險享受資格，Enjoy；死亡，Dead；開啟養老基金的領取行為，Drawinsure；退休人員x 的死亡時間，設定為y；退休人員x 領取養老保險的具體時間，設定為y；違規，Foul。

推理過程：

（1）參繳養老保險的人員，在其退休狀態時，生命體征良好，排除死亡事件，應享有養老保險福利：retire^Joininsure^非Dead，即滿足Enjoy 條件。

（2）未參繳養老保險的人員，其他條件一致，不具備享有養老保險福利的條件：retire^非Joininsure^非Dead，即不滿足Enjoy條件。

（3）參繳養老保險的人員，在其退休狀態時，發生死亡現象，不具備享有養老保險福利的條件：retire^Joininsure^Dead，即不滿足Enjoy 條件。

（4）參繳養老保險的人員，在其未退休狀態時，生命體征良好，排除死亡事件，不具有享有養老保險福利的條件：非retire^Joininsure^非Dead，即不滿足Enjoy 條件。

由此可知，養老保險領取的違規操作有：死亡狀態、未參繳養老保險、未退休狀態。養老保險具有良好的民生保障效應，維護資金安全，提升養老管理與資金發放的正當性，具有重要發展意義。

（二）產生式知識

產生式知識具有專家經驗的智能推理理念，應用優勢在于：便利性強、審計條件明確，執行方案有效。審計養老保險工作時，諸多政府法規內容具有冗余性，存在必要性關聯未啟用、冗余類關聯繁雜等問題。

應用實例：養老保險的審計工作具有規模較大、程序煩瑣、系統紛雜等特點，引起審計項目眾多，包括基礎性業務、繳納保險財務數據、財政扶持數據等，數據類型的多樣化，為審計工作帶來了多重困擾。借助產生式知識開展智能推理，有效緩解審計工作壓力，提升審計工作有序性[2]。

推理過程：

（1）參繳養老保險時間，應滿足t 大于等于15 年，即領取年限=繳費年限+t。

（2）退休年齡應符合相關規范內容，具體參照國家相應退休年齡的說明與規定。特別強調的是，工傷退休人員，不存在退休年齡限制條件。

由此發現：產生式知識的推理過程更為具體，融合相關政策的具體規范，具有執行的有效性。

五、結論

綜上所述，一階謂詞智能推理期間，采用了消解原理，產生式表示推理借助了規則理論，展現出智能推理在養老保險審計工作中的重要性。在此基礎上，智能推理技術應持續獲得提升，總結相關經驗，提升智能推理的運行效率，為養老保險審計工作提供多重助益。