刑偵因果掃描

第一章　必然因果、互為必然因果、非必然因果理論對破案的作用。必然因果、互為必然因果、
非必然因果的種類、邏輯結(jié)構(gòu)
1.1　必然因果、互為必然因果、非必然因果理論對破案的作用；確定研究該課題的理論工
具、檢驗工具
　1.2　必然因果、互為必然因果、非必然因果的種類、邏輯結(jié)構(gòu)
第二章　刑偵的幾個重要環(huán)節(jié)中，必然因果、互為必然因果、非必然因果理論的作用
　2.1　偵查案犯手紋時，必然因果、互為必然因果、非必然因果理論的作用
　2.2　偵查案犯足跡時，必然因果、互為必然因果、非必然因果理論的作用
　2.3　偵查案中血跡時，必然因果、互為必然因果、非必然因果理論的作用
　2.4　偵查案中毒物、毒物反應(yīng)時，必然因果、互為必然因果、非必然因果理論的作用
第三章　確定刑偵非切入點、切入點、最優(yōu)切入點時，非必然因果、必然因果、互為必然因果理
論的作用
第四章　對揭開復(fù)雜案情內(nèi)幕，必然因果、互為必然因果、非必然因果理論的作用
　4.1　單一式
　4.2　連環(huán)式
第五章　必然因果、互為必然因果、非必然因果理論對破解全案的作用
　5.1　殺人、盜竊、縱火案
　5.2　行兇強搶案
　5.3　自殺性爆炸案
　5.4　殺人、碎尸、拋尸案
　5.5　索賄受賄案
　　刑偵半自動化(將來加上機器人代替刑事偵查人員到作案現(xiàn)場搜集罪證和在檢驗室化驗時為刑偵全自動化)的實現(xiàn)要由三個步驟(三根接力棒)來完成：①設(shè)計出刑偵智能邏輯程序模式。它是第二步制作刑偵智能軟件程序的惟一理論根據(jù)。②根據(jù)第一步刑偵智能邏輯程序模式的理論，制作刑偵智能軟件程序。③根據(jù)第二步制作智能軟件程序的要求，改造現(xiàn)有計算機相應(yīng)的硬件。刑偵半自動化的實現(xiàn)，可以大幅度地提高刑偵質(zhì)量和速度，強有力地打擊犯罪、威懾犯罪，保障國家的安全，為國家各項事業(yè)安全、順利、飛速地發(fā)展保駕護航?！　≡趪鴥?nèi)對刑偵半自動化的研究工作未啟動之前，由于刑偵工作的需要，我首先用四本專著(《刑偵因果掃描》、《智能程序助理偵破》、《擺脫刑偵困境》、《刑偵工作中的邏輯應(yīng)用》)對刑偵半自動化大課題的第一接力棒進行了初步的探索。如果這四本專著(前兩本是關(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)形式邏輯推理、假說。　　前述四本專著的適用范圍：　　中國科學(xué)院軟件研究所、中國科學(xué)院計算機研究所、中國科學(xué)院情報研究所、各層次公安部門刑事偵查人員、各層次檢察院辦案人員、各層次法院辦案人員、各層次司法局辦案人員、國家諜報人員、各大學(xué)法律系師生、各大學(xué)計算機系師生、“自動化”研究人員、不同語種機器翻譯研究人員?！　　缎虃梢蚬麙呙琛芬粫剿鞯膯栴}：全書研究中采用的理論工具、檢驗工具；以“非(為)常真”、“常真”、“語義后承”觀念確定非必然因果的邏輯結(jié)構(gòu)、必然因果的邏輯結(jié)構(gòu)、互為必然因果的邏輯結(jié)構(gòu)。以非必然因果理論確定刑偵“非切入點”(不能在該點制訂刑偵計劃、開展刑偵工作，否則會走進刑偵“死胡同”，貽誤戰(zhàn)機，影響刑偵質(zhì)量和速度)；以必然因果理論確定刑偵“切人點”(應(yīng)在該點制訂刑偵計劃、開展刑偵工作，以利于提高刑偵質(zhì)量和速度)；以互為必然因果理論確定刑偵“最優(yōu)切人點”(該點是制訂刑偵計劃、開展刑偵工作的最佳點，它能保證對所針對的點進行全方位的偵查)。以非必然因果理論、必然因果理論、互為必然因果理論識別復(fù)雜案情結(jié)構(gòu)，準(zhǔn)確地撕掉遮蔽物，亮出事物本體，迅速破解復(fù)雜案例；以非必然因果理論、必然因果理論、互為必然因果理論對案中常出現(xiàn)的幾個重點環(huán)節(jié)(如手紋、足跡、血跡、毒物反應(yīng))進行高質(zhì)量高速度的偵破；用非必然因果理論、必然因果理論、互為必然因果理論偵破各型案例。針對以上這些問題的偵破設(shè)計了智能邏輯程序模式(智能邏輯程序，指加進了人工智能的邏輯程序。第二步設(shè)計軟件程序時也要按書中所示加進人工智能。第二步的軟件程序是由若干軟件模塊——框架組成的；要按照《刑偵因果掃描》、《智能程序助理偵破》所提出的理論及用其偵破的方法、步驟設(shè)計每一種破案軟件模塊的程序)。 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　作　者　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　2004年12月