Тарасова Р.Н. - Логический подход к построению систем ИИ