米歇尔·切恩;玛丽·劳雷·穆格尼尔 基于图形的知识表示。概念图的计算基础。 （英文） Zbl 1168.68043号 高级信息和知识处理伦敦：施普林格出版社（ISBN 978-1-84800-285-2/hbk）。xiv，427页。(2009). 本书介绍和研究概念图及其在知识表示中的应用。作者提出了这种形式主义的理论基础。他们开发了基于图形的知识表示的数学框架，重点关注该方法的计算特性。然而，这本书没有给出知识表示的方法，也没有介绍实际应用。这本书由三部分和一个附录组成。第一部分介绍了基本概念图和简单概念图等核心概念以及相应的同态。它还给出了同态关于蕴涵和一阶逻辑推导的稳健性和完备性。本书的第二部分致力于概念图的计算方面。它开发同态算法，并研究允许可处理（多项式）解的特殊情况。第三部分讨论基本概念的扩展，如嵌套概念图、规则、约束和否定。附录总结了书中使用的数学概念。这本书包括许多带有附加信息的笔记和许多进一步阅读的指南。它还审查了正在考虑的概念与其他领域和方法的关系。例如，有一个关于概念图和描述逻辑之间关系的讨论。阑尾有时有点太短。例如，它在一个句子中分别引入了复杂性类P和NP。如果书中不需要更多内容，这可能是可以的。此外，还有一些定理表明一些问题是（Pi^p_2）-完全的。因此，附录应解释“完整性”在这种情况下的含义，并概述多项式层次结构。审核人：托马斯·斯图德（伯尔尼） 引用于9文件 MSC公司： 68立方英尺 知识表示 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 68兰特 计算机科学中的图论（包括图形绘制） 关键词：概念图表;知识表示;计算方面 软件：Treewidthlib公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Chein}和\textit{M.-L.Mugnier}，基于图形的知识表示。概念图的计算基础。伦敦：施普林格出版社（2009；Zbl 1168.68043）