RUSSIAN

Логический подход к искусственному интеллекту. Книга 1: От классической логики к логическому программированию

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

Book information

Publisher
Мир
Year
1990
ISBN
5030016368, 9785030016368
Language
russian
Format
DJVU
Filesize
6 MB (6797122 bytes)
Pages
434\434
Topic
Mathematics Logic
Library
mexmat
Time added
2014-10-05 02:30:00

Description

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

Similar books