智能程序助理侦破

　　刑侦半自动化丛书的适用范围：科学院软件研究所、计算机研究所及情报研究所，公安局、检察院、法院等司法机关，高校法律系、计算机系，自动化及不同语种机器翻译研究单位，国家安全部门等。本书论述了求解推理式必然真结论惟一的理论工具和可靠便捷的检验方法，据此设计了侦破大案要案的智能逻辑程序模式，为设计智能软件提供了惟一的理论根据，也以智能化破案的逻辑程序模式为刑侦人员指出高质量、高速度破案的科学途径和手段。本书前言刑侦半自动化（将来加上机器人代替刑事侦查人员到作案现场搜集罪证和在检验室化验时为刑侦全自动化）的实现要由三个步骤（三根接力棒）来完成：①设计出刑侦智能逻辑程序模式。它是第二步制作刑侦智能软件程序的惟一理论根据。②根据第一步刑侦智能逻辑程序模式的理论，制作刑侦智能软件程序。③根据第二步智能软件程序的要求，改造现有计算机相应的硬件。刑侦半自动化的实现，可以大幅度地提高刑侦质量和速度，强有力地打击犯罪、威慑犯罪，保障国家的安全，为国家各项事业安全、顺利、飞速地发展保驾护航。在国内对刑侦半自动化的研究工作未启动之前，由于刑侦工作的需要，我首先用四本专著（《刑侦因果扫描》、《智能程序助理侦破》、《摆脱刑侦困境》、《刑侦工作中的逻辑应用》）对刑侦半自动化大课题的第一接力棒进行了初步的探索。如果这四本专著（前两本是关键）能对刑侦现状的改善有些帮助，我将感到极大的欣慰。前述四本专著的适用范围：中国科学院软件研究所、中国科学院计算机研究所、中国科学院情报研究所、各层次公安部门刑事侦查人员、各层次检察院办案人员、各层次法院办案人员、各层次司法局办案人员、国家谍报人员、各大学法律系师生、各大学计算机系师生、“自动化”研究人员、不同语种机器翻译研究人员。本书是作者刑侦半自动化第一系列四本专著中的一本（详细说明见《刑侦因果扫描》前言）。《智能程序助理侦破》一书中解决的问题是：①经比较、筛选确定了求解必然真结论的逻辑程序的理论工具是T系统、S4系统、S5系统的语义解释，检验工具是休斯与克雷斯韦尔语义图；②由证确定了（前提与结论之间的）语义后承关系是求解推理式必然真结论的主导观念；③根据前提与结论之间的语义后承关系设计了求解必然真结论的破案智能逻辑程序模式（必然真结论命题是科学制订刑侦计划、开展刑侦工作的点，它能保证刑侦的高质量、高速度），其中逻辑识别和排除不必然真结论；④为读者在刑侦工作中大规模地应用本书理论，展示了常用的T定理的必然真的检验过程。读本书之前必须掌握的预备知识：（1）模态逻辑T系统、S4系统、S5系统、QT系统、QS4系统、QS5系统的语义解释，T、S4、S5的检验工具（见本书第一章）。（2）数理逻辑P系统、Q系统的语义解释（见周礼全《模态逻辑引论》）。（3）形式逻辑推理、假说。

暂缺《智能程序助理侦破》作者简介

第一章　选择理论工具、检验方法 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
　　刑侦半自动化(将来加上机器人代替刑事侦查人员到作案现场搜集罪证和在检验室化验时为刑侦全自动化)的实现要由三个步骤(三根接力棒)来完成：①设计出刑侦智能逻辑程序模式。它是第二步制作刑侦智能软件程序的惟一理论根据。②根据第一步刑侦智能逻辑程序模式的理论，制作刑侦智能软件程序。③根据第二步智能软件程序的要求，改造现有计算机相应的硬件。刑侦半自动化的实现，可以大幅度地提高刑侦质量和速度，强有力地打击犯罪、威慑犯罪，保障国家的安全，为国家各项事业安全、顺利、飞速地发展保驾护航。 　　在国内对刑侦半自动化的研究工作未启动之前，由于刑侦工作的需要，我首先用四本专著(《刑侦因果扫描》、《智能程序助理侦破》、《摆脱刑侦困境》、《刑侦工作中的逻辑应用》)对刑侦半自动化大课题的第一接力棒进行了初步的探索。如果这四本专著(前两本是关键)能对刑侦现状的改善有些帮助，我将感到极大的欣慰。 　　前述四本专著的适用范围： 　　中国科学院软件研究所、中国科学院计算机研究所、中国科学院情报研究所、各层次公安部门刑事侦查人员、各层次检察院办案人员、各层次法院办案人员、各层次司法局办案人员、国家谍报人员、各大学法律系师生、各大学计算机系师生、“自动化”研究人员、不同语种机器翻译研究人员。 　　本书是作者刑侦半自动化第一系列四本专著中的一本（详细说明见《刑侦因果扫描》前言）。 　　《智能程序助理侦破》一书中解决的问题是：①经比较、筛选确定了求解必然真结论的逻辑程序的理论工具是T系统、S4系统、S5系统的语义解释，检验工具是休斯与克雷斯韦尔语义图；②由证确定了（前提与结论之间的）语义后承关系是求解推理式必然真结论的主导观念；③根据前提与结论之间的语义后承关系设计了求解必然真结论的破案智能逻辑程序模式（必然真结论命题是科学制订刑侦计划、开展刑侦工作的点，它能保证刑侦的高质量、高速度），其中逻辑识别和排除不必然真结论；④为读者在刑侦工作中大规模地应用本书理论，展示了常用的T定理的必然真的检验过程。 　　读本书之前必须掌握的预备知识： 　　(1)模态逻辑T系统、S4系统、S5系统、QT系统、QS4系统、QS5系统的语义解释，T、S4、S5的检验工具(见本书第一章)。 　　(2)数理逻辑P系统、Q系统的语义解释(见周礼全《模态逻辑引论》)。 　　(3)形式逻辑推理、假说。