丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 决策程序。算法观点。由Randal E.Bryant作序。 （英语） Zbl 1149.68071号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 978-3-540-74104-6/hbk）。十六、304页。(2008). 这本书有两个主题作为要点：“决策过程”和“应用于这些决策的算法”。这是一种非常有趣的方法，因为在现实生活中（即在应用领域中），给定的问题是首先出现的，然后必须找到解决方案，而且解决方案的可能性很大。由于实际问题往往非常庞大和复杂，因此最终目标是通过算法和软件创建适当的解决方案。这种方法对研究生或四、五年级的学生非常有用，因为他们的知识已经足够广泛，可以学习本书涵盖的几个主题。从主题的顺序可以看出，所涵盖的知识非常广泛，并且提供了一个令人印象深刻的例子，说明在教育中可以或应该做些什么来为现实生活中的问题做准备。理论背景基于一阶理论，但有很多不同的方式。它从基于命题逻辑的方法和技术开始，例如SAT解算器和二进制决策图，然后是等式逻辑和未解释的函数。接下来的章节将讨论线性算术、位向量、数组、指针逻辑、量化公式、理论和命题编码的决定组合。一些关于C++库开发决策过程的提示结束了本书。每一章都介绍和解释了许多不同的概念，并提供了很好的示例、一些基于算法的解决方案的问题和练习，最后还有一个词汇表，这使本书非常适用和可读。这本书写得很好，读起来很有趣。作为一本学生用的教科书，要完全理解它并通读它需要付出艰苦的努力。部分使用它也可能有用。审核人：克里斯蒂安·波斯托夫（圣奥古斯丁） 引用于2评论引用于57文件 MSC公司： 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68吨15 定理证明（演绎、解析等）（MSC2010） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68T27型 人工智能中的逻辑 关键词：决策算法；命题逻辑；一阶理论 软件：Quaffle餐厅 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman}，决策程序。算法观点。兰达尔·布莱恩特（Randal E.Bryant）的前言。柏林：施普林格出版社（2008；Zbl 1149.68071）