Human-like Spatial Reasoning Formalisms

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.

Cite

Text

Walega. "Human-like Spatial Reasoning Formalisms." AAAI Conference on Artificial Intelligence, 2017. doi:10.1609/AAAI.V31I1.10530

Markdown

[Walega. "Human-like Spatial Reasoning Formalisms." AAAI Conference on Artificial Intelligence, 2017.](https://mlanthology.org/aaai/2017/walega2017aaai-human/) doi:10.1609/AAAI.V31I1.10530

BibTeX

@inproceedings{walega2017aaai-human,
  title     = {{Human-like Spatial Reasoning Formalisms}},
  author    = {Walega, Przemyslaw Andrzej},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5054-5055},
  doi       = {10.1609/AAAI.V31I1.10530},
  url       = {https://mlanthology.org/aaai/2017/walega2017aaai-human/}
}