智能程序助理偵破

內(nèi)容概要

　　刑偵半自動化叢書的適用范圍：科學院軟件研究所、計算機研究所及情報研究所，公安局、檢察院、法院等司法機關(guān)，高校法律系、計算機系，自動化及不同語種機器翻譯研究單位，國家安全部門等?！　”緯撌隽饲蠼馔评硎奖厝徽娼Y(jié)論惟一的理論工具和可靠便捷的檢驗方法，據(jù)此設計了偵破大案要案的智能邏輯程序模式，為設計智能軟件提供了惟一的理論根據(jù)，也以智能化破案的邏輯程序模式為刑偵人員指出高質(zhì)量、高速度破案的科學途徑和手段。

書籍目錄

第一章　選擇理論工具、檢驗方法                      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 第二章　用選定的理論工具、檢驗工具在案例中用 　　　　“語義后承”、“常真”觀念設計求解必然 　　　　真結(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 第三章　為便于讀者應用，展示T定理常真的檢驗過程              356

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    智能程序助理偵破 PDF格式下載

---