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 a balance between retaining consistency with previously drawn conclusions and rejecting them in face of overwhelming new evidence.
source https://www.lifetechnology.com/blogs/life-technology-technology-news/computers-could-revise-past-conclusions-with-ai
