 APPROCHE LOGIQUE DE L'INTELLIGENCE ARTIFICIELLE 1 DE LA LOGIQUE CLASSIQUE A LA PROGRAMMATION LOGIQUE
 par
 Andre Thayse, Pascal Gribomont, Georges Louis, Dominique Snyers. Pierre Wodon
 Philips Research Laboratory, Bruxelles
 Paul Gochet
 Universite de Liege
 Eric Gregoire Universite de Louvain, Louvain-la-Neuve
 Eduardo Sanchez
 Ecole Polytechnique Federate de Lausanne avec la collaboration de
 Philippe Delsarte Philips Research Laboratory, Bruxelles
 Dunod informatique

 Логический подход к искусственному интеллекту
 От классической логики к логическому программированию
 Перевод с французского П.П. Пермякова под редакцией Г.П. Гаврилова
 Москва: Издательство «Мир», 1990

 ББК 32.973
 Л69
 УДК 681.3

 Авторы: А. Тей, П. Грибомон, Ж. Луи, Д. Снийерс, П. Водон, П. Гоше, Э. Грегуар, Э. Санчес, Ф. Дельсарт

 Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Перевод с французского. / Тейз А., Грибомон П., Луи Ж. и др. - М.: Мир, 1990. - 432 с., ил.
 ISBN 5-03-001636-8 (русск.)
 Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понимания материала от читателя требуется только знание основ информатики.
 Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.

 ББК 32.973

 Редакция литературы по математическим наукам

 КРАТКОЕ ОГЛАВЛЕНИЕ:
 Предисловие редактора перевода (5).
 Предисловие (7).
 1. Логика (11).
 2. Аксиоматические системы (92).
 3. Представление знаний и рассуждений (141).
 4. Логика и модифицируемые рассуждения (209).
 5. Формальные грамматики и логическое программирование (266).
 6. Пролог и логическое программирование (333).
 Литература (411).
 Предметный указатель (418).

 Научное издание
 Андре Тейз, Паскаль Грибомон, Жорж Луи и др.
 ЛОГИЧЕСКИЙ ПОДХОД К ИСКУССТВЕННОМУ ИНТЕЛЛЕКТУ: ОТ КЛАССИЧЕСКОЙ ЛОГИКИ К ЛОГИЧЕСКОМУ ПРОГРАММИРОВАНИЮ
 Художник В.С. Потапов
 ИБ №7329