Классическая монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с позиции математической логики.
Состоит из шести глав:
1. Логика (Исчисление высказываний. Исчисление предикатов);
2.Аксиоматические системы (Аксиоматический подход к логике. Теории первого порядка);
3.Представление знаний и рассуждений (Логическое представление. Сетевое представление. Объектное представление);
4. Логика и модифицируемые рассуждения (Многочисленные роли логики. Логика и модифицируемые рассуждения. Логика умолчаний. Модальные логики знания и веры. Немонотонные логики Мак-Дермотта. Автоэпистемические логики);
5. Формальные грамматики и логическое программирование (Формальные грамматики и логика. Иерархия Хомского. Формализм усиленных сетей переходов);
6. Пролог и логическое программирование (Основы языка. Алгоритмы Пролога. Инструментарий и пример. Пролог и КС-грамматики).
Изложение достаточно доступное, для понимания материала требуется знание основ информатики. Для студентов и научных работников, профессионально изучающих методы искусственного интеллекта и логического программирования.
Хорошие иллюстрации - структурные и логические схемы, блок-схемы, сетевые структуры, программно-алгоритмические листинги. Много прикладных примеров.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.