АНАЛИЗАТОР СИНТАКСИЧЕСКИЙ - Толковый словарь по искусственному интеллекту

Лекция



Это продолжение увлекательной статьи про словарь по искусственному интеллекту.

...

АНАЛИЗАТОР СИНТАКСИЧЕСКИЙ

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

АНАЛОГИЯ

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

АНАФОРА

Повторение одного и того же слова или словосочетания в рамках одного предложения или соседних предложений в тексте. Часто при повторении используется не само слово или словосочетание а так называемое анафорическое слово (чаще всего местоимение). Например, в тексте "Петя шел в школу. Она находилась на краю поселка" "она" есть анафорическое слово для слова "школа". Такие анафорические ссылки затрудняют автоматический анализ текстов для их понимания в интеллектуальных системах.

АРГУМЕНТАЦИЯ

Процесс доказательства истинности утверждения с привлечением фактов из которых следует истинность данного утверждения или которое увеличивает уверенность в его истинности А. близка к обоснованию.

АРХИТЕКТУРА ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ

См. Архитектура компьютера.

АРХИТЕКТУРА КОМПЬЮТЕРА

Совокупность обобщенных сведений о структуре основных блоков компьютера, их функционировании и информационно-управляющих связях между ними.

АРХИТЕКТУРА КОНВЕЙЕРНАЯ

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

АРХИТЕКТУРА ПАРАЛЛЕЛЬНАЯ

Архитектура вычислительной системы в которой одновременно выполняются одинаковые или различные операции над несколькими группами данных. См. СИМД-архитектура и МИМД-архитектура.

АРХИТЕКТУРА ПОТОКОВАЯ

Архитектура вычислительной системы ориентированном на управление вычислительным процессом с помощью потока данных или потока запросов. В первом случае выполнение каждой операции инициируется содержимым ее операндов: заранее последовательность выполнения команд не задается. В качестве операндов команды выступают не адреса ячеек памяти, а команды, результаты выполнения которых являются операндами данной команды. Такая организация ЭВМ ориентирована на применение функционального программирования (ЛИСП и подобные ему).

АССОЦИАЦИЯ

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

АТОМ

См. Формула атомарная.

АТРИБУТ

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

БАЗА ДАННЫХ

Совокупность программных средств, обеспечивающих поиск, хранение и запись информационных единиц заданной структуры (данных) в памяти ЭВМ.

БАЗА ДАННЫХ ИЕРАРХИЧЕСКАЯ

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

БАЗА ДАННЫХ РЕЛЯЦИОННАЯ

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

БАЗА ДАННЫХ СЕТЕВАЯ

База данных, в которой информационные единицы связаны между собой отношениями типа "один к одному", "один к многим" и "многие к многим".

БАЗА ДАННЫХ ЭКСТЕНСИОНАЛЬНАЯ

База данных, в которой хранятся лишь константные факты о внешнем мире.

БАЗА ЗНАНИЙ

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

БАЗА ЗНАНИЙ ЗАМКНУТАЯ

База знаний, содержимое которой в процессе функционирования не изменяется. Логический вывод в такой базе эквивалентен выводу в формальной системе и обладает свойством монотонности, т.е. ранее выведенные утверждения остаются верными на весь период функционирования Б.З.З.

БАЗА ЗНАНИЙ ИНТЕНСИОНАЛЬНАЯ

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

БАЗА ЗНАНИЙ ОТКРЫТАЯ

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

БЕКТРЕКИНГ

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

БЕСЕДА СОКРАТИЧЕСКАЯ

Специально организованный диалог, в ходе которого один из участников предлагает некоторый тезис, а второй последовательно выдвигает возражения против тезиса, на которые участник, предложивший тезис, отвечает только: "согласен" или " не согласен". Целью Б.С. является обучение приемам логических рассуждений.

БИХЕВИОРИЗМ

Сведение создания к целенаправленному поведению, связанному с парой "стимул-реакция". Для Б. характерно рассмотрение субъекта как черного ящика. Ряд моделей искусственного интеллекта был построен на основе подхода, декларируемого в Б.

ВАЛИДАЦИЯ

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

ВЕРИФИКАЦИЯ

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

ВИДЕОПРОЦЕССОР

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

ВОСПРИЯТИЕ

Отражение окружающей ситуации и ее элементов при взаимодействии органов чувств человека или рецепторов искусственной системы с внешней средой. В. обеспечивает непосредственно-чувственную ориентировку в среде и порождает поток входной информации для последующей обработки ее человеком или искусственной системой. Для интеллектуальных систем наиболее важными видами Восприятия являются восприятие зрительной информации, восприятие тактильной информации и акустической информации (распознавание речи).

