智能程序助理偵破

第一章　選擇理論工具、檢驗方法 1
　　1．1　T系統(tǒng)的語義解釋 3
　　1．2　S4系統(tǒng)語義解釋 7
　　1．3　S5系統(tǒng)語義解釋 9
　　1．4　QT系統(tǒng)語義解釋 11
　　1．5　QS4系統(tǒng)的語義解 13
第二章　用選定的理論工具、檢驗工具在案例中用
　　　　“語義后承”、“常真”觀念設(shè)計求解必然
　　　　真結(jié)論的智能邏輯程序模式 15
　　2．1　對殺人案例求解刑偵推理的必然真結(jié)論，并檢驗 15
　　　　2．1．1　完尸案例 15
　　　　2．1．2　碎尸案例 49
　　　　2．1．3　白骨案例 95
　　2．2　對爆炸案例求解刑偵推理的必然真結(jié)論，并檢驗 122
　　2．3　對盜竊殺人案例求解刑偵推理的必然真結(jié)論，并檢驗 137
　　2．4　對搶劫行兇案例求解刑偵推理的必然真結(jié)論，并檢驗 160
　　2．5　對敲詐案例求解刑偵推理的必然真結(jié)論，并檢驗 187
　　2．6　對索賄受賄案例求解刑偵推理的必然真結(jié)論，并檢驗 206
　　2．7　對誣陷案例求解刑偵推理的必然真結(jié)論，并檢驗 279
第三章　為便于讀者應(yīng)用，展示T定理常真的檢驗過程 356
　　刑偵半自動化(將來加上機(jī)器人代替刑事偵查人員到作案現(xiàn)場搜集罪證和在檢驗室化驗時為刑偵全自動化)的實現(xiàn)要由三個步驟(三根接力棒)來完成：①設(shè)計出刑偵智能邏輯程序模式。它是第二步制作刑偵智能軟件程序的惟一理論根據(jù)。②根據(jù)第一步刑偵智能邏輯程序模式的理論，制作刑偵智能軟件程序。③根據(jù)第二步智能軟件程序的要求，改造現(xiàn)有計算機(jī)相應(yīng)的硬件。刑偵半自動化的實現(xiàn)，可以大幅度地提高刑偵質(zhì)量和速度，強(qiáng)有力地打擊犯罪、威懾犯罪，保障國家的安全，為國家各項事業(yè)安全、順利、飛速地發(fā)展保駕護(hù)航。 　　在國內(nèi)對刑偵半自動化的研究工作未啟動之前，由于刑偵工作的需要，我首先用四本專著(《刑偵因果掃描》、《智能程序助理偵破》、《擺脫刑偵困境》、《刑偵工作中的邏輯應(yīng)用》)對刑偵半自動化大課題的第一接力棒進(jìn)行了初步的探索。如果這四本專著(前兩本是關(guān)鍵)能對刑偵現(xiàn)狀的改善有些幫助，我將感到極大的欣慰。 　　前述四本專著的適用范圍： 　　中國科學(xué)院軟件研究所、中國科學(xué)院計算機(jī)研究所、中國科學(xué)院情報研究所、各層次公安部門刑事偵查人員、各層次檢察院辦案人員、各層次法院辦案人員、各層次司法局辦案人員、國家諜報人員、各大學(xué)法律系師生、各大學(xué)計算機(jī)系師生、“自動化”研究人員、不同語種機(jī)器翻譯研究人員。 　　本書是作者刑偵半自動化第一系列四本專著中的一本（詳細(xì)說明見《刑偵因果掃描》前言）。 　　《智能程序助理偵破》一書中解決的問題是：①經(jīng)比較、篩選確定了求解必然真結(jié)論的邏輯程序的理論工具是T系統(tǒng)、S4系統(tǒng)、S5系統(tǒng)的語義解釋，檢驗工具是休斯與克雷斯韋爾語義圖；②由證確定了（前提與結(jié)論之間的）語義后承關(guān)系是求解推理式必然真結(jié)論的主導(dǎo)觀念；③根據(jù)前提與結(jié)論之間的語義后承關(guān)系設(shè)計了求解必然真結(jié)論的破案智能邏輯程序模式（必然真結(jié)論命題是科學(xué)制訂刑偵計劃、開展刑偵工作的點，它能保證刑偵的高質(zhì)量、高速度），其中邏輯識別和排除不必然真結(jié)論；④為讀者在刑偵工作中大規(guī)模地應(yīng)用本書理論，展示了常用的T定理的必然真的檢驗過程。 　　讀本書之前必須掌握的預(yù)備知識： 　　(1)模態(tài)邏輯T系統(tǒng)、S4系統(tǒng)、S5系統(tǒng)、QT系統(tǒng)、QS4系統(tǒng)、QS5系統(tǒng)的語義解釋，T、S4、S5的檢驗工具(見本書第一章)。 　　(2)數(shù)理邏輯P系統(tǒng)、Q系統(tǒng)的語義解釋(見周禮全《模態(tài)邏輯引論》)。 　　(3)形式邏輯推理、假說。