A Model-Theoretic View on Qualitative Constraint Reasoning
Manuel Bodirsky, Peter Jönsson · Journal of Artificial Intelligence Research · 2017
Qualitative reasoning formalisms are an active research topic in artificial intelligence. In this survey we present a model-theoretic perspective on qualitative constraint reasoning and explain some of the basic concepts and results in an accessible way. In particular, we discuss the significance of omega-categoricity for qualitative reasoning, of primitive positive interpretations for complexity analysis, and of Datalog as a unifying language for describing local consistency algorithms.