[决策代理基础,逻辑概率及模态]模态分析 一到六阶意义

　　Subrata Das 　　Foundations of 　　Decision�Making Agents 　　Logic, Probability and Modality
　　2008；
　　Hardback
　　ISBN9789812779830
　　
　　S.达斯著
　　模拟人类行为的人工智能(AI)系统经常被称为智能代理。按照定义，这些智能代理表现出某些类似于人类的智能形式。例如，智能代理能从环境中学习，做出规划与决策，以适当的动作对环境做出反应，表达情感或修正信念。智能代理典型地利用知识表示语言中基本信念与知识建模来表示人类的认知状态。本书作者使用术语“认识状态”来指在某一给定的时间点引起人类行为的实际或可能的认知状态。这本内容自含的书籍提供了三类基本的方法(逻辑的、概率的和模态的)，用来表示和推理代理的认识状态，特别是在决策的条件之下。
　　本书共有9章。1.建模代理的认识状态：一个非正式概述；2.数学准备；3.命题认识模型的经典逻辑；4.逻辑编程；5.决策的逻辑规则；6.贝叶斯置信网络；7.用于决策的影响图；8.可能的世界认识模型的模态逻辑；9.决策的符号论证。
　　本书作者建议读者不要跳过第1章，该章包括了对本书其余部分的非正式概述，对它所涉及内容的基本理解将会使读者不至于在稍后几章的阅读中感到困惑。初学者不要因为在这一章中使用的不熟悉的术语而感到沮丧，这些术语在后面的各章中都会加以解释。
　　本书可用于构建智能及实用决策辅助代理。本书也可用作大学生研究生有关逻辑和概率的教课书，及大学研究人员的参考书。
　　胡光华，
　　高级软件工程师
　　(原中国科学院物理学研究所)
　　Hu Guanghua, Senior Software Engineer
　　(Former Institute of Physics,CAS)