J·朗。；利伯拉托雷，P。；马奎斯，P。 命题独立性——公式变量独立性和遗忘。 （英语） Zbl 1056.68112号 J.阿蒂夫。智力。研究（JAIR） 18, 391-443 (2003). 摘要：独立性——研究与特定推理问题相关的内容——越来越受到AI社区的关注。在本文中，我们考虑了独立性的两种基本形式，即句法形式和语义形式。我们展示了它们的特点和缺点。特别是，虽然独立性的句法形式在计算上很容易检查，但在某些情况下，直觉上不相关的东西却没有被识别出来。我们还考虑了遗忘问题，即仅从知识库中提取与从字母表子集构造的查询集相关的部分。虽然这样的过程在计算上很困难，但它允许简化后续推理，因此可以被视为一种编译形式：一旦提取了知识库的相关部分，所有要执行的推理任务都可以简化。 引用于1审查引用于44文件 MSC公司： 68T01型 人工智能的一般主题 关键词：推理 PDF格式BibTeX公司 XML格式引用 \textit{J.Lang}等人，J.Artif。智力。研究（JAIR）18，391--443（2003；Zbl 1056.68112）