Interpolation in Knowledge Representation
Abstract
Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning. At the same time, many relevant knowledge representation formalisms do in general not have Craig or uniform interpolation, and computing interpolants in practice is challenging. We have a closer look at two prominent knowledge representation formalisms, description logics and logic programming, and discuss theoretical results and practical methods for computing interpolants.
Cite
@article{arxiv.2512.08833,
title = {Interpolation in Knowledge Representation},
author = {Jean Christoph Jung and Patrick Koopmann and Matthias Knorr},
journal= {arXiv preprint arXiv:2512.08833},
year = {2025}
}
Comments
The article will appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation. Ubiquity Press, 2026