Neuro-symbolic approaches in artificial intelligence National Science Review Problems were discovered both with regards to enumerating the preconditions for an action to succeed and in providing axioms for what did not change after an action was performed. Similarly, Allen’s temporal interval algebra is a simplification of reasoning about time and Region Connection Calculus is a...