Arie Soeteman is one of the new KNAW Faces of Science

Arie Soeteman investigates how artificial intelligence can reason in a way that resembles how humans think, according to the laws of logic. Using mathematical proofs and by having AI systems solve puzzles, he demonstrates how self-learning computer systems arrive at conclusions. The goal is to develop AI models that we can understand and trust.