[ДМК] Введение в логическое программирование [Дженесерет М., Чаудри В. К.]

Bot

Администратор
Команда форума
23 Янв 2020
189,860
3,070
113
Введение в логическое программирование
Издание: Черно-белое
Оригинальное название: "Introduction to Logic Programming"

Оригинальный правообладатель: Morgan&Claipool Publishers
Автор: Дженесерет М., Чаудри В. К.
Дата выхода: октябрь 2021 года
Формат: 165 * 235 мм
Бумага: офсетная
Обложка: Твердый переплет
Объем, стр.: 198
ISBN: 978-5-93700-968-2
Вес: 400
pdf от издателя

Обобщенные лекции по искусственному интеллекту и машинному обучению. Книга представляет собой введение в теорию логического программирования, современные технологии и популярные приложения. В ней используется инновационный, модельно-теоретический подход к логическому программированию. Логическое программирование – стиль программирования, в котором программы представлены как наборы предложений на языке символической логики. Сегодня интерес к логическому программированию возрастает, поскольку оно применяется в работе с дедуктивными базами данных, интерактивными рабочими листами, бизнес-правилами, вычислительным законом и общими играми. Знакомство с темой начинается с фундаментального понятия наборов данных, то есть наборов основных атомов. Затем вводится понятие представлений – виртуальных отношений; классические логические программы рассматриваются как наборы определений представлений, написанные с использованием традиционной нотации, подобной языку Prolog, но с семантикой, заданной в терминах наборов данных, а не реализации. Затем вводятся действия, то есть добавление и удаление основных атомов, и определяются динамические логические программы как наборы определений действий. Помимо печатной книги, существует онлайн-версия текста с интерпретатором и компилятором для языка, используемого в тексте, а также интегрированной средой разработки для использования при разработке и внедрении практических логических программ.

dmkpress.com/catalog/computer/programming/978-5-93700-968-2/