Логика в решении проблем пер. с англ. - Ковальски Р. Роберт (Проблемы искусственного интеллекта)