《智能程序助理侦破》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:于思著
  • 出 版 社:北京:社会科学文献出版社
  • 出版年份:2005
  • ISBN:7801905180
  • 页数:376 页
图书介绍:本书中探索的问题是:1.经比较、筛选确定了求解必然真结论的逻辑程序的理论工具是T系统、S4系统的语义解释,检验工具是休斯子克雷斯韦尔语义图;2.由证确定了(前提与结论之间的)语义后承关系是求解推理式必然真结论的主导观念;3.根据前提与结论之间的语义后承关系设计了求解必然真结论的破案智能逻辑程序(必然真结论命题是科学制订刑侦计划、开展刑侦工作的点,它能保证刑侦的高质量、高速度),其中逻辑识别和排除不必然真结论;4.为读者在刑侦工作中大规模的应用,展示了常用的T定理的必然真的检验过程。案例有完尸案例、碎尸案例、白骨案例对爆炸案例求解刑侦推理的必然真结论,并检验对盗窃杀人案例求解刑侦推理的必然真结论,并检验对抢劫行凶案例求解刑侦推理的必然真结论,并检验对敲诈案例求解刑侦推理的必然真结论,并检验对索贿受贿案例求解刑侦推理的必然真结论,并检验对诬陷案例求解刑侦推理的必然真结论,并检验为便于读者应用,展示T定理常真的检验过程。

目录 1

第一章 选择理论工具、检验方法 1

1.1 T系统的语义解释 3

1.2 S4系统语义解释 7

1.3 S5系统语义解释 9

1.4 QT系统语义解释 11

1.5 QS4系统的语义解释 13

2.1.1 完尸案例 15

2.1 对杀人案例求解刑侦推理的必然真结论,并检验 15

“语义后承”、“常真”观念设计求解必然真结论的智能逻辑程序模式 15

第二章 用选定的理论工具、检验工具在案例中用 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