# A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots

arXiv: https://arxiv.org/abs/2001.07205 · HTML: https://mlsanity.com/paper/2001.07205/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 20 Jan 2020.

## Built on by (most cited first, 3 of 3)

- [Temporal Knowledge Graph Completion: A Survey](https://mlsanity.com/paper/2201.08236/) (2022)
- [Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks](https://mlsanity.com/paper/2109.08078/) (2021)
- [Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic](https://mlsanity.com/paper/2206.14372/) (2022)

## Abstract (arXiv)

We propose a new graph-based spatial temporal logic for knowledge representation and automated reasoning in this paper. The proposed logic achieves a balance between expressiveness and tractability in applications such as cognitive robots. The satisfiability of the proposed logic is decidable. We apply a Hilbert style axiomatization for the proposed graph-based spatial temporal logic, in which Modus ponens and IRR are the inference rules. We show that the corresponding deduction system is sound and complete and can be implemented through SAT.