ВОСПРИЯТИЕ ЗРИТЕЛЬНОЙ ИНФОРМАЦИИ

Обработка сигналов, поступающих в интеллектуальную систему (интеллектуальный робот) с датчиков зрительных сцен. В качестве датчиков для плоских изображений часто используются матрицы из фотодиодов, но применяется и фотографическая аппаратура. Для трехмерных сцен чаще всего в качестве датчика используют телевизионную камеру. При В.З.И. происходит очистка изображения от шумов и искажений, анализ плоского изображения или анализ сцен для объемного изображения, перекодировка изображения и передача его в базу знаний или решатель.

ВОСПРИЯТИЕ ТАКТИЛЬНОЙ ИНФОРМАЦИИ

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

ВЫБОРКА ОБУЧАЮЩАЯ

Набор примеров и контрпримеров для формирования решающих правил. Входит в состав таблицы обучения.

ВЫВОД

Получение новых информационных единиц из ранее известных. Частным случаем является логический вывод.

ВЫВОД АБДУКТИВНЫЙ

Вывод на основании абдукции.

ВЫВОД ВЕРОЯТНОСТНЫЙ

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

ВЫВОД ЕСТЕСТВЕННЫЙ

Вывод, полученный на основании "здравого смысла". В.Е. может либо соответствовать логическому выводу в некоторой формальной системе (но быть для человека очевидным), либо опираться на соображения, которые не укладываются в строгие рамки формальной системы.

ВЫВОД ИНДУКТИВНЫЙ

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

ВЫВОД ИНТУИЦИОНИСТСКИЙ

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

ВЫВОД ЛИНЕЙНЫЙ

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

ВЫВОД ЛОГИЧЕСКИЙ

1. Последовательность рассуждений, приводящая от посылок к следствию с использованием аксиом и правил вывода.
2. Результат вывода.

ВЫВОД НА ЗНАНИЯХ

Вывод, использующий в качестве посылок выражения, хранящиеся в базе знаний В.Н.З. может быть достоверным, если эти выражения являются достоверным, или правдоподобным или снабжены оценками правдоподобия. Как правило, процедуры В.Н.З. включают поиск необходимых знаний для вывода, т.е. процедуру поиск по образцу.

ВЫВОД НЕМОНОТОННЫЙ

Вывод, при котором нарушается свойство монотонности при выводе.

ВЫВОД НЕЧЕТКИЙ

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

ВЫВОД ОБРАТНЫЙ

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

ВЫВОД ПО АНАЛОГИИ

Вывод, основанный на перенесении рассуждения из исследованной области на другую область, похожую на исследованную. Если имеется вывод A ® B, и область, в которой определено A, гомоморфна области, где определена C, а область, где определено B, гомоморфна области, где определено D, то вывод A ® B порождает вывод C ® D. В.П.А. есть частный случайправдоподобного вывода.

ВЫВОД ПРАВДОПОДОБНЫЙ

Вывод, при котором каждый шаг сопровождается вычислением оценки достоверности полученного утверждения. Частными случаями В.П. является, например, вывод вероятностный и вывод индуктивный.

ВЫВОД ПРЯМОЙ

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

ВЫЗОВ ПО ОБРАЗЦУ

Способ поиска информации в базах данных, базах знаний или в оперативной памяти компьютера. В отличие от поиска по адресу хранения, В.П.О. предполагает ассоциативный поиск по содержимому запросу на поиск. (См. Поиск по образцу).

ВЫСКАЗЫВАНИЕ

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

ВЫСКАЗЫВАНИЕ АТОМАРНОЕ

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

ГЕНЕРАЦИЯ ТЕКСТА

Процесс порождения текста, включающий выделение фрагмента внутреннего представления, который войдет в текст; формирование схемы дискурса, т.е. последовательности, в которой должна быть изложена информация; заполнение схемы дискурса языковыми выражениями. При Г.Т. также учитывается фокус внимания и предотвращения коммуникативных ошибок. (См. Порождение текста. Синтез текста).

ГЕРМЕНЕВТИКА

Раздел семантики, изучающий способы выявления содержания текста, в явной форме в нем не выраженного. Поиск скрытого в тексте содержания происходит в результате обращения к знаниям, являющимся релевантными для данного текста.

ГИПЕРСОБЫТИЕ

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

ГИПОТЕЗА

