Искусственный интеллект. Современный подход. Том 1. Решение проблем: знания и рассуждения