安德烈·塞斯（编辑） 从模态逻辑到演绎数据库。引入一种基于逻辑的人工智能方法。 （英语） Zbl 0682.68096号 奇切斯特等：威利父子公司第二十四期，380页（1989年）。 本卷是由AndréThayse在J.Wiley&Sons编辑的一系列三期中的第二期，致力于人工智能（AI）和计算机科学中逻辑的最新理论和实践发展。第一卷《从标准逻辑到逻辑编程》（1988）是关于经典逻辑的介绍，以及它们的人工智能应用。（目前）第二卷包含六章（独立和相互关联），向非标准逻辑（如内涵逻辑、模态逻辑、时序逻辑和非单调逻辑）及其应用发展：自然语言理解、程序分析、数据库中的可修改推理。第三卷计划包含人工智能和计算科学最重要的应用。本书的六章有以下内容：第一章（语言和逻辑：多米尼克·斯奈尔斯、安德烈·塞斯）系统地阐述了模态逻辑的句法、语义和公理系统，并展示了人工智能中使用的不同逻辑，如认知、时间、，动态逻辑可以看作是模态逻辑的特殊情况。三个有趣的例子说明了模态逻辑在知识表示和推理中的应用。第二章（内涵逻辑与自然语言：保罗·戈切特，安德烈·塞斯）介绍了由R.蒙塔古为自然语言开发的内涵逻辑形式语言：它不仅允许验证句子是否为真（外延逻辑），而且允许理解句子的意义，而不受其真值条件的影响。讨论了这些逻辑的模型理论语义。第三章（蒙塔古语义学：保罗·戈切特，安德烈·塞斯）延续了第二章的方法，引入了范畴语法的概念，并描述了蒙塔古的英语PTQ范畴语法，在此基础上，将英语片段翻译成内涵逻辑语言。第四章（时间逻辑：Pascal Gribomont，Pierre Wolper）继续第1章对特定模态逻辑的研究，提出了时间逻辑的具体理论：命题线性TL（语法、语义、公理学）、TL和Büchi自动机、谓词线性TL、命题分支时间TL、，具体的TL应用：程序和过程建模、（并发）程序规范和验证等。第5章（可修改推理的形式化：Eric Grégoire）讨论逻辑的非单调方法。不完整或延迟的信息需要有关未知知识的特定“补充约定”。从语义角度研究了封闭世界假设、否定为失败、谓词完成和限定。研究了逻辑编程和演绎数据库中的含义。第6章（逻辑与数据库：Guy Hulin，Alain Pirotte，Dominique Roelants，Marc Vauclair）描述并比较了关系数据库语义的两种主要方法：模型论和证明论。在免赔额数据库的框架中，这两种方法之间的区别变得更加富有成效。对模型或证明理论方法中的否定、递归、不完全信息处理进行了分析。本书是人工智能逻辑基础中最深入、最清晰、最有用的研究之一。它有力地证明了自然语言理解和推理建模背后的基本认知过程，尽管它们看起来是折衷主义的，但却得到了逻辑语言的共同基本结构的支持。审核人：N.Curteanu公司 引用于三文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68-02 与计算机科学有关的研究博览会（专著、调查文章） 03B45号 模态逻辑（包括规范逻辑） 68T50型 自然语言处理 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T99型 人工智能 03B35型 证明和逻辑操作的机械化 03B65号 自然语言逻辑 68第20页 信息存储和数据检索 关键词：模态逻辑;基于逻辑的人工智能方法;模态逻辑;演绎数据库;蒙塔古语法。内涵逻辑;时间逻辑;Büchi自动机 PDF格式BibTeX公司 XML格式引用 \textit{A.Thayse}（编辑），从模态逻辑到演绎数据库。引入基于逻辑的人工智能方法。奇切斯特等：威利父子有限公司（1989；Zbl 0682.68096）