Qualitative spatial reasoning with uncertain evidence using Markov logic networks

References

• Alevizos, E. and Artikis, A., 2018. A prototype for maritime event forecasting. In: Maritime Big Data workshop, Spezia, Italy, 19–24.
   Google Scholar
• Allen, J.F., 1983. Maintaining knowledge about temporal intervals. Communications of the ACM, 26 (11), 832–843.
   Web of Science ®Google Scholar
• Balbiani, P., Condotta, J.-F., and Fariñas del Cerro, L., 1999. A new tractable subclass of the rectangle algebra. In: Proceedings of the 16th international joint conference on artificial intelligence (IJCAI), 442–447.
   Google Scholar
• Banerjee, P., Ranu, S., and Raghavan, S., 2014. Inferring uncertain trajectories from partial observations. In: Proceedings of the IEEE international conference on data mining. IEEE, 30–39.
   Google Scholar
• Bennett, B., 1994. Spatial reasoning with propositional logics. In: Principles of knowledge representation and reasoning. New York: Elsevier, 51–62.
   Google Scholar
• Brouard, C., et al., 2013. Learning a Markov logic network for supervised gene regulatory network inference. BMC Bioinformatics, 14 (1), 273.
   PubMedGoogle Scholar
• Bruns, H.T. and Egenhofer, M., 1996. Similarity of spatial scenes. In: Proceedings of the 7th international symposium on spatial data handling (SDH), 31–42.
   Google Scholar
• Chrisman, N.R., 1991. The error component in spatial data. Geographical Information Systems, 1 (12), 165–174.
   Google Scholar
• Cohn, A. and Gotts, M., 1996a. The ‘egg-yolk’ representation of regions with indeterminate boundaries. In: P.A. Burrough and A. Frank, eds. Geographic objects with indeterminate boundaries, vol. 2. Boca Raton, FL: CRC Press, 171–188.
   Google Scholar
• Cohn, A. and Gotts, N., 1996b. Representing spatial vagueness: a mereological approach. In: Proceedings of the fifth international conference on principles of knowledge representation and reasoning (KR96). Morgan Kaufmann.
   Google Scholar
• Cohn, A. and Hazarika, S., 2001. Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae, 46, 2–32.
   Web of Science ®Google Scholar
• Cohn, A.G. and Renz, J., 2008. Qualitative spatial representation and reasoning. Foundations of Artificial Intelligence, 3, 551–596.
   Google Scholar
• Cohn, A.G., et al., 1997. Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica, 1 (3), 275–316.
   Google Scholar
• Cohn, A.G., et al., 2014. Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects. Journal of Artificial Intelligence Research, 51, 493–532.
   Web of Science ®Google Scholar
• Domingos, P., et al., 2008. Markov logic. In: L. De Raedt, et al., eds. Probabilistic inductive logic programming: theory and applications. Berlin: Springer, 92–117.
   Google Scholar
• Domingos, P. and Lowd, D., 2009. Markov logic: an interface layer for artificial intelligence. In: Number 1 in synthesis lectures on artificial intelligence and machine learning. Berlin: Morgan & Claypool Publishers.
   Google Scholar
• Duckham, M., 2008. Qualitative monitoring of dynamic spatial fields in geosensor networks. In: S. Shekhar and H. Xiong, eds. Encyclopedia of GIS. Berlin: Springer, 376–379.
   Google Scholar
• Duckham, M. and Worboys, M., 2001. Computational structure in three-valued nearness relations. In: International conference on spatial information theory (COSIT). Springer, 76–91.
   Google Scholar
• Dylla, F., et al., 2006. SparQ: a toolbox for qualitative spatial representation and reasoning. In: Qualitative constraint calculi: application and integration, workshop at KI, 79–90.
   Google Scholar
• Dylla, F., et al., 2018. A survey of qualitative spatial and temporal calculi: algebraic and computational properties. ACM Computing Surveys, 50 (1), 1–39.
   Web of Science ®Google Scholar
• Emrich, T., et al., 2012. Querying uncertain spatio-temporal data. In: Proceedings of the 28th IEEE international conference on data engineering. IEEE, 354–365.
   Google Scholar
