ИНДУКЦИЯ — Метод перехода от частных наблюдений к общей закономерности, которой удовлетворяют все частные наблюдения.
КВАНТИФИКАТОР — В узком смысле - это указатель на область истинности некоторого утверждения
КВАНТИФИКАТОР — В широком смысле может означать любое значение лингвистической переменной (например, "много", "часто", "далеко" и т.д.). Именно в таком смысле данное понятие используются в псевдофизической логике и в ситуационном управленииКВАНТОР СУЩЕСТВОВАНИЯ — Специальный указатель на то, что некоторое P имеет место (или истинно) при некоторых переменных, перечисленных в этом указателе, причем конкретные значения, обеспечивающие это, не указываются, а фиксируется лишь то, что они существуют
КВАНТОР СУЩЕСТВОВАНИЯ — Ему соответствует лексема "существует"
КВАНТОР СУЩЕСТВОВАНИЯ — КВАНТИФИКАТОР .
КВАНТОР ОБЩНОСТИ — Специальный указатель на то, что некоторое содержащее переменные, распространяется на все формулы, получаемые при подстановке вместо переменных, перечисленных в этом указателе, любых значений из областей определения этих переменных
КВАНТОР ОБЩНОСТИ — Ему соответствует лексема "всегда" и "для всех"
КВАНТОР ОБЩНОСТИ — КВАНТИФИКАТОР .
ДЕКОМПОЗИЦИЯ ЗАДАЧ — Разбиение задачи на подзадачи с последующим разбиением этих подзадач до получения базовых (элементарных) задач, для которых заранее известно решение. ДЕКОМПОЗИЦИЯ ЗАДАЧ — Разбиение задачи на подзадачи с последующим разбиением этих подзадач до получения базовых (элементарных) задач, для которых заранее известно решение.
Д.З. применяется в интеллектуальных системах при создании систем автоматического программирования и при планировании поведения в пространстве задач. В более общем смысле Д.З. может служить для понимания размеренности решаемой задачи..
ДЕНОТАТ — Реальный объект, процесс, явление, ситуация и т.п. в физическом мире, для которого есть специальное именующее выражение в некотором языке. Это именующее выражение является десигнатом для данного денотата. ДЕСИГНАТ — Специальное именующее выражение для денотатов, существующих во внешнем по отношению к данной системе мира. Все значения системы о денотатах фиксируются в виде знаний о Д. В ряде случаев Д. называют уникальным именем, меткой, ключом. ВЫСКАЗЫВАНИЕ — Логическое выражение, относительно которого всегда можно утверждать, что оно либо истинно, либо ложно.
ИДЕНТИФИКАЦИЯ — Процедура установления интересующих исследователя свойств в изучаемом явлении или объекте. Для интеллектуальных систем И. часто означает проверку того, что данная система действительно решает те задачи, для решения которых она была создана.
ГИПОТЕЗА — Частично обоснованная закономерность знаний, или для связи между различными эмпирическими фактами, или для объяснения факта или группы фактов.
В интеллектуальных системах Г. порождаются в процессе обучения систем (в частности, при обучении на примерах).. ИНЖЕНЕР ПО ЗНАНИЯМ — Специалист, основной задачей которого является проектирование баз знаний и наполнение их знаниями о проблемной области. В процессе этой деятельности И.П.З. выбирает форму представления знаний, удобную для данной проблемной области, организует приобретение знаний из различных источников (официальные документы, учебники, монографии и т.п.), а также в результате общения с экспертами-специалистами в данной проблемной области.
ИНТЕРВЬЮ — Способ работы с экспертом при приобретении знаний, когда инженер по знаниям выступает в роли интервьюера. АВТОМАТИЗАЦИЯ ДЕЛОПРОИЗВОДСТВА — Совокупность средств, с помощью которых автоматизируется процесс делопроизводства на уровне одного работника.
АВТОМАТИЗАЦИЯ ДЕЛОПРОИЗВОДСТВА — А.Д. дает возможность хранить совокупность документов в памяти ЭВМ, "пролистывать" папки с документами на экране дисплея, корректировать документы, "печатать и класть в папки" новые документы, уничтожать ненужные и т.п. Использование машинной графики позволяет высвечивать на экране дисплея привычный вид документов.АКСИОМА — Утверждение, которое априорно считается истинным.
АКТ РЕЧЕВОЙ — Произнесение говорящим некоторого сообщения при наличии слушающего и конкретного ситуативного окружения.
Изучение Р.А. позволило сформулировать требования к успешности коммуникации при общении людей друг с другом и людей с искусственными системами. Изучается в теории речевых актов.. АКТАНТ — Термин А. связан с определенной синтаксической концепцией, согласно которой элементарные высказывания расчленяются на функции (субъект, объект, предикат) и предикат рассматривается как ядро высказывания.
АКТОР — Специальным образом организованная процедура, характерная для объектно-ориентированного стиля программирования. Особенность А. состоит в том, что он самостоятельно включает в работу (активизируется), когда выполняются условия активизации. После окончания работы А. передает полученные им результаты другим А. Использование А. обеспечивает децентрализованное и максимальное параллельное решение задач.
АНАЛОГИЯ — Связь между двумя объектами, процессами, событиями или ситуациями на уровне отношений сходства-различия в базе знаний.
АНАФОРА — Повторение одного и того же слова или словосочетания в рамках одного предложения или соседних предложений в тексте.
Часто при повторении используется не само слово или словосочетание а так называемое анафорическое слово (чаще всего местоимение)..
АНАФОРА — Пример:
Например, в тексте "Петя шел в школу. Она находилась на краю поселка" "она" есть анафорическое слово для слова "школа". Такие анафорические ссылки затрудняют автоматический анализ текстов для их понимания в интеллектуальных системах.АРГУМЕНТАЦИЯ — Процесс доказательства истинности утверждения с привлечением фактов из которых следует истинность данного утверждения или которое увеличивает уверенность в его истинности А. близка к обоснованию.
АССОЦИАЦИЯ — Связь между двумя информационными единицами в базе знаний, устанавливаемая на основе некоторой меры близости, определяемой на множестве информационных единиц, хранимых в этой базе.
АТРИБУТ — Уникальное имя, приписываемое домену значений некоторой информационной единицы.
БЕКТРЕКИНГ — Роцедура возврата при поиске на некоторой структуре (например, поиск по дереву решений или в лабиринте). При движении по структуре часто возникает необходимость, когда выбранный путь оказался неудачным или тупиковым в возврате к месту разветвления процесса поиска. Для ускорения возможности возврата в последнюю точку ветвления ее координаты следует хранить в памяти. Для хранения совокупности вложенных друг в друга по старшинству точек ветвления используются специальные стековые регистры.
БЕСЕДА СОКРАТИЧЕСКАЯ — Специально организованный диалог, в ходе которого один из участников предлагает некоторый тезис, а второй последовательно выдвигает возражения против тезиса, на которые участник, предложивший тезис, отвечает только: "согласен" или " не согласен". Целью Б.С. является обучение приемам логических рассуждений.
БИХЕВИОРИЗМ — Сведение создания к целенаправленному поведению, связанному с парой "стимул-реакция". Для Б. характерно рассмотрение субъекта как черного ящика. Ряд моделей искусственного интеллекта был построен на основе подхода, декларируемого в Б.
ВАЛИДАЦИЯ — Оценка программного продукта с точки зрения соответствия всем предъявленным к нему требованиям.
ВЕРИФИКАЦИЯ — Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
ВИДЕОПРОЦЕССОР — Специализированный процессор, предназначенный для эффективной реализации алгоритмов обработки изображений. Особенностью взаимодействия растрового дисплея со спецпроцессором является соответствие каждой точки изображения одного или нескольких разрядов памяти в адресном пространстве спецпроцессора. Изменяя содержимое ячеек памяти, программа изменяет изображение на экране
ВЫБОРКА ОБУЧАЮЩАЯ — Набор примеров и контрпримеров для формирования решающих правил. Входит в состав таблицы обучения.
ГЕНЕРАЦИЯ ТЕКСТА — Процесс порождения текста, включающий выделение фрагмента внутреннего представления, который войдет в текст; формирование схемы дискурса, т.е. последовательности, в которой должна быть изложена информация; заполнение схемы дискурса языковыми выражениями.
При Г.Т. также учитывается фокус внимания и предотвращения коммуникативных ошибок.. ГЕРМЕНЕВТИКА — Раздел семантики, изучающий способы выявления содержания текста, в явной форме в нем не выраженного. Поиск скрытого в тексте содержания происходит в результате обращения к знаниям, являющимся релевантными для данного текста.
ГИПЕРСОБЫТИЕ — Специально организованное описание типовой ситуации (кражи, драки, покупки в магазине и т.п.).
Г. может представляться в базах знаний различными способами, например, в виде сценариев.. ГРАФ — Пара (X, R), где X - множество, элементы которого переименованы и называются вершинами; R - бинарное отношение, заданное на X. Если между вершинами x1 О X и x2 О X существует отношение R, то тройка x1 R x2 называется ребром Г. Если отношение R несимметрично, то x1 R x2 называется дугой Г.
Г. с ребрами называется неориентированным, а с дугами - ориентированным..
Г. находят широкое применение в моделях интеллекта искусственного.. ГРАФИКА ДИНАМИЧЕСКАЯ — Направление в машинной графике, которое разрабатывает приемы и процедуры для воспроизведения на экране дисплея движущихся сцен. В Г.Д. используются многие средства, разработанные в мультипликационном (анимационном) кино, а также ряд приемов математического характера.
ГРАФИКА КОГНИТИВНАЯ — Направление в машинной графике, которое связывает представления, возникающие на экране дисплея, с когнитивными процессами, протекающими при решении задач. Г.К. позволяет как бы визуализировать процесс решения. При достаточно продуманной системе визуализации образы, возникающие в динамике на экране, могут помочь пользователю, решающему задачу в интерактивном режиме, увидеть те закономерности или пути решения задачи, которые ранее для него не были доступны.
С развитием Г.К. связывают большие надежды на повышение эффективности решения задач, так как мышление пользователя может существенно ускорить процесс поиска решения и рождать новые пути его поиска..
Г.К. требует специальных представлений в базе знаний соответствующих образам на экране дисплея, и процедур соотнесения этих представлений с традиционными когнитивными структурами.. ГРАФИКА МАШИННАЯ — Совокупность программных средств для выдачи на дисплей изображений представления в графической форме промежуточных и окончательных результатов решения задач и для работы с графическими изображениями.
ГРАФИКА МАШИННАЯ — Направление, занимающиеся разработкой этих средств.
ДЕЙСТВИЕ — Единица процесса деятельности, активность, направленная на достижение определенной цели.
Д. может быть внутренним, направленным на преобразование информации внутри интеллектуальной системы, или внешним, направленным во внешнюю среду (сообщение пользователю, движение манипулятора автономного робота и т.п.).. ДЕРЕВО ДВОИЧНОЕ — Представление процесса поиска в виде дерева, каждая вершина которого связана со значением ключа поиска таким образом, что все меньшие ключи сосредоточены в ее левом поддереве, а все большие - в правом.
ДЕРЕВО ЗАВИСИМОСТЕЙ — Представление результата работы этапа синтаксического анализа в лингвистических процессорах в виде дерева разбора предложения, в вершинах которого стоят лексемы, соответствующие подлежащему, сказуемому, дополнению и т.п., а дуги указывают на связь между вершинами по управлению.
Используется на этапах глубинного синтаксического и семантического анализа предложения.. ДЕРЕВО РЕШЕНИЙ — Структура, состоящая из узлов принятия решений и альтернатив, соответствующих этим узлам. Движение по Д.Р. может осуществляться случайным образом или на основании локальной информации об успехе, которая имеется в узлах. В результате успешного поиска на Д.Р. образуется путь, ведущий из корня дерева исходная ситуация к тому узлу дерева, которое соответствует целевой ситуации. В процессе движения по Д.Р. часто возникает необходимость возврата в ранее пройденные узлы, что осуществляется с помощью процедуры бектрекинга.
ДЕРЕВО СОСТАВЛЯЮЩИХ — Представление системы составляющих, корнем которой является полная составляющая, а висячими узлами являются точечные составляющие.
ДЕСКРИПТОР — Выделенное слово (или сочетание), которое для понимающей тексты на естественном языке системы служит маркером. Этот маркер входит в левые части правил вывода, секвенций или продукций. При появлении маркера соответствующее правило срабатывает. Д. выбирается из специального словаря и ему искусственно придается смысловая однозначность, позволяющая с его помощью обозначать класс (синонимичных) понятий.
ДЕФОЛТ — Наиболее типичное значение атрибута, приписываемое объекту, если его значение для этого объекта указано.
ДИЗЪЮНКЦИЯ — Логическая операция (связка) для n> 2 выражений. Результирующее выражение ложно только тогда, когда ложны исходные выражения.
ДИЗЪЮНКЦИЯ — Обозначение: Для обозначения Д. стандартно используется знак Љ (реже +).ДИСКУРС — Анализ текста с точки зрения его коммуникативной функции и структуры. Теория дискурса изучает закономерность построения текстов, сочетаемость текстовых единиц и фрагментов текста.
ДИССОНАНС КОГНИТИВНЫЙ — Диссонанс, возникающий у субъекта, когда он располагает одновременно двумя противоречивыми знаниями об одном и том же объекте, субъекте, ситуации или явлении. Д.К. есть побудительный мотив для того, чтобы начать некоторую деятельность по устранению противоречия в знаниях.
В интеллектуальных системах Д.К. используется в базах знаний, чтобы сделать знания активными.. ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ — Вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. Таковым не является, например, широко распространенный способ доказательства "от противного", используемый в классической математике.
ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ — Логическое следование данной формулы из данной совокупности выведенных ранее формул.
ДОМЕН — Помещенная в базу данных совокупность значений некоторой информационной единицы. Д. определяется своим атрибутом.
ДОСКА ОБЪЯВЛЕНИЙ — Способ управления параллельно протекающими асинхронными процессами решения задач, при которых информация о закончившихся процессах и полученных результатах "вывешивается" на Д.О., к которой имеют независимый доступ все процессы (и/или программисты), ожидающие нужных результатов.
Д.О. часто используется в экспертных системах, интеллектуальных роботах и других интеллектуальных системах.. ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО — Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что выражение (A V A) является тождественно истинным. З.И.Т. подвергался критике и отвергался логиками, стоящими на позиции интуиционистской математики и конструктивной математики.
ЗАКОН СНЯТИЯ ДВОЙНОГО ОТРИЦАНИЯ — Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что всегда имеет место равенство A=A.
ЗНАЧЕНИЕ АТРИБУТА — Константа, приписанная атрибуту в базе данных.
ЗНАЧЕНИЕ ПО УМОЛЧАНИЮ — Значение переменной, которое ей автоматически приписывается, если ее значение не задается.
ЗРЕНИЕ МАШИННОЕ — Совокупность моделей и методов для выполнения техническими системами процедур, характерных для зрительного восприятия у живых организмов. В рамках З.М. решаются задачи выделения объектов из фона, их идентификация, ввод в промежуточную память, перекодировка во внутренние представления и т.п.
Системы З.М. характерны для интеллектуальных роботов и других интеллектуальных систем.. И/ИЛИ ГРАФ — Ориентированный граф, обладающий свойствами: 1). При возбуждении (передаче информации) входных дуг, ведущих в некоторую вершину, реализуется либо конъюкция (И), либо дизъюнкция (ИЛИ). В первом случае вершина возбуждается (становится активной и принимает информацию) только тогда, когда возбуждены все дуги, входящие в нее. Во втором случае для возбуждения вершины достаточно возбуждения любой входящей в нее дуги. 2). При возбуждении вершины возбуждаются либо все выходящие из вершины дуги (И), либо только одна, выбираемая вершиной (исключающее ИЛИ для числа аргументов, равного числу выходящих дуг).
Часто под И/ИЛИ г. понимают граф, для которого выполнено первое свойство, а для выходных дуг всегда имеет место И..
И/ИЛИ г. широко используются в системах планирования целесообразного поведения автономных роботов и в других системах искусственного интеллекта.. ИЗВЛЕЧЕНИЕ ЗНАНИЙ — Получение информации о предметной области от специалистов и выражение ее на языке представления знаний.
И.З. используется при построении экспертной системы или базы знаний.. ИИ-ПРОГРАММИРОВАНИЕ — Разработка инструментального программного обеспечения для решения задач искусственного интеллекта. В ИИ-П. создаются языки программирования, ориентированные на особенности задач искусственного интеллекта, интеллектуальные вспомогательные средства, языки представления знаний и манипулирования ими, пустые экспертные системы и оболочки и другие инструментальные средства.
ИЛЛОКУТИВНЫЙ ПОТЕНЦИАЛ — Коммуникативные возможности конкретного вида речевого акта. Например, возможность выражать вопрос, сомнение, просьбу вопросительным предложением типа "А разве вы не придете?".
ИЛЛОКУЦИЯ — Одна из составляющих речевого акта наряду с локуцией и перлокуцией. Выполнение действия посредством речи: побуждение (просьба, приказ), вопрос, сомнение, утверждение, обещание.
ИМИТАЦИЯ ИНТЕЛЛЕКТУАЛЬНОГО ПОВЕДЕНИЯ — Воспроизведение процедур формирования целенаправленного поведения человека и животных в внешнем мире в зависимости от возникающих в нем ситуаций.
Для И.И.П. разрабатываются специальные модели и методы планирования деятельности..
Имитация интеллектуального поведения широко используется в интеллектуальных роботах.. ИМИТАЦИЯ ПРОЦЕССОВ МЫШЛЕНИЯ — Воспроизведение программы путем или с помощью специальной аппаратуры отдельных процессов, характерных для мышления человека и животного (распознавание ситуаций, принятие решений о своем поведении, понимание текстов на естественном языке и т.п.).
В искусственном интеллекте И.И.М., как правило, предполагает не идентичность процессов, протекающих в мозгу и в технической системе, а совпадение результатов решения одинаковых задач.. ИМПЛИКАЦИЯ — Логическая операция (связка) для двух выражений. Результирующее выражение ложно тогда, когда первое выражение истинно, а второе ложно (операция И. некоммутативна).
ИМПЛИКАЦИЯ — Обозначение: Стандартное обозначение импликации: →.ИНЖЕНЕРИЯ ЗНАНИЙ — Раздел искусственного интеллекта, в рамках которого решаются проблемы, связанные с извлечением знаний, приобретением знаний, представлением знаний и манипулированием знаниями.
И.З. служит основой для создания экспертных систем и других интеллектуальных систем.. ИНТЕЛЛЕКТ ИСКУССТВЕННЫЙ — Научное направление, в рамках которого ставятся и решаются задачи аппаратного или программного моделирования тех видов человеческой деятельности, которые традиционно считаются интеллектуальными. (См. также Представление знаний, Обучение, Общение, Объяснение).
ИНТЕЛЛЕКТ ИСКУССТВЕННЫЙ — Свойство интеллектуальных систем выполнять функции (творческие), которые традиционно считаются прерогативой человека.
ИНТЕРПРЕТАЦИЯ — В широком смысле - объяснение, толкование чего-либо. В программировании - процесс перевода программы, написанной на языке высокого уровня, в объектный код таким способом, что программа храниться в памяти ЭВМ в первоначальной форме, а трансляция в объектный код осуществляется частями, по мере необходимости. В искусственном интеллекте - установление связи между двумя системами описаний, что позволяет понимать одну систему на уровне другой.
ИСКУССТВЕННЫЙ МОЗГ — Гипотетическое устройство, способное заменить мозг человека и (или) реализовать все функциональные свойства, известные о мозге.
ИСКУССТВЕННЫЙ МОЗГ — В искусственном интеллекте под И.М. понимают повторение искусственными средствами свойств, присущих мозгу.
ИСТОЧНИК ЗНАНИЙ — Текст, (инструкция, монография, фотография, кинолента и т.п.), наблюдение или сообщающий нужную информацию специалист-профессионал. Из И.З. черпается информация, преобразуемая в знания, фиксируемые в памяти интеллектуальной системы.
КАРТА КОГНИТИВНАЯ — Способ описания известного субъекту фрагмента пространства с находящимися в нем заполнителями
КАРТА КОГНИТИВНАЯ — С ее помощью изучается то, как человек воспринимает пространственные ситуации и отображает их в своей памяти
КАРТА КОГНИТИВНАЯ — В интеллектуальных системах используется для отображения пространственных ситуаций в базах знаний и при работе с экспертами-профессионалами, когда инженер по знаниям получает от них информацию, связанную с пространственными ситуациямиКАУЗАЦИЯ — Установление связи явлений или фактов
КАУЗАЦИЯ: - В строгой форме устанавливает причинно-следственные связи между явлениями или фактами
- В широком смысле устанавливает влияние одних явлений или фактов на другие
- В широком смысле - отражается в моделях знаний в виде каузальных сетей и сценариев
- При узком понимании - в моделях знаний приводит к причинно-следственным сетям
КВАНТИФИКАЦИЯ — Приписывание оценок (в том числе, числовых) на выражения формальной системы. Эти оценки иногда называют квантофикаторами. Оценки могут характеризовать степень правдоподобия выражений, приоритетность при решении задачи и т.п.
КЛАССИФИКАЦИЯ — Введение отношений на множестве объектов или явлений, позволяющих разбить их на классы с установлением между классами отношений включения типа "род-вид", "элемент класс", "целое часть" и т.п.
КЛАСТЕРИЗАЦИЯ — Способ разбиения объектов или явлений на классы на основании некоторого отношения близости в пространстве признаков.
КОГИТОЛОГИЯ — Раздел философии, изучающий проблемы, связанные с получением и использованием человеческих в процессе деятельности.
КОГНИТИВНАЯ НАУКА — Комплекс научных дисциплин (когнитивная психология, теория аргументации и др.), объединенных единым предметом исследования - отражением в познавательных структурах человека окружающей его действительности и исследованием механизмов рассуждения об этой действительности.
КОНКАТЕНАЦИЯ — Операция приписывания одних элементов к другим так, что получается новый произвольный элемент. С помощью К., например, образуются из букв слова языка, из слов, знаков пунктуации и знака пробела - предложения.
КОНСТРУКТ КЕЛЛИ — Униполярный или биполярный признак, пара альтернатив, параметр, шкала или пара противоположных отношений личности к объекту или какой-либо его стороне. К.Л. используется в моде репертуарных решеток, разработанных Келли и его последователями для выявления тех субъективных представлений, которыми люди руководствуются в своей профессиональной и обыденной деятельности. Эти подходы к выявлению субъективных знаний используются в инженерии знаний при приобретении знаний у профессионалов для заполнения баз знаний экспертных систем.
КОНЪЮКЦИЯ — Логическая операция (связка) для n>2 выражений. Результирующее выражение (конъюнкция исходных выражений) истинно только тогда, когда истинны все исходные выражения.
Во многих случаях знак К. может быть опущен..
КОНЪЮКЦИЯ — Обозначение: Для обозначения К. стандартно используется знак & (реже), а также знак умножения в виде точки.загрузка...