刑偵半自動化叢書的適用范圍：科學院軟件研究所、計算機研究所及情報研究所，公安局、檢察院、法院等司法機關，高校法律系、計算機系，自動化及不同語種機器翻譯研究單位，國家安全部門等。本書論述了求解推理式必然真結論惟一的理論工具和可靠便捷的檢驗方法，據此設計了偵破大案要案的智能邏輯程序模式，為設計智能軟件提供了惟一的理論根據，也以智能化破案的邏輯程序模式為刑偵人員指出高質量、高速度破案的科學途徑和手段。本書前言刑偵半自動化（將來加上機器人代替刑事偵查人員到作案現(xiàn)場搜集罪證和在檢驗室化驗時為刑偵全自動化）的實現(xiàn)要由三個步驟（三根接力棒）來完成：①設計出刑偵智能邏輯程序模式。它是第二步制作刑偵智能軟件程序的惟一理論根據。②根據第一步刑偵智能邏輯程序模式的理論，制作刑偵智能軟件程序。③根據第二步智能軟件程序的要求，改造現(xiàn)有計算機相應的硬件。刑偵半自動化的實現(xiàn)，可以大幅度地提高刑偵質量和速度，強有力地打擊犯罪、威懾犯罪，保障國家的安全，為國家各項事業(yè)安全、順利、飛速地發(fā)展保駕護航。在國內對刑偵半自動化的研究工作未啟動之前，由于刑偵工作的需要，我首先用四本專著（《刑偵因果掃描》、《智能程序助理偵破》、《擺脫刑偵困境》、《刑偵工作中的邏輯應用》）對刑偵半自動化大課題的第一接力棒進行了初步的探索。如果這四本專著（前兩本是關鍵）能對刑偵現(xiàn)狀的改善有些幫助，我將感到極大的欣慰。前述四本專著的適用范圍：中國科學院軟件研究所、中國科學院計算機研究所、中國科學院情報研究所、各層次公安部門刑事偵查人員、各層次檢察院辦案人員、各層次法院辦案人員、各層次司法局辦案人員、國家諜報人員、各大學法律系師生、各大學計算機系師生、“自動化”研究人員、不同語種機器翻譯研究人員。本書是作者刑偵半自動化第一系列四本專著中的一本（詳細說明見《刑偵因果掃描》前言）。《智能程序助理偵破》一書中解決的問題是：①經比較、篩選確定了求解必然真結論的邏輯程序的理論工具是T系統(tǒng)、S4系統(tǒng)、S5系統(tǒng)的語義解釋，檢驗工具是休斯與克雷斯韋爾語義圖；②由證確定了（前提與結論之間的）語義后承關系是求解推理式必然真結論的主導觀念；③根據前提與結論之間的語義后承關系設計了求解必然真結論的破案智能邏輯程序模式（必然真結論命題是科學制訂刑偵計劃、開展刑偵工作的點，它能保證刑偵的高質量、高速度），其中邏輯識別和排除不必然真結論；④為讀者在刑偵工作中大規(guī)模地應用本書理論，展示了常用的T定理的必然真的檢驗過程。讀本書之前必須掌握的預備知識：（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）數理邏輯P系統(tǒng)、Q系統(tǒng)的語義解釋（見周禮全《模態(tài)邏輯引論》）。（3）形式邏輯推理、假說。
鄂公網安備 42010302001612號 