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