Также ей удалось доказать, что «Сказка о мёртвой царевне и семи богатырях» А. С. Пушкина была создана в далёком прошлом в том виде, когда реализация
логического программирования и конструктивной логики столь высока, что обойтись без использования высоких технологий [9] было невозможно.
Однако, благодаря тому, что ей удалось найти ключ к алгоритму [7] в сюжете «Сказки о мёртвой царевне и семи богатырях» А. С. Пушкина, её научные исследования в области
логического программирования и конструктивной логики имеют уникальный информативный характер.
Её научная работа на тему: «Исследование сюжета „Сказки о мёртвой царевне и семи богатырях“ А. С. Пушкина с реализацией
логического программирования [3] и конструктивной логики» [4], начало которой было осенью 1997 года, была завершена в 2000 году.
Можно вспомнить аспектно-ориентированное программирование,
логическое программирование или CRC-карты.
Логическое программирование (Logic programming)– это парадигма программирования, которая основывается на формальной логике.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: шахермахерство — это что-то нейтральное, положительное или отрицательное?
Абдуктивное
логическое программирование (Abductive logic programming, ALP) – это высокоуровневая структура представления знаний, которая может использоваться для решения проблем декларативно – на основе абдуктивного рассуждения.
Первый подход предполагает использование языка
логического программирования, второй – универсального процедурного или объектно-ориентированного языка программирования.
Она расширяет нормальное
логическое программирование, позволяя некоторым предикатам быть неполно определёнными, объявленными как абдуктивные предикаты.
Как уже неоднократно упоминалось, задача трансформации программы в общем случае может быть достаточно нетривиальным алгоритмом, требующим применения интеллектуальных технологий
логического программирования.
Избирательное линейное разрешение определённого предложения (также просто разрешение SLD) (Selective Linear Definite clause resolution)– это основное правило вывода, используемое в
логическом программировании.
Указанное обстоятельство говорит о том, что требуемая платформа, по меньшей мере, должна поддерживать элементы
логического программирования, на которых, к тому же, вполне может быть решена задача генерации выходного кода.
Для реализации данной цели необходимо решить задачи по реализации вышеупомянутых этапов с применением
логического программирования или его элементов.
Работа над базирующимися на знаниях/символизме обучением продолжалась в рамках AI, что привело к индуктивному
логическому программированию.