• Fisher, P.F., 1999. Chapter 13: models of uncertainty in spatial data. In: P. Longley, et al., eds., Geographical information systems. 2nd ed. New York: John Wiley & Sons.
   Google Scholar
• Frank, A.U., 1992. Qualitative spatial reasoning about distances and directions in geographic space. Journal of Visual Languages & Computing, 3 (4), 343–371.
   Google Scholar
• Freksa, C., 1991. Qualitative spatial reasoning. In: D.M. Mark, A.U. Frank, eds. Cognitive and linguistic aspects of geographic space. Berlin: Springer, 361–372.
   Google Scholar
• Freksa, C., 1992. Temporal reasoning based on semi-intervals. Artificial Intelligence, 54 (1–2), 199–227.
   Web of Science ®Google Scholar
• Freksa, C., 2005. Using orientation information for qualitative spatial reasoning. In: Theories and methods of spatio-temporal reasoning in geographic space: international conference GIS—from space to territory. Springer, 162–178.
   Google Scholar
• Freksa, C. and Zimmermann, K., 1992. On the utilization of spatial structures for cognitively plausible and efficient reasoning. In: Proceedings of the IEEE international conference on systems, man, and cybernetics. IEEE, 261–266.
   Google Scholar
• Galton, A., 2000. Qualitative spatial change. Oxford, UK: Oxford University Press.
   Google Scholar
• Gatsoulis, Y., et al., 2016. Qsrlib: a software library for online acquisition of qualitative spatial relations from video. In: Workshop on Qualitative Reasoning (QR16) at IJCAI-16.
   Google Scholar
• Girlea, C.L. and Amir, E., 2015. Probabilistic region connection calculus. In: Proceedings of the AAAI spring symposium series, 66–70.
   Google Scholar
• Goyal, R. and Egenhofer, M., 2001. Similarity of cardinal directions. In: C. Jensen, et al., eds., Proceedings of the international symposium on advances in spatial and temporal databases (SSTD). Springer, 36–58.
   Google Scholar
• Guptill, S.C. and Morrison, J.L., eds., 1995. Elements of spatial data quality. New York: Elsevier.
   Google Scholar
• Hammersley, J.M. and Clifford, P.E., 1971. Markov random fields on finite graphs and lattices. Available from: http://www.statslab.cam.ac.uk/grg/books/hammfest/hamm-cliff.pdf. Unpublished manuscript.
   Google Scholar
• Isli, A. and Cohn, A.G., 1998. An algebra for cyclic ordering of 2D orientations. In: AAAI/IAAI, 643–649.
   Google Scholar
• Jain, D. and Beetz, M., 2010. Soft evidential update via Markov chain Monte Carlo inference. In: R. Dillmann, et al., eds., Proceedings of the 33rd annual German conference on AI (KI), volume 6359 of lecture notes in computer science. Springer, 280–290.
   Google Scholar
• Kautz, H., Selman, B., and Jiang, Y., 1997. A general stochastic approach to solving problems with hard and soft constraints. In: D. Du, J. Gu, and P.M. Pardalos, eds., Satisfiability problem: theory and applications, volume 35 of DIMACS series in discrete mathematics and theoretical computer science. Rhode Island: AMS Books, 573–585.
   Google Scholar
• Keefe, R. and Smith, P., 1996. Vagueness: a reader. Cambridge, MA: MIT Press.
   Google Scholar
• Khot, T., et al., 2011. Learning Markov logic networks via functional gradient boosting. In: Proceedings of the 11th IEEE international conference on data mining. IEEE, 320–329.
   Google Scholar
• Li, S., Liu, W., and Wang, S., 2013. Qualitative constraint satisfaction problems: an extended framework with landmarks. Artificial Intelligence, 201, 32–58.
   Web of Science ®Google Scholar
• Li, S. and Ying, M., 2003. Region connection calculus: its models and composition table. Artificial Intelligence, 145 (1–2), 121–146.
   Web of Science ®Google Scholar
