張曉偉 商丘市審計(jì)局

社會(huì)保障制度在新的經(jīng)濟(jì)體制中，獲得了優(yōu)化與改革，有序開(kāi)展了相關(guān)監(jiān)督與審計(jì)工作。雖然傳統(tǒng)人工審計(jì)工作沿用多年，并取得初步應(yīng)用成效，但是其運(yùn)行效率較為不理想。近幾十年間，信息技術(shù)獲得了良好發(fā)展，為養(yǎng)老保險(xiǎn)審計(jì)工作帶來(lái)了諸多科學(xué)助力，新型審計(jì)工作具有較高的應(yīng)用效益。

一、養(yǎng)老保險(xiǎn)概念界定

養(yǎng)老保險(xiǎn)屬于社會(huì)保障制度的一種。社會(huì)保障制度為穩(wěn)定國(guó)家經(jīng)濟(jì)發(fā)展，發(fā)展高品質(zhì)社會(huì)形態(tài)，給予基層公民社會(huì)保障，在人們年老、發(fā)生疾病、失業(yè)無(wú)收入等情況下，由政府為代表，依據(jù)社會(huì)保障相關(guān)規(guī)范與條例，給予受困群體一定物質(zhì)幫助，提升其生存能力，保障公民日常生活需求。社會(huì)保障制度中針對(duì)基層人群年老問(wèn)題，設(shè)定的保障制度為養(yǎng)老保險(xiǎn)。

養(yǎng)老保險(xiǎn)審計(jì)的重要性：

1.保障國(guó)家關(guān)于社保基金相關(guān)管理活動(dòng)的有序執(zhí)行，為社會(huì)保險(xiǎn)基金提供運(yùn)動(dòng)活力，防止各類基金管理潛藏風(fēng)險(xiǎn)。

2.針對(duì)社?；鹣鄬?duì)應(yīng)的管理活動(dòng)、基金使用狀態(tài)、預(yù)期達(dá)成的目標(biāo)，開(kāi)展有效分析與總結(jié)，分析其中發(fā)生的可能性偏差，總結(jié)管理模式存在利弊，為政策調(diào)整社?；鸸芾硐嚓P(guān)政策提供有效數(shù)據(jù)，保障社保制度運(yùn)行的有效性，提升社?；鸬墓芾硇?。

3.開(kāi)展養(yǎng)老保險(xiǎn)基金審計(jì)工作，有效糾正各類違法行為，發(fā)揮養(yǎng)老保險(xiǎn)基金運(yùn)行與管理的內(nèi)在約束作用。

二、智能審計(jì)的運(yùn)行理念

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

三、養(yǎng)老保險(xiǎn)審計(jì)總體表現(xiàn)

養(yǎng)老保險(xiǎn)在開(kāi)展基金管理活動(dòng)時(shí)，針對(duì)收支問(wèn)題，開(kāi)展財(cái)政、地稅、社保三個(gè)部門的督查工作，并以養(yǎng)老保險(xiǎn)收入、支出等基礎(chǔ)資金變動(dòng)為基礎(chǔ)，開(kāi)展有效監(jiān)督與管理。審計(jì)知識(shí)的表示方法為面向?qū)ο?，收支?xiàng)目分為：三個(gè)部門的實(shí)際工作項(xiàng)目，可設(shè)為成員變量。比如，收入項(xiàng)目中，補(bǔ)貼與社保繳納款，可作為成員變量；支出項(xiàng)目中，財(cái)政撥款可設(shè)為成員變量。

四、養(yǎng)老審計(jì)的推理研究

（一）一階謂詞邏輯

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

應(yīng)用實(shí)例：

