智能程序助理侦破
| 商家名称 |
信用等级 |
购买信息 |
订购本书 |
|
|
 |
智能程序助理侦破 |
 |
|
|
智能程序助理侦破 |
|
基本信息·出版社：社会科学文献出版社
·页码：376 页
·出版日期：2005年01月
·ISBN：7801905180
·条形码：9787801905185
·版本：第1版
·装帧：平装
·开本：32
·正文语种：中文
·丛书名：刑侦半自动化丛书
·外文书名：The Logic Program for Solving Cases
内容简介 刑侦半自动化丛书的适用范围：科学院软件研究所、计算机研究所及情报研究所，公安局、检察院、法院等司法机关，高校法律系、计算机系，自动化及不同语种机器翻译研究单位，国家安全部门等。
本书论述了求解推理式必然真结论惟一的理论工具和可靠便捷的检验方法，据此设计了侦破大案要案的智能逻辑程序模式，为设计智能软件提供了惟一的理论根据，也以智能化破案的逻辑程序模式为刑侦人员指出高质量、高速度破案的科学途径和手段。
目录 第一章 选择理论工具、检验方法 1
1．1 T系统的语义解释 3
1．2 S4系统语义解释 7
1．3 S5系统语义解释 9
1．4 QT系统语义解释 11
1．5 QS4系统的语义解 13
第二章 用选定的理论工具、检验工具在案例中用
“语义后承”、“常真”观念设计求解必然
真结论的智能逻辑程序模式 15
2．1 对杀人案例求解刑侦推理的必然真结论，并检验 15
2．1．1 完尸案例 15
2．1．2 碎尸案例 49
2．1．3 白骨案例 95
2．2 对爆炸案例求解刑侦推理的必然真结论，并检验 122
2．3 对盗窃杀人案例求解刑侦推理的必然真结论，并检验 137
2．4 对抢劫行凶案例求解刑侦推理的必然真结论，并检验 160
2．5 对敲诈案例求解刑侦推理的必然真结论，并检验 187
2．6 对索贿受贿案例求解刑侦推理的必然真结论，并检验 206
2．7 对诬陷案例求解刑侦推理的必然真结论，并检验 279
第三章 为便于读者应用，展示T定理常真的检验过程 356
……
