面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

数据科学与工程技术丛书 数据科学R语言实践 面向计算推理与问题求解的案例研究法

本书带领读者身临其境地体验数据科学领域的日常工作，书中的12章即为12个鲜活的实践案例，包括航班延误数据分析、股票配对交易仿真以及二十一点纸牌游戏策略开发等，涵盖统计学、数据库、机器学习和可视化技术等...

计算机科学丛书 计算机视觉 模型、学习和推理

本书是一本从机器学习视角讲解计算机视觉的优秀教材。本书图文并茂，算法描述由浅入深，主要讲述计算机视觉中三个方面的内容：模型、学习和推理，揭示计算机视觉研究中 “模型”和“算法”之间的区别，并且对每一种....

智能科学技术著作丛书 证据推理、置信规则库与复杂系统建模

本书按照ER证据推理方法的发展历程，全面系统地介绍了各种ER证据推理方法的主要思想及其所要解决的问题。同时，系统地介绍了基于ER的BRB推理方法，全面地阐述了BRB基本理论，包括BRB参数离线训练、BRB参数在线更新...

智能科学技术著作丛书 粒计算与数据推理

粒计算的方法理念是本书各章节贯穿的主线。第1章的讨论针对粒计算涉及的概念，强调了粒的核心地位，设定了粒的形式化框架，该框架使给出的几种粒的定义得到了统一。在第1章的基础上，第2-7章分别利用粒中的数据信...

近似推理

基于知识的诊断推理

知识表示与推理

定性推理方法

自动推理导论