布兰登·贝内特;安东尼·科恩（Anthony G.Cohn）。;弗兰克·沃尔特;扎卡里亚舍夫，迈克尔 多维模态逻辑作为时空推理的框架。 （英语） Zbl 1051.03019号 申请。智力。 17，第3期，239-251（2002）. 摘要：我们提倡使用多维模态逻辑作为知识表示的框架，特别是用于表示时空信息。我们构造了一个二维逻辑，能够描述随时间变化的拓扑关系。这种逻辑称为PSTL（命题时空逻辑），是众所周知的时序逻辑PTL和模态逻辑S4（_u）的笛卡尔积，后者是用通用模态扩充的路易斯系统S4。尽管完整的PSTL是否可判定是一个悬而未决的问题，但我们表明它包含可判定的片段，空间逻辑RCC-8的各种时间扩展（基于点的和基于间隔的）都可以嵌入到这些片段中。我们考虑了与多维形式计算相关的已知可判定性和复杂性结果，并讨论了进一步研究的可能方向。 引用于14文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 68立方英尺 知识表示 68T27型 人工智能中的逻辑 03B25号 理论和句子集的可决定性 关键词：时空推理;模态逻辑;多维逻辑;知识表示;可判定性;复杂性 PDF格式BibTeX公司 XML格式引用 \textit{B.Bennett}等人，应用。智力。17，第3号，239--251（2002；Zbl 1051.03019） 全文： 内政部