notes-computer-ai-reasoning-sneps