Масленникова О.Е., Попова И.В. Основы искусственного интеллекта

Подождите немного. Документ загружается.

- 211 -

1. Функции, вычисляющие N-ый элемент рядов:

a) Power:

Power (X, 0) = 1

Power (X, N) = X * Power (X, N - 1)

б) Summ_T:

Summ_T (1) = 1

Summ_T (N) = N + Summ_T (N - 1)

в) Summ_P:

Summ_P (1) = 1

Summ_P (N) = Summ_T (N) + Summ_P (N - 1)

г) Summ_Power:

Summ_Power (N, 0) = 1

Summ_Power (N, P) = (1 / Power (N, P)) + Summ_Power (N, P - 1)

д) Exponent:

Exponent (N, 0) = 1

Exponent (N, P) = (Power (N, P) / Factorial (P)) + Exponent (N, P - 1)

Factorial (0) = 1

Factorial (N) = N * Factorial (N - 1)

2. Функции, работающие со списками:

a) GetN:

GetN (N, []) = _

GetN (1, H:T) = H

GetN (N, H:T) = GetN (N - 1, T)

б) ListSumm:

ListSumm ([], L) = L

ListSumm (L, []) = L

ListSumm (H1:T1, H2:T2) = prefix ((H1 + H2), ListSumm (T1, T2))

в). OddEven:

OddEven ([]) = []

OddEven ([X]) = [X]

OddEven (H1:[H2:T]) = prefix (prefix (H2, H1), OddEven (T))

г) Reverse:

Reverse ([]) = []

Reverse (H:T) = Append (Reverse (T), [H])

д) Map:

Map (F, []) = []

Map (F, H:T) = prefix (F (H), Map (F, T))

Литература

1. Городняя Л.В. Основы функционального программирования. – Режим

доступа: http://www.intuit.ru/department/pl/funcpl/

2. Лекции по функциональному программированию. – Режим доступа :

http://roman-dushkin.narod.ru/fp.html

- 212 -

3. Paulson С. Lawrence. Foundations of Functional Programming/ Lawrence

С. Paulson - Режим доступа: http://roman-

dushkin.narod.ru/files/fp__lawrence_paulson_001.pdf

4. Gordon M. Introduction to Functional Programming / M. Gordon. – Режим

доступа: http://roman-dushkin.narod.ru/files/fp__mike_gordon_001.pdf

5. Cardelli L. On Understanding Types, Data Abstraction, and Polymorphism /

Cardelli L . – Режим доступа : http://roman-

dushkin.narod.ru/files/fp__luca_cardelli_001.pdf

- 213 -

ГЛОССАРИЙ

Абдукция — форма синтетического вывода, выводящая предпосылки из

правила и результата.

Абстрагирование – есть мысленное выделение (понимание) некоторого

свойства или отношения путем отвлечения от других свойств или отношений

эмпирического объекта.

Амфиболия (от греческого amphibolos – двусмысленность, двойственность)

– логическая ошибка, в основе которой лежит двусмысленность языковых

выражений.

Анализ – мысленное разделение эмпирического или абстрактного объекта на

составляющие его структурные компоненты (части, свойства, отношения).

Атом - это предикатная форма или некоторое равенство, т.е. выражение типа

(s=t), где s и t термы

База знаний (БЗ) — ядро ИнС, совокупность знаний предметной области,

записанная на машинный носитель на языке представления знаний (обычно

приближенном к естественному).

Базис рекурсии – это предложение, определяющее некую начальную

ситуацию или ситуацию в момент прекращения.

Высказывание - предикатная константа без аргументов, или нуль-местная

предикатная форма.

Высота дерева - наибольшая длина пути от корня к листу.

Глубинные знания - абстракции, образы, аналогии, в которых отражается

понимание структуры предметной области и взаимосвязь отдельных

понятий.

Голова списка – первый элемент списка.

Дедукция — аналитический процесс, основанный на применении общих

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

Декларативные знания - факты в виде наборов структурированных данных.

- 214 -

Дерево - граф, у которого одна вершина корневая, остальные вершины

имеют только одного отца и все вершины являются потомками корневой

вершины.

Дополнение к объему – совокупность всех тех эмпирических объектов,

которым не присуще данное понятие.

Задача – класс проблемных ситуаций, когда необходимо осуществить: 1)

сбор информации; 2) оценку ситуации; 3) принятие решений;

4) осуществление действий.

Запрос (в Прологе) – это цели, которые даются программе на выполнение.

Знания - это выявленные закономерности предметной области (принципы,

связи, законы), позволяющие решать еѐ задачи.

Индивидные константы и индивидные переменные ( в логике) - подобны

константам и переменным из математического анализа, с той лишь разницей,

что область их изменения представляет собой индивиды, а не

действительные числа

Индивидный концепт – это система понятий, рассматриваемая в качестве

понятийной сущности, некоторого эмпирического объекта.

Индукция - синтетические рассуждения, которые выводят правило, исходя

из предпосылок и результата.

