刑偵因果掃描

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