Название: Логический подход к искусственному интеллекту: От классической логики к логическому программированиюАвтор: Тейз А., Грибомон П., Луи Ж.
Издательство: Мир
Год: 1990
Формат: pdf
Страниц: 430
Размер: 41 мб
Язык: русский
Монография специалистов из Бельгии и Швейцарии, излагающая проблемы н методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика н модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Кинга построена так, что для понимания материала от читателя требуется только знание основ информатики.