Neuro-Symbolic Spatio-Temporal Reasoning

Volume 369: Compendium of Neurosymbolic Artificial Intelligence pages 410--429, doi: 10.3233/FAIA230151 - Aug 2023
Associated documents :  
Knowledge about space and time is necessary to solve problems in the physical world. Spatio-temporal knowledge, however, is required beyond interacting with the physical world, and is also often transferred to the abstract world of concepts through analogies and metaphors. As spatial and temporal reasoning is ubiquitous, different attempts have been made to integrate this into AI systems. In the area of knowledge representation, spatial and temporal reasoning has been largely limited to modeling objects and relations and developing reasoning methods to verify statements about objects and relations. On the other hand, neural network researchers have tried to teach models to learn spatial relations from data with limited reasoning capabilities. Bridging the gap between these two approaches in a mutually beneficial way could allow us to tackle many complex real-world problems. In this chapter, we view this integration problem from the perspective of Neuro-Symbolic AI. Specifically, we propose a synergy between logical reasoning and machine learning that will be grounded on spatial and temporal knowledge. A (symbolic) spatio-temporal knowledge base and a base of possibly grounded examples could provide a dependable causal seed upon which machine learning models could generalize. Describing some successful applications, remaining challenges, and evaluation datasets pertaining to this direction is the main topic of this contribution.

 

@InCollection{LSAAKW23a, 
 	 author =  {Lee, Jae Hee and Sioutis, Michael and Ahrens, Kyra and Alirezaie, Marjan and Kerzel, Matthias and Wermter, Stefan},  
 	 title = {Neuro-Symbolic Spatio-Temporal Reasoning}, 
 	 booktitle = {Volume 369: Compendium of Neurosymbolic Artificial Intelligence},
 	 journal = {},
 	 number = {},
 	 volume = {},
 	 pages = {410--429},
 	 year = {2023},
 	 month = {Aug},
 	 publisher = {},
 	 doi = {10.3233/FAIA230151}, 
 }