Электронный каталог МАУК "МИБС" г. Кемерово

Книга
32.97 Л69

Логический подход к искусственному интеллекту : от классической логики к логическому программированию = Approche Logique de L"Intllgence Artificielle I de la Logiqe Classique A la Programmation Logique : пер. с фр. / авт. А. Тей, П. Грибомон, Ж. Луи и др. ; пер. П. П. Пермякова ; под ред. Г. П. Гаврилова . – Москва : Мир, 1990 . – 432 с. - ISBN 5-03-001636-8 .

Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понимания материала от читателя требуется только знание основ информатики. Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.

ББК 32.97

Общий = Ретроввод
Общий = Логика
ключевой = Аксиоматические системы
ключевой = Формальные грамматики
ключевой = Логическое программирование
Общий = Искусственный интеллект