• Ligozat, G., 2013. Qualitative spatial and temporal reasoning. San Francisco, CA: John Wiley & Sons.
   Google Scholar
• Loerch, U. and Guesgen, H.W., 1997. Qualitative spatial reasoning under uncertainty in geographical information systems. In: Proceedings of the IEEE international conference on systems, man, and cybernetics. IEEE, 2169–2174.
   Google Scholar
• Lowd, D. and Domingos, P., 2007. Efficient weight learning for Markov logic networks. In: Proceedings of the conference on knowledge discovery in databases (PKDD). Springer, 200–211.
   Google Scholar
• Moratz, R., 2017. Qualitative spatial reasoning. In: S. Shekhar, et al., eds. Encyclopedia of GIS. Berlin: Springer, 1700–1707.
   Google Scholar
• Mossakowski, T. and Moratz, R., 2012. Qualitative reasoning about relative direction of oriented points. Artificial Intelligence, 180–181, 34–45.
   Web of Science ®Google Scholar
• Mossakowski, T. and Moratz, R., 2015. Relations between spatial calculi about directions and orientations. Journal of Artificial Intelligence Research, 54, 277–308.
   Web of Science ®Google Scholar
• Nguyen, V., 2019. On combining probabilistic and semantic similarity-based methods toward off-domain reasoning for situational awareness. In: Proceedings of the 22nd international conference on information fusion, Ottawa, ON, Canada.
   Google Scholar
• Nguyen, V. and Mellor, L., 2020. Fuzzy MLNs and QSTAGs for activity recognition and modelling with RUSH. In: Proceedings of the 23rd international conference on information fusion (FUSION). IEEE, 1–8.
   Google Scholar
• Niu, F., et al., 2011. Tuffy: scaling up statistical inference in Markov logic networks using an RDBMS. arXiv preprint, abs/1104.3216.
   Google Scholar
• Petry, F.E., Robinson, V.B., and Cobb, M.A., 2005. Fuzzy modeling with spatial information for geographic problems. Berlin: Springer.
   Google Scholar
• Poon, H. and Domingos, P., 2006. Sound and efficient inference with probabilistic and deterministic dependencies. In: Proceedings of the National Conference on Artificial Intelligence, 458–463.
   Google Scholar
• Ragni, M., et al., 2016. Uncertain relational reasoning in the parietal cortex. Brain and Cognition, 104, 72–81.
   PubMed Web of Science ®Google Scholar
• Randell, D.A., Cui, Z., and Cohn, A.G., 1992. A spatial logic based on regions and connection. In: B. Nebel, C. Rich, and W. Swartout, eds., Proceedings of the international conference principles of knowledge representation and reasoning (KR). San Mateo, CA: Morgan Kaufmann, 165–176.
   Google Scholar
• Renz, J. and Ligozat, G., 2005. Weak composition for qualitative spatial and temporal reasoning. In: Proceedings of the 11th international conference on principles and practice of constraint programming (CP). Springer, 534–548.
   Google Scholar
• Renz, J. and Nebel, B., 2001. Efficient methods for qualitative spatial reasoning. Journal of Artificial Intelligence Research, 15, 289–318.
   Web of Science ®Google Scholar
• Richardson, M. and Domingos, P., 2006. Markov logic networks. Machine Learning, 62 (1–2), 107–136.
   Web of Science ®Google Scholar
• Richardson, S., Domingos, P., and Poon, M.S.H., 2007. The Alchemy system for statistical relational AI: user manual (washington.edu). http://alchemy.cs.washington.edu/user-manual/manual.html
   Google Scholar
• Sabek, I., 2019. Adopting Markov logic networks for big spatial data and applications. In: Proceedings of the 45th international conference on very large data bases (VLDB) PhD workshop, Los Angeles, CA, 1–4.
   Google Scholar
• Sabek, I., Musleh, M., and Mokbel, M.F., 2019. Flash in action: scalable spatial data analysis using Markov logic networks. Proceedings of the VLDB Endowment, 12 (12), 1834–1837.
   Web of Science ®Google Scholar
