书籍简介:

本书中探索的问题是：1．经比较、筛选确定了求解必然真结论的逻辑程序的理论工具是T系统、S4系统的语义解释，检验工具是休斯子克雷斯韦尔语义图；2．由证确定了（前提与结论之间的）语义后承关系是求解推理式必然真结论的主导观念；3．根据前提与结论之间的语义后承关系设计了求解必然真结论的破案智能逻辑程序（必然真结论命题是科学制订刑侦计划、开展刑侦工作的点，它能保证刑侦的高质量、高速度），其中逻辑识别和排除不必然真结论；4．为读者在刑侦工作中大规模的应用，展示了常用的T定理的必然真的检验过程。案例有完尸案例、碎尸案例、白骨案例对爆炸案例求解刑侦推理的必然真结论，并检验对盗窃杀人案例求解刑侦推理的必然真结论，并检验对抢劫行凶案例求解刑侦推理的必然真结论，并检验对敲诈案例求解刑侦推理的必然真结论，并检验对索贿受贿案例求解刑侦推理的必然真结论，并检验对诬陷案例求解刑侦推理的必然真结论，并检验为便于读者应用，展示T定理常真的检验过程。

书籍规格:

书籍详细信息
书名	智能机助理破案的神威站内查询相似图书
丛书名	刑侦半自动化丛书
	9787801903914 如需购买下载《智能机助理破案的神威》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	社会科学文献出版社
版次	1版	印次	1
定价(元)		语种	简体中文
尺寸		装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

智能机助理破案的神威是社会科学文献出版社于2004.出版的中图分类号为 D918-39 的主题关于智能机器－计算机应用－刑事侦察－研究的书籍。