Языки логического программирования реферат
Обновлено: 08.07.2024
Функция "чтения" служит для ознакомления с работой. Разметка, таблицы и картинки документа могут отображаться неверно или не в полном объёме!
Введение. – 2. Что же представляют собой языки логического программирования? – 7.
2.1. Чистый Полог. – 7.
2.2. Сравнение с традиционными языками программирования. – 9.
2.3. Программирование на чистом Прологе. – 10.
2.3.1. Порядок правил. – 11.
2.3.2. Проблема завершения программ. – 12.
2.3.3. Порядок целей. – 12.
2.3.4. Избыточные решения. – 13.
2.4.Практические рекомендации. – 14.
2.4.1. Эффективность программ на Прологе. – 15.
2.4.2. Разработка программ. – 16.
2.5. Другие языки логического программирования. – 20.
2.5.1. Язык логического программирования KL0. – 20.
2.5.2. Типы данных KL0. – 20.
2.5.3. Язык программирования ShapeUp. – 22.
3. Lisp – язык функционального программирования. – 23.
3.1. Лисп в истории программирования. – 24.
3.2 Логическое программирование на Лиспе. – 25.
4. Заключение. – 26.
5. Используемая литература. – 28.
1.Введение. Почти все современные компьютеры основаны на ранних, разработанных в 40-х годах идеях фон Неймана и его коллег. Машина фон Неймана содержит большую память и процессор, снабженный локальной памятью, ячейки которой называются регистрами. Процессор может загружать данные из памяти в регистры, выполнять арифметические и логические операции над содержимым регистров и отсылать значения регистров в память. Программа машины фон Неймана представляет собой последовательность команд выполнения перечисленных операций вместе с дополнительным множеством команд управления, влияющих на выбор очередной команды. Хотя компьютеры предназначены для использования людьми, возникающие при их создании трудности были столь значительны, что язык описания проблемы и инструкций для их решения на компьютере разрабатывался применительно к инженерным решениям, заложенным в конструкцию компьютера.
По мере преодоления технических проблем построения компьютеров накапливались проблемы, связанные с их использованием. Трудности сместились из области выполнения программ компьютера в область создания программ для компьютера. Начались поиски языков программирования, пригодных для человека. Начиная с языка, воспринимаемого компьютером (машинного языка), стали появляться более удобные формализмы и системы обозначений. И хотя степень абстракции языков возрастала, начиная с языка ассемблера и далее к Фортрану, Алголу, Паскалю и Аде, все они несут печать машины с архитектурой фон Неймана. Характерные особенности программирования на компьютерах фон Неймана приводят к разделению труда: есть люди, которые думают, как решить задачу, и разрабатывают соответствующие методы, а есть люди-кодировщики, которые пишут тексты программ, т.е. выполняют прозаическую и утомительную работу по переводу инструкций разработчиков в команды, воспринимаемые компьютером.
И в логике, и в программировании требуется явное выражение знаний и методов в некотором подходящем формализме. Явная формулировка каких-либо сведений является утомительной работой. Однако формализация в логике часто является интеллектуально благодарной работой, поскольку при этом приходит большее понимание задачи. В отличие от этого формализация задачи и метода решения в виде набора инструкций машины фон Неймана редко приводит к подобному полезному эффекту.
ВВЕДЕНИЕ 3
1 ПОНЯТИЕ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 6
1.1 ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И АКСИОМАТИЧЕСКИЕ СИСТЕМЫ 6
1.2 ПРЕДМЕТ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 9
2 ЯЗЫКИ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 11
2.1 ЯЗЫК ПРОЛОГ 11
2.2 ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГЕ 14
2.3 ДРУГИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ 19
2.3.1 Язык логического программирования KL0 19
2.3.2 Язык программирования ShapeUp 20
2.3.3 Lisp – язык функционального программирования 20
2.4 СРАВНЕНИЕ ПРОЛОГА С ТРАДИЦИОННЫМИ ЯЗЫКАМИ ПРОГРАММИРОВАНИЯ 22
2.5 ПЕРСПЕКТИВЫ ИСПОЛЬЗОВАНИЯ ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 23
3 ПЕРСПЕКТИВЫ ПРИМЕНЕНИЯ ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 24
3.1 ПЕРСПЕКТИВЫ И ТЕНДЕНЦИИ РАЗВИТИЯ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА 24
3.2 ИСПОЛЬЗОВАНИЕ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ СОЗДАНИЯ ЭКСПЕРТНЫХ СИСТЕМ В РАЗЛИЧНЫХ ПРЕДМЕТНЫХ ОБЛАСТЯХ 26
ЗАКЛЮЧЕНИЕ 30
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 33
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ 34
Актуальность темы.Логическое программирование и отдельно взятые системы программирования, которые были созданы на его базе, VisualиTurboProlog, и многие другиев настоящее время стали все чаще применяться в виде инструментального средства для решения самых разныхпрактических задач. При всем стоит заметить, что довольно часто используются отдельные положения и основные методыдействующей теории искусственного интеллекта (ИИ). Что существенно отличает его от системы процедурного программирования, логическое программирование достаточно сильно снижает изначальную трудозатратностьвсего процессадемонстрации решения определенно взятой задачи в форме алгоритма на действующем высокоуровневом языке программирования. При использовании важнейших принципов программирования наукой логикой решение поставленной задачи осуществляется путем конкретного логического вывода из описания имеющейся исходной задачи в том, что непосредственно касаетсякакого-либо конкретного логического исчисления. Процедура такого рода логического вывода должна быть непременно выполненас помощью специальных средств соответствующих систем программирования. Тем не менее все же стоит заметить, что применение логического программирования само по себе как таковое является занятием довол.
На основании проведенного исследования автор пришел к следующим основным выводам.
Логическое программирование зародилось еще в эру ЭВМ, когда появилась потребность полностью автоматизировать существующий процесс логического вывода. Оно является отдельной ветвью всей теории формальных систем.
Логическое программирование (в широком значении слова) представляет из себя отдельное семейство таких методов решения поставленных задач, в которых применяютсяотдельные приемы логического вывода для постоянного манипулирования отдельными знаниями, которые представлены в соответствующей декларативной форме. В узком понимании логическое программирование необходимо понимать как применение исчисления предикатов, имеющих первый порядок в виде всей основы для последующего описания определенной предметной области и проведения резолюционного вполне логического вывода.
Аксиоматическая система представляет из себя способ для задания соответствующего множества посредством указания отдельных исходных элементов (говоря иными словами, аксиом исчисления) и необходимых правил вывода, которые описывают как именно строить новые элементы из ужесуществующих.
Исчислениями стоит считатьсамые важные из существующих аксиоматических логических систем, а именно исчисление высказываний, а также исчисление предикатов. Исчисление высказываний, наряду с исчислением предикатов первого порядка выступаютполными аксиоматическими системами.
Под аксиоматическим методомчаще всего .
После офорления заказа Вам будут доступны содержание, введение, список литературы*
*- если автор дал согласие и выложил это описание.
Читайте также: