Ceci n'est pas une pipe: AI systems as semantic abstractions
We propose a semantic framework to describe AI systems, to be able to examine the correctness of such representations. To do so, we distinguish what is justified by accepted domain knowledge, what reference sources say, and what the system can currently use. This allows us to give precise definitions to common failures: extrapolation, refuted or unsupported assertion, sources versus knowledge mismatch, stale or refuted source, added hypotheses, unsupported use...
- ▪We propose a semantic framework to describe AI systems, to be able to examine the correctness of such representations.
- ▪To do so, we distinguish what is justified by accepted domain knowledge, what reference sources say, and what the system can currently use.
- ▪This allows us to give precise definitions to common failures: extrapolation, refuted or unsupported assertion, sources versus knowledge mismatch, stale or refuted source, added hypotheses, unsupported use...
Opening excerpt (first ~120 words) tap to expand
Computer Science > Artificial Intelligence arXiv:2607.09489 (cs) [Submitted on 10 Jul 2026] Title:Ceci n'est pas une pipe: AI systems as semantic abstractions Authors:Jade Alglave, Patrick Cousot View a PDF of the paper titled Ceci n'est pas une pipe: AI systems as semantic abstractions, by Jade Alglave and Patrick Cousot View PDF HTML (experimental) Abstract:An AI system's output is not the fact or world state it appears to describe, but rather an engineered representation. We propose a semantic framework to describe AI systems, to be able to examine the correctness of such representations. To do so, we distinguish what is justified by accepted domain knowledge, what reference sources say, and what the system can currently use.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at arXiv cs.AI.
Discussion
0 commentsMore from arXiv cs.AI
