作 者:杨柳,刘陶唐 编著
定 价:39
出 版 社:冶金工业出版社
出版日期:2017年07月01日
页 数:100
装 帧:平装
ISBN:9787502475253
●1 概率论基础
●2 布尔表达式及其描述
●2.1 布尔函数
●2.1.1 布尔代数
●2.1.2 布尔表达式
●2.1.3 布尔函数
●2.1.4 布尔函数的范式
●2.2 命题公式
●2.2.1 命题与联结词
●2.2.2 合式公式
●2.2.3 命题公式的范式
●2.2.4 命题公式与布尔函数
●2.3 布尔表达式与其他描述形式
●2.3.1 真值表
●2.3.2 决策树
●2.3.3 二叉决策图
●3 经典规划求解技术
●3.1 经典规划概述
●3.2 经典规划问题的求解方法
●3.2.1 状态空间搜索
●部分目录
智能规划是人工智能的一个重要研究领域。本书主要介绍了与经典智能规划和不确定性规划相关的理论基础,主要包括概率论基础、布尔表达式及其描述、经典规划求解技术、智能规划语言、马尔科夫决策过程、代数决策图、及贝叶斯网络等。旨在让感兴趣的研究者对这一研究领域的相关内容有一个完整的印象。
本书可供计算机专业学生和研究人员及工程技术人员阅读参考。
杨柳,刘陶唐 编著
杨柳, 1969年生,计算机软件与理论专业硕士,牡丹江师范学院计算机与信息技术学院教授,主要研究方向为智能规划、信息检索。先后主持黑龙江省教育厅科研项目2项、黑龙江省教育厅教改项目1项、牡丹江师范学院重点创新预研项目1项,年来发表核心论文5篇,EI靠前会议论文3篇,省级论文5篇。
智能规划是用人工智能理论与技术自动或半自动地生成一组动作序列(或称一个“计划”),用以实现期望的目标。智能规划是智能系统理论与应用研究的重要分支。不确定性推理是人工智能研究的重要课题之一,从20世纪60~70年代以来,人们提出了多种方法,如概率方法、非单调逻辑、模糊逻辑等。在这些方法中,概率方法是最自然也是最早被尝试的方法之一。因为概率论本身是关于随机现象和不确定性的数学理论。不确定性通过对经典规划问题假设的适当放宽形成了非经典问题,主要研究系统初始状态不确定和动作效果不确定对求解的影响。对动作执行效果的不确定性,决策理论的应用是一种自然的选择。采用马尔科夫决策过程是一种主要的表达和求解方法。贝叶斯网络是为了处理人工智能研究中的不确定性(uncertainty)问题而发展起来的,贝叶斯网络是将概率统计应用于复杂领域进行不确定性推理和数据分析的工具,是一种系统地描述随即变量之间关系的工具。建等