Частично обоснованная закономерность знаний, или для связи между различными эмпирическими фактами, или для объяснения факта или группы фактов. В интеллектуальных системах Г. порождаются в процессе обучения систем (в частности, при обучении на примерах).

ГИПОТЕЗА КОМПАКТНОСТИ

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

ГЛУБИННАЯ СТРУКТУРА (предложения)

См. Структура глубинная.

ГРАММАТИКА

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

ГРАММАТИКА АВТОМАТНАЯ

Формальная грамматика, у которой правила вывода имеют вид
b1A1 ® b2A2, b1A1 ® b2
где A1, A2 - нетерминальные символы; b1, b2 - терминальные символы. Каждая Г.А. порождается некоторым конечным автоматом. И каждый конечный автомат задает некоторую Г.А.

ГРАММАТИКА КОНТЕКСТНО-ЗАВИСИМАЯ

См. Грамматика контекстно-связанная.

ГРАММАТИКА КОНТЕКСТНО-СВОБОДНАЯ

ГРАММАТИКА КОНТЕКСТНО-СВЯЗАННАЯ

Формальная грамматика, для которой существуют такие цепочки что и имеют место правила и К.С. обладают свойством сохранения длины цепочки. Цепочки, получаемые после применения любого правила, либо сохраняют длину исходной цепочки, либо увеличивают ее. Г.К.С. порождаются линейно-ограниченными автоматами. И для каждой Г.К.С. может быть построен воспроизводящий ее линейно-ограниченный автомат.

ГРАММАТИКА МАТРИЧНАЯ

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

ГРАММАТИКА НЕУКОРАЧИВАЮЩАЯ

См. Грамматика контекстно-связанная.

ГРАММАТИКА ПАДЕЖНАЯ

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

ГРАММАТИКА СЕТЕВАЯ

Грамматика расширенных сетей переходов - подкласс трансформационных грамматик. В настоящее время под Г.С. понимается упорядоченная тройка Fs = < V,Z N >, где V - описание лексиконов обрабатываемого языка; Z - описание нестандартных функций, повышающих эффективность обработки; N - описание расширенной сети переходов (специального графа, с помощью которого представляется анализатор языка).

ГРАММАТИКА ФОРМАЛЬНАЯ

Четверка , в которой S - аксиома Г.Ф.; A - множество нетерминальных символов; B - множество терминальных символов; P - правила вывода. Объектами, с которыми работает Г.Ф., являются цепочки, состоящие из терминальных и нетерминальных символов. Правила вывода имеют вид, где и цепочки символов. При этом содержит хотя бы один нетерминальный символ. Функционирование Г.Ф. всегда начинается с цепочки, состоящей из единственного символа S. Применение правила к цепочке заключается в замене всех вхождений (или только самого левого вхождения) в на . Процесс заканчивается, когда ни одно из правил вывода к данной цепочке неприменимо. Такие заключительные цепочки входят в язык, порождаемый данной Г.Ф. В синтаксически правильных Г.Ф. в язык входят только те цепочки, которые состоят полностью из терминальных символов. Г.Ф. широко используются в синтаксических моделях для естественных языков и в лингвистических процессорах. Они являются частным случаем формальных систем. В зависимости от ограничений, накладываемых на структуру правил вывода, выделяются различные типы Г.Ф.

ГРАФ

Пара (X, R), где X - множество, элементы которого переименованы и называются вершинами; R - бинарное отношение, заданное на X. Если между вершинами x1 О X и x2 О X существует отношение R, то тройка x1 R x2 называется ребром Г. Если отношение R несимметрично, то x1 R x2 называется дугой Г. Г. с ребрами называется неориентированным, а с дугами - ориентированным. Г. находят широкое применение в моделях интеллекта искусственного.

ГРАФИКА ДИНАМИЧЕСКАЯ

Направление в машинной графике, которое разрабатывает приемы и процедуры для воспроизведения на экране дисплея движущихся сцен. В Г.Д. используются многие средства, разработанные в мультипликационном (анимационном) кино, а также ряд приемов математического характера.

ГРАФИКА КОГНИТИВНАЯ

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

ГРАФИКА МАШИННАЯ

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

ДЕЙСТВИЕ

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

ДЕКОМПОЗИЦИЯ ЗАДАЧ

Разбиение задачи на подзадачи с последующим разбиением этих подзадач до получения базовых (элементарных) задач, для которых заранее известно решение. Д.З. применяется винтеллектуальных системах при создании систем автоматического программирования и при планировании поведения в пространстве задач. В более общем смысле Д.З. может служить для понимания размеренности решаемой задачи.

ДЕНОТАТ

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

ДЕРЕВО ВЫВОДА

