菲利普·巴尔比亚尼;让-弗朗索瓦·康多塔 基于定性空间或时间推理的命题线性时序逻辑的计算复杂性。 （英语） Zbl 1057.68116号 亚历山德罗·阿曼多（编辑），《组合系统的前沿》。2002年4月8日至10日，意大利圣玛格丽塔利古雷，FroCos 2002，第四届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43381-3）。莱克特。注释计算。科学。2309, 162-176 (2002). 摘要：我们考虑通过混合区域模型和命题线性时间逻辑获得的语言。特别是，我们提出了其他语言，其中区域模型被不同形式的定性空间或时间推理所取代。在这些语言中，定性公式描述了空间或时间实体在某些空间或时间宇宙中的运动和相对位置。本文讨论了形式化证明的问题，即对于所有形式的定性时空推理，一致原子约束满足问题都是全局一致的，确定任何给定的定性公式是否满足都是PSPACE完全的。关于整个系列，请参见[Zbl 0990.00065号]. 引用于12文件 MSC公司： 68T27型 人工智能中的逻辑 03B44号 时间逻辑 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{J.-F.Condotta}，莱克特。注释计算。科学。2309、162--176（2002年；Zbl 1057.68116） 全文： 链接