Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.08833 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909952110493696 |
|---|---|
| author | Jung, Jean Christoph Koopmann, Patrick Knorr, Matthias |
| author_facet | Jung, Jean Christoph Koopmann, Patrick Knorr, Matthias |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_08833 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Interpolation in Knowledge Representation Jung, Jean Christoph Koopmann, Patrick Knorr, Matthias Artificial Intelligence Logic in Computer Science 03C40 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. |
| title | Interpolation in Knowledge Representation |
| topic | Artificial Intelligence Logic in Computer Science 03C40 |
| url | https://arxiv.org/abs/2512.08833 |