刑偵因果掃描

第一章　必然因果、互為必然因果、非必然因果理論對破案的作用。必然因果、互為必然因果、
非必然因果的種類、邏輯結(jié)構(gòu)
1.1　必然因果、互為必然因果、非必然因果理論對破案的作用；確定研究該課題的理論工
具、檢驗工具
　1.2　必然因果、互為必然因果、非必然因果的種類、邏輯結(jié)構(gòu)
第二章　刑偵的幾個重要環(huán)節(jié)中，必然因果、互為必然因果、非必然因果理論的作用
　2.1　偵查案犯手紋時，必然因果、互為必然因果、非必然因果理論的作用
　2.2　偵查案犯足跡時，必然因果、互為必然因果、非必然因果理論的作用
　2.3　偵查案中血跡時，必然因果、互為必然因果、非必然因果理論的作用
　2.4　偵查案中毒物、毒物反應(yīng)時，必然因果、互為必然因果、非必然因果理論的作用
第三章　確定刑偵非切入點(diǎn)、切入點(diǎn)、最優(yōu)切入點(diǎn)時，非必然因果、必然因果、互為必然因果理
論的作用
第四章　對揭開復(fù)雜案情內(nèi)幕，必然因果、互為必然因果、非必然因果理論的作用
　4.1　單一式
　4.2　連環(huán)式
第五章　必然因果、互為必然因果、非必然因果理論對破解全案的作用
　5.1　殺人、盜竊、縱火案
　5.2　行兇強(qiáng)搶案
　5.3　自殺性爆炸案
　5.4　殺人、碎尸、拋尸案
　5.5　索賄受賄案
　　刑偵半自動化(將來加上機(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)狀的改善有些幫助，我將感到極大的欣慰?！　∽x本書之前必須掌握的預(yù)備知識：　　(1)模態(tài)邏輯T系統(tǒng)、S4系統(tǒng)、S5系統(tǒng)、QT系統(tǒng)、QS5系統(tǒng)、QS5系統(tǒng)的語義解釋，T、S4、S5的檢驗工具(見本第一章)。 　　(2)數(shù)理邏輯P系統(tǒng)、Q系統(tǒng)的語義解釋(見周禮全《模態(tài)邏輯引論》)。 　　(3)形式邏輯推理、假說?！　∏笆鏊谋緦Ｖ倪m用范圍：　　中國科學(xué)院軟件研究所、中國科學(xué)院計算機(jī)研究所、中國科學(xué)院情報研究所、各層次公安部門刑事偵查人員、各層次檢察院辦案人員、各層次法院辦案人員、各層次司法局辦案人員、國家諜報人員、各大學(xué)法律系師生、各大學(xué)計算機(jī)系師生、“自動化”研究人員、不同語種機(jī)器翻譯研究人員。　　《刑偵因果掃描》一書探索的問題：全書研究中采用的理論工具、檢驗工具；以“非(為)常真”、“常真”、“語義后承”觀念確定非必然因果的邏輯結(jié)構(gòu)、必然因果的邏輯結(jié)構(gòu)、互為必然因果的邏輯結(jié)構(gòu)。以非必然因果理論確定刑偵“非切入點(diǎn)”(不能在該點(diǎn)制訂刑偵計劃、開展刑偵工作，否則會走進(jìn)刑偵“死胡同”，貽誤戰(zhàn)機(jī)，影響刑偵質(zhì)量和速度)；以必然因果理論確定刑偵“切人點(diǎn)”(應(yīng)在該點(diǎn)制訂刑偵計劃、開展刑偵工作，以利于提高刑偵質(zhì)量和速度)；以互為必然因果理論確定刑偵“最優(yōu)切人點(diǎn)”(該點(diǎn)是制訂刑偵計劃、開展刑偵工作的最佳點(diǎn)，它能保證對所針對的點(diǎn)進(jìn)行全方位的偵查)。以非必然因果理論、必然因果理論、互為必然因果理論識別復(fù)雜案情結(jié)構(gòu)，準(zhǔn)確地撕掉遮蔽物，亮出事物本體，迅速破解復(fù)雜案例；以非必然因果理論、必然因果理論、互為必然因果理論對案中常出現(xiàn)的幾個重點(diǎn)環(huán)節(jié)(如手紋、足跡、血跡、毒物反應(yīng))進(jìn)行高質(zhì)量高速度的偵破；用非必然因果理論、必然因果理論、互為必然因果理論偵破各型案例。針對以上這些問題的偵破設(shè)計了智能邏輯程序模式(智能邏輯程序，指加進(jìn)了人工智能的邏輯程序。第二步設(shè)計軟件程序時也要按書中所示加進(jìn)人工智能。第二步的軟件程序是由若干軟件模塊——框架組成的；要按照《刑偵因果掃描》、《智能程序助理偵破》所提出的理論及用其偵破的方法、步驟設(shè)計每一種破案軟件模塊的程序)。 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　作　者　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　2004年12月