简单概念图的扩展：规则与约束的复杂性
人工智能
2011-06-10 v1
摘要
简单概念图被视为大多数基于Sowa模型的知识表示形式体系的核心。该模型中的推理可以通过称为投影的图同态来表达，其语义通常以正合取存在的一阶逻辑给出。我们在此提出该模型的一系列扩展，这些扩展基于规则和约束，并保持图同态作为基本操作。我们专注于所获得的不同模型的形式化定义，包括它们的操作语义以及与一阶逻辑的关系，并分析了相关问题的可判定性和复杂性（一致性和演绎）。一旦推理中涉及规则，这些问题就不可判定，但我们展示了一个条件，在该条件下它们属于多项式层次。这些结果扩展并完善了作者已发表的结果。此外，我们系统地研究了通过限制约束和/或规则形式而获得的某些特殊情况下的复杂性。
引用
@article{arxiv.1106.1800,
title = {Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints},
author = {J. F. Baget and M. L. Mugnier},
journal= {arXiv preprint arXiv:1106.1800},
year = {2011}
}