非单调推理 解释非单调推理

　　Alexander Bochman Holon Academic 　　Institute of Technology, Israel 　　Explanatory Nonmonotonic
　　Reasoning
　　Advances in Logic ,Vol. 4
　　2005,408pp.
　　Hardcover USD:79.00
　　ISBN 9789812561015
　　
　　解释非单调推理
　　
　　A�博基曼著
　　本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。
　　本书共由10章组成。第1章绪论；第2章斯科特结果关系；第3章双结果关系；第4章值逻辑；第5章非单调语义学；第6章默认结果关系；第7章论证理论；第8章生成式与因果推理；第9章认知结果关系；第10章模态非单调逻辑。
　　与这个领域中先前的研究相比，本书具有三个特点：(1)它提供了一个解释非单调推理的统一广义理论，而不只是对现有的非单调逻辑进行描述。尽管后者被证明是由这个理论所复盖。作为本项研究的逻辑基础，双结果关系形式方法启发了一个适用于大多数范例的功能强大的广义化，它远远地超过了现有的非单调形式方法。(2)本书把注意力转向了某些相对新的非单调推理的非认识方法。例如四值双结果关系，因果推论和论证理论。这些形式方法将会填补下列两个方面之间的差距。因此默认与模态非单调逻辑只是在最后的两章中涉及，把它们当作认识双结果关系的更为通用的形式方法的一部分。(3)本书把焦点放在了解释非单调推理的逻辑单调的基础之上。从这种意义上讲，它既是关于逻辑的，同样也是关于非单调推理的。这种方法的主要优点是它将会被说明，解释非单调推理的不同形式方法实质上基于相同的原理和模型，其主要区别在于宿主这样一个推理的基础逻辑形式方法。
　　本书针对的读者群是人工智能领域的研究人员、研究生以及广大的逻辑学家。
　　胡光华，高级软件工程师
　　(原中国科学院物理学研究所)
　　Hu Guanghua, Senior Software Engineer
　　(Former Institute of Physics,the Chinese Academy of Sciences)