Computers could revise past conclusions with AI
To better automate reasoning, machines should ideally be able to systematically revise the view they have obtained about the world. Timotheus Kampik's dissertation work presents mathematical reasoning approaches that strike ...
Apr 20, 2022
0
20
