Interpolation in Knowledge Representation
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _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 |