Представление процедуры логического вывода в виде дерева, вершинами которого являются или исходные формулы, или формулы, полученные в процессе вывода.

ДЕРЕВО ДВОИЧНОЕ

Представление процесса поиска в виде дерева, каждая вершина которого связана со значением ключа поиска таким образом, что все меньшие ключи сосредоточены в ее левом поддереве, а все большие - в правом.

ДЕРЕВО ЗАВИСИМОСТЕЙ

Представление результата работы этапа синтаксического анализа в лингвистических процессорах в виде дерева разбора предложения, в вершинах которого стоят лексемы, соответствующие подлежащему, сказуемому, дополнению и т.п., а дуги указывают на связь между вершинами по управлению. Об этом говорит сайт https://intellect.icu . Используется на этапах глубинного синтаксического и семантического анализа предложения.

ДЕРЕВО РЕШЕНИЙ

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

ДЕРЕВО СОСТАВЛЯЮЩИХ

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

ДЕРЕВО ЦЕЛЕЙ

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

ДЕСИГНАТ

Специальное именующее выражение для денотатов, существующих во внешнем по отношению к данной системе мира. Все значения системы о денотатах фиксируются в виде знаний о Д. В ряде случаев Д. называют уникальным именем, меткой, ключом.

ДЕСКРИПТОР

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

ДЕФОЛТ

Наиболее типичное значение атрибута, приписываемое объекту, если его значение для этого объекта указано.

ДИЗЪЮНКТ

Выражение вида B1 Ú B2 Ú ... Ú Bn ¬ A1 & A2 &...& Am, где (&,Ú,¬ ) соответственно символы конъюнкции, дизъюнкции и импликации. Д. читается так: "Если A1, и A2, и, Am, то B1, или B2, или ,..., Bn". Правая или левая часть импликации может быть пустой. В этом случае Д. интерпретируется иначе. Для Д. вида B1 Ú B2 Ú ... Ú Bn интерпретация заключается в утверждении существования факта B1 Ú B2 Ú ... Ú Bn ; а для Д. вида ¬ A1 & A2 &...& Am интерпретация состоит в утверждении, что (A1 & A2 &...& Am). Если в Д. пусты левая и правая часть импликации, то он называется пустым. Д. используется в методе логического вывода, основанном на использовании резолюций, а также в языке программирования Пролог.

ДИЗЪЮНКТ БОКОВОЙ

Дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому.

ДИЗЪЮНКТ ПУСТОЙ

Пустое множество, возникающее при исчерпании исходного множества, дизъюнктов в случае успешного завершения процесса вывода, опирающегося на принцип резолюции.

ДИЗЪЮНКТ ХОРНА

Дизъюнкт, содержащий не более одной положительной литеры.

ДИЗЪЮНКЦИЯ

Логическая операция (связка) для n> 2 выражений. Результирующее выражение ложно только тогда, когда ложны исходные выражения. Для обозначения Д. стандартно используется знак Ú(реже +).

ДИСКУРС

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

ДИССОНАНС КОГНИТИВНЫЙ

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

ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ

Вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. Таковым не является, например, широко распространенный способ доказательства "от противного", используемый в классической математике.

ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ

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

ДОМЕН

Помещенная в базу данных совокупность значений некоторой информационной единицы. Д. определяется своим атрибутом.

ДОСКА ОБЪЯВЛЕНИЙ

Способ управления параллельно протекающими асинхронными процессами решения задач, при которых информация о закончившихся процессах и полученных результатах "вывешивается" на Д.О., к которой имеют независимый доступ все процессы (и/или программисты), ожидающие нужных результатов. Д.О. часто используется в экспертных системах, интеллектуальных роботах и других интеллектуальных системах.

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что выражение (A V ¬A) является тождественно истинным. З.И.Т. подвергался критике и отвергался логиками, стоящими на позиции интуиционистской математики и конструктивной математики.

ЗАКОН СНЯТИЯ ДВОЙНОГО ОТРИЦАНИЯ

Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что всегда имеет место равенство A=A.

ЗНАНИЯ

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

ЗНАНИЯ ДЕКЛАРАТИВНЫЕ

Знания, которые записаны в памяти интеллектуальной системы так, что они непосредственно доступны для использования после обращения к соответствующему полю памяти. В виде З.Д. обычно записывается информация о свойствах предметной области, фактах, имеющих в ней место и т.п. информация. По форме представления З.Д. противопоставляются процедурным знаниям.

ЗНАНИЯ О ПРЕДМЕТНОЙ ОБЛАСТИ

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

