Interpolation in Knowledge Representation
By: Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
Potential Business Impact:
Helps computers explain and reuse knowledge better.
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.
Similar Papers
Interpolation in Classical Propositional Logic
Logic in Computer Science
Helps computers understand logic puzzles better.
From Interpolating Formulas to Separating Languages and Back Again
Logic in Computer Science
Finds common ground between different computer languages.
Six Proofs of Interpolation for the Modal Logic K
Logic in Computer Science
Makes computer logic stronger for better AI.