Основные задачи для функционального и логического программирования.

Парадигмы императивного и декларативного программирования.

Паради́гма программи́рования — это совокупность идей и понятий, определяющая стиль написания программ.

Традиционно рассматривают 2 основные парадигмы программирования: императивная и декларативная.

Императивная предполагает, что программист последовательно описывает порядок выполнения операций, приводящих к результату.

Декларативная предполагает, что описываются только свойства требуемого результата.

Отличительные черты императивного и декларативного программирований:

1. Явное управление памятью;

2. Концепция переменной как поименованная часть памяти;

3. Широкое использование деструктора функций (оператор присваивания);

4. Ориентировано на численные вычисления;

5. Императивная парадигма базируется на фон-неймановской вычислительной модели;

6. Отличительные черты декларативного программы: отсутствие управления потоком, отсутствие явного управления памятью. Основная специализация декларативного программирования: решение символьных задач.

Основные задачи для функционального и логического программирования.

Целью логического и функционального программирования является вывод решений и они тесно связаны с задачами, решаемыми в искусственном интеллекте и экспертных системах (ЭС).

Функциональная программа состоит из совокупности определений функций. Функции, в свою очередь, представляют собой вызовы других функций и предложений, управляющих последовательностью вызовов. Каждый вызов возвращает некоторое значение и вызвавшую ее функцию, вычисление которой после этого продолжается. Этот процесс повторяется до тех пор, пока запустившая процесс функция не вернет результат пользователю.

В логических языках программирования для решения задачи достаточно описания структуры и условий этой задачи. Поскольку последовательность и способ выполнения программы не фиксируется, как при описании алгоритма, программы могут в принципе работать в обоих направлениях, то есть программа может как на основе исходных данных вычислить результаты, так и по результатам – исходные данные.

Наиболее известными языками функционального программирования являются ЛИСП и РЕФАЛ, а логического – Пролог.

Основные понятия систем ИИ.

Искусственный интеллект обычно толкуется как свойство автоматических систем брать на себя отдельные функции интеллекта человека, например, выбирать и принимать оптимальные решения на основе ранее полученного опыта и рационального анализа внешних воздействий.

Практический подход предполагает, что с ИИ моделируют отдельные стороны интеллектуальной деятельности человека: восприятие, логический вывод, умозаключение.

Задачи ИИ:

а) классификация, предполагает отнесение объекта к одному из раннее описанных классов.

б) кластеризация, предполагает, что свойства каждого класса не описаны, более того группы, т.е. классы могут быть не известны, но система относит объект к какому-то классу, тем самым все исходное множество объектов разбивается на группы.

в) распознавание образов, может рассматриваться как частный случай классификации.

г) экспертные системы и базы знаний, следующая задача ИИ. ЭС - комплекс программ, общение с которым позволяет специалисту "среднего уровня" работать в своей прикладной сфере на уровне специалиста "высокого уровня". Ядром ЭС является база знаний. Знания характеризуются следующим: внутренняя интерпретируемость, структурность, активность, адаптивность. Активность предполагает, что знания должны стимулировать получение новых знаний, поэтому ЭС должна в процессе диалога с пользователем генерировать новые знания. Адаптивность предполагает изменение знаний под новые данные.

Дата добавления: 2015-07-19