Thinking about Artificial Intelligence with Kant