Safe learning agents? Logic-basedagents!