RUSSIAN

Логический подход к искусственному интеллекту : От классической логики к логическому программированию (Пер. с франц.)

By и др. , Тейз А. , Грибомон П , Луи Ж

Book information

Publisher
Мир
Year
1990
ISBN
5-03-001636-8
Language
russian
Format
DJVU
Filesize
3 MB (3428075 bytes)
Series
Научное издание
Pages
431\431
Library
homelab SpecialStorage
Time added
2009-07-20 03:45:11

Description

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

Similar books