Abduction and cognition in human and logical agents