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