Describir: Intelligence from the perspective of inference. The problem of abduction for general artificial intelligence.