AAAI Publications, Thirty-First AAAI Conference on Artificial Intelligence

Font Size: 
Human-Like Spatial Reasoning Formalisms
Przemyslaw Andrzej Walega

Last modified: 2017-02-12

Abstract


My work on the PhD thesis concerns human-like reasoning about relations between spatial objects and the way they change in time. In particular, my research is focused on logic-based reasoning systems that model human spatial reasoning methods and may enable better understanding of humans reasoning mechanisms in future. Importantly, such formalisms are also interested from the practical point of view – they have a number of potential applications, e.g., in robotics, architecture design, databases, among others.

Keywords


temporal logics; computational complexity; answer set programming; spatial reasoning

Full Text: PDF