• Sakhanenko, N.A. and Galas, D.J., 2010. Markov logic networks in the analysis of genetic data. Journal of Computational Biology, 17 (11), 1491–1508.
   PubMed Web of Science ®Google Scholar
• Sarkhel, S., et al., 2014. Lifted MAP inference for Markov logic networks. In: Artificial intelligence and statistics. PMLR, 859–867.
   Google Scholar
• Schlieder, C., 1995. Reasoning about ordering. In: International conference on spatial information theory (COSIT), volume 988 of lecture notes in computer science, 341–349.
   Google Scholar
• Schockaert, S., De Cock, M., and Kerre, E.E., 2009. Spatial reasoning in a fuzzy region connection calculus. Artificial Intelligence, 173 (2), 258–298.
   Web of Science ®Google Scholar
• Schultz, C., Bhatt, M., and Suchan, J., 2016. Probabilistic spatial reasoning in constraint logic programming. In: S. Schockaert and P. Senellart, eds., Proceedings of the 10th international conference on scalable uncertainty management (SUM). Springer, 289–302.
   Google Scholar
• Scivos, A. and Nebel, B., 2001. Double-crossing: decidability and computational complexity of a qualitative calculus for navigation. In: International conference on spatial information theory (COSIT). Springer, 431–446.
   Google Scholar
• Sioutis, M. and Wolter, D., 2021. Qualitative spatial and temporal reasoning: current status and future challenges. In: Proceedings of the international joint conference on artificial intelligence (IJCAI), 4594–4601.
   Google Scholar
• Skiadopoulos, S. and Koubarakis, M., 2004. Composing cardinal direction relations. Artificial Intelligence, 152 (2), 143–171.
   Web of Science ®Google Scholar
• Snidaro, L., Visentini, I., and Bryan, K., 2015. Fusing uncertain knowledge and evidence for maritime situational awareness via Markov logic networks. Information Fusion, 21, 159–172.
   Web of Science ®Google Scholar
• Sun, Z., et al., 2017. Scalable learning and inference in Markov logic networks. International Journal of Approximate Reasoning, 82, 39–55.
   Web of Science ®Google Scholar
• Tarski, A., 1941. On the calculus of relations. Journal of Symbolic Logic, 6 (3), 73–89.
   Google Scholar
• Tenorth, M., Jain, D., and Beetz, M., 2010. Knowledge representation for cognitive robots. KI – Künstliche Intelligenz, 24 (3), 233–240.
   Google Scholar
• Van de Weghe, N., et al., 2005. Representing moving objects in computer-based expert systems: the overtake event example. Expert Systems with Applications, 29 (4), 977–983.
   Web of Science ®Google Scholar
• Van de Weghe, N., et al., 2006. A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems. Control and Cybernetics, 35, 97–119.
   Web of Science ®Google Scholar
• Varzi, A.C., 2001. Vagueness in geography. Philosophy & Geography, 4 (1), 49–65.
   Google Scholar
• Wallgrün, J.O., et al., 2006. Qualitative spatial representation and reasoning in the SparQ-toolbox. In: International conference on spatial cognition. Springer, 39–58.
   Google Scholar
• Wick, M., McCallum, A., and Miklau, G., 2010. Scalable probabilistic databases with factor graphs and MCMC. arXiv preprint, arXiv:1005.1934.
   Google Scholar
• Wolter, D. and Wallgrün, J.O., 2013. Qualitative spatial reasoning for applications: new challenges and the SparQ toolbox. In: Geographic information systems: concepts, methodologies, tools, and applications. IGI Global, 1639–1664.
   Google Scholar
• Worboys, M.F., 2001. Nearness relations in environmental space. International Journal of Geographical Information Science, 15 (7), 633–651.
   Web of Science ®Google Scholar
• Worboys, M.F. and Clementini, E., 2001. Integration of imperfect spatial information. Journal of Visual Languages & Computing, 12 (1), 61–80.
   Google Scholar
• Zhu, R., et al., 2022. Reasoning over higher-order qualitative spatial relations via spatially explicit neural networks. International Journal of Geographical Information Science, 36 (11), 2194–2225.
   Web of Science ®Google Scholar