Semi-qualitative Reasoning about Distances: A Preliminary Report
作者： Holger Sturm , Nobu-Yuki Suzuki , Frank Wolter , Michael Zakharyaschev
关键词:
摘要: We introduce a family of languages intended for representing knowledge and reasoning about metric (and more general distance) spaces. While the simplest language can speak only distances between individual objects Boolean relations sets, expressive ones are capable capturing notions such as 'somewhere in (or somewhere out of) sphere certain radius', 'everywhere ring', etc. The computational complexity satisfiability problem formulas our ranges from NP-completeness to undecidability depends on class distance spaces which they interpreted. Besides all spaces, we consider, example, R × N with their natural metrics.
springer.com
core.ac.uk
sci-hub.st 参考文章(21)
Valentin Goranko, Completeness and Incompleteness in the Bimodal Base ℒ(R,−R) Springer US. pp. 311- 326 ,(1990) , 10.1007/978-1-4613-0609-2_22
Michael Zakharyaschev, Frank Wolter, Spatio-temporal representation and reasoning based on RCC-8 principles of knowledge representation and reasoning. pp. 3- 14 ,(2000)
Oliver Lemon, Ian Pratt, On the incompleteness of modal logics of space: advancing complete modal logics of place advances in modal logic. pp. 115- 132 ,(1996)
Egon Borger, Erich Grädel, Yuri Gurevich, The Classical Decision Problem ,(1997)
George Gargov, Solomon Passy, Tinko Tinchev, Modal Environment for Boolean Speculations Mathematical Logic and Its Applications. pp. 253- 263 ,(1987) , 10.1007/978-1-4613-0897-3_17
A. Montanari, Metric and Layered Temporal Logic for Time Granularity ILLC. ,(1996)
KRISTER SEGERBERG, A note on the logic of elsewhere Theoria. ,vol. 46, pp. 183- 187 ,(2008) , 10.1111/J.1755-2567.1980.TB00696.X
Franz Guenthner, Dov M. Gabbay, Handbook of Philosophical Logic ,(2018)
Ramón Jansana, Some Logics Related to von Wright's Logic of Place Notre Dame Journal of Formal Logic. ,vol. 35, pp. 88- 98 ,(1994) , 10.1305/NDJFL/1040609296
Jorge Lobo, Arcot Rajasekar, Jack Minker, Modal logics for knowledge representation systems Theoretical Computer Science. ,vol. 86, pp. 433- 456 ,(1991) , 10.1016/0304-3975(91)90006-N