SPATIAL REASONING | METHODS AND SYSTEMS

Currently, we develop practical methods (implemented as general purpose tools) for declarative spatial representation and reasoning based on the following declarative programming paradigms:

  • Rule-based inference with Constraint Logic Programming (CLP)
  • Structured spatio-temporal relational learning with Inductive Logic Programming (ILP)
  • Non-monotonic spatial reasoning based on answer-set programming (ASP) and ASP Modulo Theories (ASPMT)

We are currently especially interested and concerned with firmly building-on and ensuring compatibility with the state-of-the-art in the knowledge representation and reasoning (KR) community.

RULE-BASED INFERENCE

RELATIONAL LEARNING

EXPLANATION

The ability to declaratively specific a domain of interest using a rule-based programming framework such as logic programming, mixing knowledge types, handling spatio-temporal objects as first-class entities etc.

The ability to learn relational knowledge founded in spatio-temporal relations (and possibly additional knowledge sources) in a manner fully compatible with the rule-based programming framework.

The ability to perform non-monotonic reasoning (e.g., by abduction) in order to support explanatory reasoning (e.g., about space & motion) in a dynamic spatial systems setup.

CLP(QS)

Rule-based
declarative spatial reasoning with
Constraint Logic Programming (CLP).

ILP(QS)

Structured spatio-temporal
relational learning with
Inductive Logic Programming (ILP).

ASPMT(QS)

Non-monotonic spatial reasoning with
Answer Set Programming (ASP)
Modulo Theories (ASPMT).

SYSTEMS: KEY REFERENCES


3 results
2016
3.Deeply Semantic Inductive Spatio-Temporal Learning (, and ), In 26th International Conference on Inductive Logic Programming. London, UK, LNAI Springer, . (Accepted; In Press)
2015
2. ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (, and ), In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, . [pdf] [doi]
2011
1. CLP(QS): A Declarative Spatial Reasoning Framework (, and ), In Spatial Information Theory - 10th International Conference, {COSIT} 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings, . [pdf] [doi]