A Numerical Optimisation Based Characterisation of Spatial Reasoning
作者： Carl Schultz , Mehul Bhatt
DOI: 10.1007/978-3-319-42019-6_13
关键词: Spatial representation 、 Programming language 、 Spatial intelligence 、 Context (language use) 、 Extension (predicate logic) 、 Computer science 、 Range (mathematics) 、 Constraint logic programming
摘要: We present a novel numerical optimisation based characterisation of spatial reasoning in the context constraint logic programming (CLP). The approach —formalised and implemented within CLP— is developed as an extension to CLP(QS), declarative framework providing range mixed quantitative-qualitative representation capabilities. demonstrate manner which extensions further enhance capabilities CLP(QS).
springer.com
sci-hub.st 参考文章(15)
Zhan Cui, Anthony G. Cohn, David A. Randell, A Spatial Logic based on Regions and Connection. principles of knowledge representation and reasoning. pp. 165- 176 ,(1992)
Mehul Bhatt, Jae Hee Lee, Carl Schultz, CLP(QS): A Declarative Spatial Reasoning Framework Spatial Information Theory. ,vol. 6899, pp. 210- 230 ,(2011) , 10.1007/978-3-642-23196-4_12
Alessandra Raffaetà, Thom Frühwirth, Spatio-temporal Annotated Constraint Logic Programming practical aspects of declarative languages. ,vol. 1990, pp. 259- 273 ,(2001) , 10.1007/3-540-45241-9_18
Gilles Pesant, Michel Boyer, Reasoning about Solids Using Constraint Logic Programming Journal of Automated Reasoning. ,vol. 22, pp. 241- 262 ,(1999) , 10.1023/A:1006080931326
Handbook of Spatial Logics Springer Verlag; 2007.. ,(2007) , 10.1007/978-1-4020-5587-4
Richard H. Byrd, Peihuang Lu, Jorge Nocedal, Ciyou Zhu, A Limited Memory Algorithm for Bound Constrained Optimization SIAM Journal on Scientific Computing. ,vol. 16, pp. 1190- 1208 ,(1995) , 10.1137/0916069
Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao, Geometric constraint satisfaction using optimization methods Computer-aided Design. ,vol. 31, pp. 867- 879 ,(1999) , 10.1016/S0010-4485(99)00074-3
Robert Light, David Gossard, Modification of geometric models through variational geometry Computer-aided Design. ,vol. 14, pp. 209- 214 ,(1982) , 10.1016/0010-4485(82)90292-5
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap, The CLP( ℛ ) language and system ACM Transactions on Programming Languages and Systems. ,vol. 14, pp. 339- 395 ,(1992) , 10.1145/129393.129398
Mehul Bhatt, Hans Guesgen, Stefan Wölfl, Shyamanta Hazarika, Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions Spatial Cognition and Computation. ,vol. 11, pp. 1- 14 ,(2011) , 10.1080/13875868.2010.548568