- 編號(hào):18641
- 書名:智能程序助理偵破(刑偵半自動(dòng)化叢書)
- 作者:于思
- 出版社:社科文獻(xiàn)
- 出版時(shí)間:2005年4月
- 入庫(kù)時(shí)間:2005-5-7
- 定價(jià):25
圖書內(nèi)容簡(jiǎn)介
沒(méi)有圖書簡(jiǎn)介
圖書目錄
第一章選擇理論工具、檢驗(yàn)方法………………………………l
1.1 T系統(tǒng)的語(yǔ)義解釋………………………………………3
1.2 S4系統(tǒng)語(yǔ)義解釋…………………………………………7
1.3 S5系統(tǒng)語(yǔ)義解釋…………………………………………9
1.4 QT系統(tǒng)語(yǔ)義解釋………………………………………11
1.5 Qs4系統(tǒng)的語(yǔ)義解釋……………………………………13
第二章用選定的理論工具、檢驗(yàn)工具在案例中用
“語(yǔ)義后承”、“常真”觀念設(shè)計(jì)求解必然
真結(jié)論的智能邏輯程序模式…………………………15
2.1 對(duì)殺人案例求解刑偵推理的必然真結(jié)論,
并檢驗(yàn)……………………………………………………15
2.1.1 完尸案例……………………………………………15
2.1.2碎尸案例……………………………………………49
2.1.3 白骨案例……………………………………………95
2.2 對(duì)爆炸案例求解刑偵推理的必然真結(jié)論,
并檢驗(yàn)…………………………………………………122
2.3 對(duì)盜竊殺人案例求解刑偵推理的必然真結(jié)論,
并檢驗(yàn)…………………………………………………137
2.4對(duì)搶劫行兇案例求解刑偵推理的必然真結(jié)論,
并檢驗(yàn)…………………………………………………160
2.5 對(duì)敲詐案例求解刑偵推理的必然真結(jié)論,
并檢驗(yàn)…………………………………………………187
2.6 對(duì)索賄受賄案例求解刑偵推理的必然真結(jié)論,
并檢驗(yàn)…………………………………………………206
2.7對(duì)誣陷案例求解刑偵推理的必然真結(jié)論,
并檢驗(yàn)…………………………………………………279
第三章 為便于讀者應(yīng)用,展示T定理常真的檢驗(yàn)過(guò)程
…………………………………………………………356
總計(jì)376頁(yè)