带连通性谓词的空间逻辑
计算机科学中的逻辑
2015-07-01 v3
摘要
我们考虑为人工智能中的定性空间表示与推理而设计的无量词空间逻辑，并通过引入表示区域的拓扑连通性及限制其连通分支数目的手段来扩展它们。我们研究了这些逻辑的计算复杂性，并表明连通性约束可将复杂性从NP增加到PSpace和ExpTime，如果允许分支计数，则可增加到NExpTime。
引用
@article{arxiv.1003.5399,
title = {Spatial logics with connectedness predicates},
author = {Roman Kontchakov and Ian Pratt-Hartmann and Frank Wolter and Michael Zakharyaschev},
journal= {arXiv preprint arXiv:1003.5399},
year = {2015}
}
备注
Some results of the paper were presented at LPAR 2008 and ECAI 2000