智能程序助理侦破(刑侦半自动化丛书)
编号：18641
书名：智能程序助理侦破(刑侦半自动化丛书)
作者：于思
出版社：社科文献
出版时间：2005-4-7
入库时间：2005-5-7
定价：25元
[图书内容简介]
没有图书简介
[图书目录]
第一章选择理论工具、检验方法………………………………l
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
总计376页