Инженер по знаниям (когнитолог, инженер-интерпретатор) - специалист

по ИИ, выступающий в роли промежуточного буфера между экспертом и

базой знаний.

Интеллект – 1) способность мозга решать (интеллектуальные) задачи путем

приобретения, запоминания и целенаправленного преобразования знаний в

процессе обучения на опыте и адаптации к разнообразным обстоятельствам;

2) способность самостоятельно, эффективно (верно, с возможно меньшими

затратами ресурсов) находить качественные (верные, простые, требующие

как можно меньших затрат ресурсов) решения (в том числе новые, ранее

неизвестные) разнообразных сложных «задач», в том числе новых, ранее

неизвестных (в идеале - любых возможных «задач»).

Интеллектуализированная система — это ИВС с интеллектуальной

поддержкой при решении задач с участием оператора — ЛПР.

- 215 -

Интеллектуальная система — это информационно-вычислительная система

(ИВС) с интеллектуальной поддержкой при решении задач без участия

оператора (лица, принимающего решение — ЛПР).

Интеллектуальные справочники - информационные системы, ядром

которых является генератор предметного знания, а назначением –

порождение справочных данных в узкой предметной области.

Интеллектуальный агент - система (человек, программа) обладающая

интеллектуальными способностями.

Интенсионал - определение через понятие более высокого уровня

абстракции с указанием специфических свойств.

Искусственный интеллект (ИИ) - это одно из направлений информатики,

цель которого разработка аппаратно-программных средств, позволяющих

пользователю-непрограммисту ставить и решать свои задачи, традиционно

считающиеся интеллектуальными, общаясь с ЭВМ на ограниченном

подмножестве естественного языка.

Крона дерева - совокупность всех листьев.

Круглый стол - обсуждение проблем предметной области в присутствии

привлеченных экспертов, обладающих равными правами.

Лист дерева - вершина, не имеющая потомков.

Логика – 1) наука о формах и методах правильного мышления; 2) наука об

универсальных (общезначимых) взаимосвязях между понятиями,

суждениями, умозаключениями и другими абстрактными объектами.

Логическая связка ( в исчислении предикатов) – логическая операция,

которая служит для образования формул.

Логический вывод — это получение некоторой формулы исходя из

множества других логических формул путем применения правил вывода.

Логическое программирование – это один из подходов к информатике, при

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

первого порядка в форме фраз Хорна.

Логомахия – спор о словах, когда в процессе дискуссии участники не могут

прийти к единой точке зрения в силу того, что не уточнили исходные

понятия.

- 216 -

Мета-знания - знания о знаниях: об объеме и происхождении знаний о

частном объекте, о надежности конкретной информации или об

относительной важности отдельных фактов.

Нейрокомпьютер - это программно-техническая система, которая реализует

некоторую формальную модель естественной нейронной сети.

Нейроподобная сеть - совокупность нейроподобных элементов,

определенным образом соединенных друг с другом и с внешней средой.

Неформализованные задачи — задачи, которые обладают одной или

несколькими из следующих характеристик:

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

качественном виде или в терминах теории нечетких множеств;

2) цели не могут быть выражены в терминах точно определенной

целевой функции;

3) не существует алгоритмического решения задач;

4) алгоритмическое решение существует, но его нельзя

использовать из-за ограниченности ресурсов (время, память).

Нечѐткое множество (НМ) А= {{x, µ

(x)}, - совокупность упорядоченных

пар, составленных из элементов x универсального множества X и

соответствующих степеней принадлежности μа(x) или (поскольку функция

принадлежности является исчерпывающей характеристикой НМ)

непосредственно в виде функции µ

: X →[0,1]

Обобщение – мысленное выделение некоторого понятия путем сравнения

каких-либо других понятий.

Обобщение знаний - процесс получения знаний, объясняющих имеющиеся

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

Объем понятия – это совокупность (множество) всех тех эмпирических

(индивидных объектов), которым присуще данное понятие (в качестве

свойства, признака).

Отношение предикации – отношение, связывающее индивидный и

предикатный концепты некоторого эмпирического объекта в целостный

абстрактный объект.

Отсечение – способ управления поиском.

Персептрон - устройство для распознавания образов.

- 217 -

Поверхностные знания - совокупность эмпирических ассоциаций и

причинно-следственных отношений между понятиями предметной области.

Подсистема объяснений — программа, позволяющая пользователю

получать ответы на вопросы: как была получена та или иная рекомендация и

почему система приняла такое решение?

Пользователь — лицо, для которого предназначена система.

Понятия - суть абстрактные объекты, доступные пониманию человека в

качестве простых и сложных свойств (признаков) эмпирических объектов.

Поток параметров (Visual Prolog) - список входных и выходных аргументов

для данного предиката.

Правило (в Прологе) представляет собой заключение, о котором известно,

что оно истинно, если одно или несколько других заключений или фактов

истинны.

Предикат – 1) это предикатное имя вместе с подходящим числом термов; 2) (в

Прологе) имя свойства или отношения между объектами с

