Prospects for a Kantian Machine