Ceci n'est pas une pipe: AI systems as semantic abstractions

Jade Alglave, Patrick Cousot

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…