Think like a human: the present and future of logic for trustworthy rational robots

Over the last decade, the use of robots in production and daily life has increased. Either for supporting workers in challenging tasks, or assisting elderly people and education, robots are no longer solely seen as tireless machines with outstanding motor skills, we also expect them to be intelligent. In fact, one crucial requirement for modern robotic systems is deliberation. Deliberation is a form of intelligence, consisting of "the ability to make decisions which are motivated by reasoning on the available resources, i.e., the capabilities of the robot, the actual description of the environment and the given mission" [1]. Deliberation is a concept from artificial intelligence (AI) which is related to human rationality.