последовательностью аргументов.

Предикатная константа - обозначение отношения, которое описывает

предикат. Предикатная константа не меняет своего значения истинности.

Предикатная форма - это предикатная константа, соединенная с

подходящим числом термов.

Предикатный концепт – понятие, рассматриваемое в качестве свойства того

или иного конкретного эмпирического объекта.

Предметная область - часть действительности, связанная с решением

задачи.

Приобретение знаний - выявление знаний из источников и преобразование

их в нужную форму, а также перенос в базу знаний ИИС.

Простое понятие – тройка, состоящая из имени понятия, его экстенсионала

и интенсионала.

Процедурные знания - алгоритмы в виде процедур обработки фактов.

Прямое приобретение - подход, при котором посредником между

источником и базой знаний является компьютерная система.

- 218 -

Рекурсивная процедура – это процедура, вызывающая сама себя до тех пор,

пока не будет соблюдено некоторое условие, которое остановит рекурсию.

Решатель (машина логического вывода, дедуктивная машина,

интерпретатор) — программа, моделирующая ход рассуждений эксперта на

основании знаний, имеющихся в БЗ.

Семантическая сеть - это ориентированный граф, вершины которого -

понятия, а дуги - отношения между ними.

Сети Хопфилда - подмножество сетей с обратными связями, которые

гарантировано достигают устойчивого состояния.

«Сильный ИИ» - создание машин, копирующих поведение человека

(роботов).

Синтез – мысленное объединение различных объектов в некоторый

целостный объект.

Система с интеллектуальной поддержкой — система, способная

самостоятельно принимать решения.

Система управления базой знаний (СУБЗ) - совокупность средств,

обеспечивающих работу со знаниями.

Системы ИИ общего назначения — системы, которые не только исполняют

заданные процедуры, но на основе метапроцедур поиска генерируют и

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

Ситуации – все виды взаимодействий между объектами.

«Слабый ИИ» - создание методов и технологий, призванных сделать ПО

более умным и полезным.

Сложное понятие – понятие, образованное из ранее определѐнных

применением некоторых правил.

Составные списки – это списки, в которых используется более чем один тип

элементов.

Список – это объект данных, содержащий конечное число других объектов.

Списочная структура (Лисп)— это список, элементами которого могут

быть как атомы, так и другие списочные структуры, в том числе и

обыкновенные списки

Сравнение – установление сходства или различия между объектами.

- 219 -

Суждение – это структурно-сложный объект, отражающий объективную

связь между объектом и его свойством.

Сущность - объект произвольной природы, принадлежащий реальному или

воображаемому (виртуальному) миру.

Терм - всякая переменная и всякая функциональная форма.

Технология синтеза экспертной системы — технология создания на основе

знаний экспертов систем, решающих неформализованные задачи в

слабоструктурированных предметных областях.

Умозаключение – сложный абстрактный объект, в котором с помощью

определенных отношений объединяется в единое целое одно или несколько

суждений

Унификация – совпадение цели с головой правила или фактом

Факты – 1) хорошо известные обстоятельства; 2) отношения или свойства, о

которых известно, что они имеют значение «истина».

Формальная система - совокупность чисто абстрактных методов, в которых

представлены правила оперирования множеством символов в чисто

синтаксической трактовке без учета смыслового содержания.

Фронт продукций – система конкурирующих продукций.

Фрейм - минимальная структура информации, необходимая для

представления знаний о стереотипных классах объектов, явлений, ситуаций,

процессов и др.

Функциональная константа, - логический предикат, который, соединяясь с

подходящим числом термов, образует функциональную форму,

семантическую область которой составляет множество индивидных

констант. Нульместная функциональная константа - индивидная константа

Функциональная форма - это функциональная константа, соединенная с

подходящим числом термов.

Функциональная целостность – возможность выбора желаемого

результата, времени и средств получения результата, средств анализа

достаточности полученного результата.

Хвост списка – часть списка, включающего все последующие элементы.

- 220 -

Шаг рекурсии – это правило, в теле которого обязательно содержится, в

качестве подцели, вызов определяемого предиката

Эвристики - знания из опыта экспертов.

Эквивокация – логическая ошибка, в основе которой лежит использование

одного и того же слова в разных значениях

Эксперт — высококвалифицированный специалист, согласившийся

поделиться опытом в рассматриваемой предметной области. Интерфейс

пользователя — комплекс программ, реализующих диалог пользователям с

ИнС на всех стадиях функционирования ИнС.

Экспертная система (система, основанная на знаниях, — СОЗ) —

сложный программный комплекс, аккумулирующий в формальном виде

знания специалистов в конкретных предметных областях.

Экспертные системы (ЭС) (или инженерия знаний) – направление

искусственного интеллекта, в задачу которого входят исследование и

разработка программ (устройств), использующих знания и процедуры вывода

да решения задач, являющихся трудными для людей-экспертов.

Экстенсионал - определение через перечисление понятий более низкого

уровня иерархии или фактов, относящихся к определяемому.