ЗНАНИЯ ПРАГМАТИЧЕСКИЕ

1.Знания о способах решения задач в заданной предметной области.
2. В естественном языке знания о прагматической компоненте текстов. (См. Модель пользователя, Фокус внимания).

ЗНАНИЯ ПРОЦЕДУРНЫЕ

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

ЗНАНИЯ ЭВРИСТИЧЕСКИЕ

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

ЗНАНИЯ ЭКСПЕРТНЫЕ

Знания, которыми располагает специалист в некоторой предметной области.

ЗНАЧЕНИЕ АТРИБУТА

Константа, приписанная атрибуту в базе данных.

ЗНАЧЕНИЕ ПО УМОЛЧАНИЮ

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

ЗРЕНИЕ МАШИННОЕ

Совокупность моделей и методов для выполнения техническими системами процедур, характерных для зрительного восприятия у живых организмов. В рамках З.М. решаются задачи выделения объектов из фона, их идентификация, ввод в промежуточную память, перекодировка во внутренние представления и т.п. Системы З.М. характерны для интеллектуальных роботов и другихинтеллектуальных систем.

И/ИЛИ ГРАФ

Ориентированный граф, обладающий свойствами: 1). При возбуждении (передаче информации) входных дуг, ведущих в некоторую вершину, реализуется либо конъюкция (И), либо дизъюнкция(ИЛИ). В первом случае вершина возбуждается (становится активной и принимает информацию) только тогда, когда возбуждены все дуги, входящие в нее. Во втором случае для возбуждения вершины достаточно возбуждения любой входящей в нее дуги. 2). При возбуждении вершины возбуждаются либо все выходящие из вершины дуги (И), либо только одна, выбираемая вершиной (исключающее ИЛИ для числа аргументов, равного числу выходящих дуг). Часто под И/ИЛИ г. понимают граф, для которого выполнено первое свойство, а для выходных дуг всегда имеет место И. И/ИЛИ г. широко используются в системах планирования целесообразного поведения автономных роботов и в других системах искусственного интеллекта.

ИДЕНТИФИКАЦИЯ

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

ИДЕНТИФИКАЦИЯ ЗНАНИЙ

Определение характеристик знаний, необходимых для решения задачи.

продолжение следует...

Продолжение:


Часть 1 Толковый словарь по искусственному интеллекту
Часть 2 АНАЛИЗАТОР СИНТАКСИЧЕСКИЙ - Толковый словарь по искусственному интеллекту
Часть 3 ИЗВЛЕЧЕНИЕ ЗНАНИЙ - Толковый словарь по искусственному интеллекту
Часть 4 МОДЕЛЬ ВЫЧИСЛИТЕЛЬНАЯ - Толковый словарь по искусственному интеллекту
Часть 5 ПОИСК АССОЦИАТИВНЫЙ - Толковый словарь по искусственному интеллекту
Часть 6 СИНТЕЗ ПРОГРАММ АВТОМАТИЧЕСКИЙ - Толковый словарь по искусственному интеллекту

создано: 2014-08-25
обновлено: 2023-12-11
132727



Рейтиг 9 of 10. count vote: 2
Вы довольны ?:


Поделиться:

Найди готовое или заработай

С нашими удобными сервисами без комиссии*

Как это работает? | Узнать цену?

Найти исполнителя
$0 / весь год.
  • У вас есть задание, но нет времени его делать
  • Вы хотите найти профессионала для выплнения задания
  • Возможно примерение функции гаранта на сделку
  • Приорететная поддержка
  • идеально подходит для студентов, у которых нет времени для решения заданий
Готовое решение
$0 / весь год.
  • Вы можите продать(исполнителем) или купить(заказчиком) готовое решение
  • Вам предоставят готовое решение
  • Будет предоставлено в минимальные сроки т.к. задание уже готовое
  • Вы получите базовую гарантию 8 дней
  • Вы можете заработать на материалах
  • подходит как для студентов так и для преподавателей
Я исполнитель
$0 / весь год.
  • Вы профессионал своего дела
  • У вас есть опыт и желание зарабатывать
  • Вы хотите помочь в решении задач или написании работ
  • Возможно примерение функции гаранта на сделку
  • подходит для опытных студентов так и для преподавателей



Комментарии


Оставить комментарий
Если у вас есть какое-либо предложение, идея, благодарность или комментарий, не стесняйтесь писать. Мы очень ценим отзывы и рады услышать ваше мнение.
To reply

Искусственный интеллект. Основы и история. Цели.

Термины: Искусственный интеллект. Основы и история. Цели.