A Model-Theoretic View on Qualitative Constraint Reasoning
Abstract
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.
Cite
Text
Bodirsky and Jonsson. "A Model-Theoretic View on Qualitative Constraint Reasoning." Journal of Artificial Intelligence Research, 2017. doi:10.1613/JAIR.5260Markdown
[Bodirsky and Jonsson. "A Model-Theoretic View on Qualitative Constraint Reasoning." Journal of Artificial Intelligence Research, 2017.](https://mlanthology.org/jair/2017/bodirsky2017jair-modeltheoretic/) doi:10.1613/JAIR.5260BibTeX
@article{bodirsky2017jair-modeltheoretic,
title = {{A Model-Theoretic View on Qualitative Constraint Reasoning}},
author = {Bodirsky, Manuel and Jonsson, Peter},
journal = {Journal of Artificial Intelligence Research},
year = {2017},
pages = {339-385},
doi = {10.1613/JAIR.5260},
volume = {58},
url = {https://mlanthology.org/jair/2017/bodirsky2017jair-modeltheoretic/}
}