謂詞設(shè)定：人員，謂詞表示為x；退休，謂詞表示為retire；參繳養(yǎng)老保險(xiǎn)項(xiàng)目，Joininsure；擁有養(yǎng)老保險(xiǎn)享受資格，Enjoy；死亡，Dead；開(kāi)啟養(yǎng)老基金的領(lǐng)取行為，Drawinsure；退休人員x 的死亡時(shí)間，設(shè)定為y；退休人員x 領(lǐng)取養(yǎng)老保險(xiǎn)的具體時(shí)間，設(shè)定為y；違規(guī)，F(xiàn)oul。

推理過(guò)程：

（1）參繳養(yǎng)老保險(xiǎn)的人員，在其退休狀態(tài)時(shí)，生命體征良好，排除死亡事件，應(yīng)享有養(yǎng)老保險(xiǎn)福利：retire^Joininsure^非Dead，即滿足Enjoy 條件。

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

（3）參繳養(yǎng)老保險(xiǎn)的人員，在其退休狀態(tài)時(shí)，發(fā)生死亡現(xiàn)象，不具備享有養(yǎng)老保險(xiǎn)福利的條件：retire^Joininsure^Dead，即不滿足Enjoy 條件。

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

由此可知，養(yǎng)老保險(xiǎn)領(lǐng)取的違規(guī)操作有：死亡狀態(tài)、未參繳養(yǎng)老保險(xiǎn)、未退休狀態(tài)。養(yǎng)老保險(xiǎn)具有良好的民生保障效應(yīng)，維護(hù)資金安全，提升養(yǎng)老管理與資金發(fā)放的正當(dāng)性，具有重要發(fā)展意義。

（二）產(chǎn)生式知識(shí)

產(chǎn)生式知識(shí)具有專家經(jīng)驗(yàn)的智能推理理念，應(yīng)用優(yōu)勢(shì)在于：便利性強(qiáng)、審計(jì)條件明確，執(zhí)行方案有效。審計(jì)養(yǎng)老保險(xiǎn)工作時(shí)，諸多政府法規(guī)內(nèi)容具有冗余性，存在必要性關(guān)聯(lián)未啟用、冗余類關(guān)聯(lián)繁雜等問(wèn)題。

應(yīng)用實(shí)例：養(yǎng)老保險(xiǎn)的審計(jì)工作具有規(guī)模較大、程序煩瑣、系統(tǒng)紛雜等特點(diǎn)，引起審計(jì)項(xiàng)目眾多，包括基礎(chǔ)性業(yè)務(wù)、繳納保險(xiǎn)財(cái)務(wù)數(shù)據(jù)、財(cái)政扶持?jǐn)?shù)據(jù)等，數(shù)據(jù)類型的多樣化，為審計(jì)工作帶來(lái)了多重困擾。借助產(chǎn)生式知識(shí)開(kāi)展智能推理，有效緩解審計(jì)工作壓力，提升審計(jì)工作有序性[2]。

推理過(guò)程：

（1）參繳養(yǎng)老保險(xiǎn)時(shí)間，應(yīng)滿足t 大于等于15 年，即領(lǐng)取年限=繳費(fèi)年限+t。

（2）退休年齡應(yīng)符合相關(guān)規(guī)范內(nèi)容，具體參照國(guó)家相應(yīng)退休年齡的說(shuō)明與規(guī)定。特別強(qiáng)調(diào)的是，工傷退休人員，不存在退休年齡限制條件。

由此發(fā)現(xiàn)：產(chǎn)生式知識(shí)的推理過(guò)程更為具體，融合相關(guān)政策的具體規(guī)范，具有執(zhí)行的有效性。

五、結(jié)論

綜上所述，一階謂詞智能推理期間，采用了消解原理，產(chǎn)生式表示推理借助了規(guī)則理論，展現(xiàn)出智能推理在養(yǎng)老保險(xiǎn)審計(jì)工作中的重要性。在此基礎(chǔ)上，智能推理技術(shù)應(yīng)持續(xù)獲得提升，總結(jié)相關(guān)經(jīng)驗(yàn)，提升智能推理的運(yùn)行效率，為養(yǎng)老保險(xiǎn)審計(jì)工作提供多重助益。