Interpolation in Knowledge Representation

2025/12/09 by Jung, Jean Christoph, Koopmann, Patrick, Knorr, Matthias · 1 citation
#03C40 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2512.08833

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.

Citations

• Uniform Interpolation
• Interpolation and Amalgamation
• Six Proofs of Interpolation for the Modal Logic K
• Interpolation in First-Order Logic
• Interpolation in Classical Propositional Logic
• Computation of Interpolants for Description Logic Concepts in Hard Cases
• Interpolation with Automated First-Order Reasoning
• The interpolant existence problem for weak K4 and difference logic
• Efficient Computation of General Modules for ALC Ontologies (Extended Version)
• Interpolants and Explicit Definitions in Extensions of the Description Logic EL
• Forgetting in Answer Set Programming -- A Survey
• Separating Data Examples by Description Logic Concepts with Restricted\n Signatures
• On Free Description Logics with Definite Descriptions
• Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Logical Separability of Labeled Data Examples under Ontologies
• Signature-Based Abduction for Expressive Description Logics -- Technical Report
• Answering the "why" in Answer Set Programming - A Survey of Explanation\n Approaches
• Multi-shot ASP solving with clingo
• Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
• Interpolation Theorems for Nonmonotonic Reasoning Systems
• Complexity Results and Practical Algorithms for Logics in Knowledge Representation

Cited by

• Uniform Interpolation
• From Interpolating Formulas to Separating Languages and Back Again
• Interpolation in Classical Propositional Logic
• Interpolation with Automated First-Order Reasoning

Related

• Computation of Interpolants for Description Logic Concepts in Hard Cases
• Semantic interpolation
• Interpolation with Automated First-Order Reasoning
• Interpolation in Classical Propositional Logic
• A Theory of Formalisms for Representing Knowledge