№ п/п Термин (рус.) icon

№ п/п Термин (рус.)



Название№ п/п Термин (рус.)
страница1/2
Дата конвертации06.10.2012
Размер300.48 Kb.
ТипДокументы
  1   2


Overview

Лист1
Лист2


Sheet 1: Лист1

№ п/п Термин (рус.) Термин (англ.) Толкование
G.001 ассоциативное (множество) associative set Множества A, B и C называются ассоциативными, если выполняется равенство: (AB)C = A(BC).
G.002 коммутативное (множество) commutative set Множества A и B называют коммутативными, если выполняется равенство: AB = BA.
G.003 конкатенация catenation Операция «бесшовного» соединения двух строк друг с другом. Имеет различное обозначение. Операция конкатенации ассоциативна, но не коммутативна.
G.004 шаблон template См. регулярные выражения, метасимвол.
G.005 метасимвол meta symbol Символ, имеющий специальное значение в регулярных выражениях. Например, символ '*' означает «ноль или более повторений», символ '+' – «одно или более повторений». Сочетание символов и метасимволов определяет шаблон поиска. При поиске метасимволы играют роль нетерминальных символов.
G.006 регулярное выражение regular expression Символьная строка, содержащая метасимволы, используемая для операций поиска и замены текста в текстовом файле или в текстовой строке.
G.
007
поиск 1 find 1 Операция нахождения подстроки в строке текста по заданному образцу. Замена текста не производится. Подстрока-образец может представлять собой регулярное выражение.
G.008 замена replace Операция поиска подстроки в строке, с заменой найденного образца заранее определённым фрагментом текста. Подстрока может представлять собой регулярное выражение.
G.009 синтаксический разбор 1 syntax parsing 1 Построение синтаксического дерева по тексту.
G.010 синтаксический разбор 2 syntax parsing 2 Алгоритм, позволяющий определить, является ли исходный текст порождением одной из грамматик.
G.011 грамматический разбор 1 grammar parsing 1 (в узком смысле) Алгоритм, позволяющий определить, является ли данное предложение предложением определённого языка (например, английского), и какие части речи входят в него.
G.012 вывод 1 reduce 1, deduce 1 Процесс сопоставления исходного текста цели вывода путём применения правил формальной грамматики.
G.013 цель (вывода) goal Одно из правил (или нетерминальный символ), которому ищется соответствие в тексте. Целью может быть необязательно начальный символ грамматики
G.014 прямой вывод direct deduce Логический вывод, осуществляемый от терминального символа к цели вывода. Алгоритм прямого вывода строится либо на системе продукций, либо по прямой цепочке рассуждений
G.015 обратный вывод reverse deduce Логический вывод, доказывающий, существует ли для данной цели вывода цепочка правил, с помощью которой строится исходный текст.
G.016 семантический анализ semantic analysis Сопоставление успешно разобранному синтаксическому дереву «смысловых» значений. Значением может быть понимание текста в «человеческом» понимании, программа на ЭВМ и др.
G.017 семантическая сеть semantic net Условное построение, позволяющее создать «связи» между узлами сети с целью логического вывода, нахождения определённых значений для узлов сети, ответов на вопросы, задаваемых ЭВМ и т.п.
G.018 фрейм 1 frame 1 Расширение семантической сети. Фреймы содержат в себе «основные отношения» реального мира, на основе которого строятся «представление знаний» об этом мире. Недостающие элементы – описания фреймов определяются через цепочку сообщений между фреймами. По мнению американского учёного Минского, сознание человека также основано на фреймах.
G.019 ИИ AI См. искусственный интеллект.
G.020 искусственный интеллект artificial intelligence Совокупность алгоритмов, реализующих действия, ранее выполняемые только человеком. Искусственным интеллектом также называется часть информатики, алгебры и т.п., изучающая эти алгоритмы.
G.021 тест Тьюринга Turing's test Тест, по которому определяется «интеллектуальность» приложения. Он состоит в том, что эксперту предлагается общаться на определённую тему с человеком, затем с программой. Если эксперту не удалось найти разницу в «общении», значит, тест пройден. По состоянию на 01.06.2008 тест Тьюринга не прошла ни одна программа.
G.022 датамайнинг datamining Процесс извлечения и обработки данных из различных источников, чтобы создать документы для принятия решения.
G.023 факт fact Значение переменной или терма, принимающего участие в логическом выводе. Это значение может быть только терминальным символом. Пример факта; name("Галя").
G.024 правило 1 rule 1 Конструкция, ставящая в соответствие некоторым нетерминальным символам значения фактов. Правило имеет вид: «Если <факт> и <факт> то <нетерминальная переменная> = <значение>», или «дед(B, C) if отец(B, A) and отец(A, C)».
G.025 продукция production Аналог правила (1) в искусственном интеллекте, но термин используется в контексте «условие», а не «функция»;
G.026 решение decision Список значений переменных, полученных при доказательстве цели вывода.
G.027 алгоритм вывода reduction algorithm Стандартный алгоритм для логического вывода, не зависящий от вида количества и значения правил (1) и фактов. Это – антагонист алгоритма системы продукций и нейронных сетей. Примечание: существуют стандартные алгоритмы отдельно для прямого и обратного вывода.
G.028 система продукций system of productions Алгоритм логического вывода, результат которого зависит от количества и порядка расположения продукций. От алгоритма нейронных сетей он отличается безусловным характером правил.
G.029 нейронные сети neural net Система продукций, правила которых носят некоторую случайную, «вероятностную» составляющую, определяемую коэффициентом уверенности.
G.030 коэффициент уверенности (КУ) coefficient of a sure Численное значение, которое приблизительно отражает вероятностную составляющую логического вывода. Коэффициент уверенности меняется от «-1» (отрицание события, полученного в результате вывода) до «1» (безусловное наступление события в результате вывода). Значение «0» соответствует неопределённости события, полученного при выводе.
G.031 настройка нейронной сети test of neural net Процесс изменения порядка следования правил и изменения коэффициентов уверенности в нейронной сети с целью выдачи «адекватных результатов» работы приложений. Это – самый сложный этап тестирования программы – нейронной сети.
G.032 ПРОЛОГ PROLOG Расшифровывается как «PROgramming in LOGic» (программирование логики). Язык логического программирования, реализующий встроенный алгоритм обратного вывода. Для написания программы на нём необходимо задать только факты и правила.
G.033 формальная грамматика formal grammar Раздел алгебры, изучающий символьные операции, логический вывод над символьными данными, грамматики, синтаксические деревья, языки и т.п. Выводы формальной грамматики широко используются в искусственном интеллекте, в построении языков программирования.
G.034 алфавит alphabet Непустое конечное множество символов. На основе алфавита строятся остальные предложения грамматик.
G.035 слово 2 word 2 Всякая конечная последовательность символов алфавита.
G.036 цепочка chain Синоним слова.
G.037 пустая цепочка empty chain Цепочка, не содержащая символов алфавита (то есть состоящая только из «пустого» символа).
G.038 голова 1 (цепочки) head 1 (of chain) Один или несколько начальных символов в цепочке. Пустая голова – голова, представляющая собой пустую цепочку.
G.039 хвост (цепочки) tail Один или несколько последних символов цепочки. Пустой хвост – хвост, состоящий из «пустого» символа.
G.040 произведение (множеств цепочек) multiplication (of chain sets) Конкатенация всех цепочек, входящих в эти множества, в порядке их умножения. Произведение множеств ассоциативно, но не коммутативно.
G.041 степень цепочки power of a chain Если x – непустая цепочка, то n-я степень этой цепочки равна Пx n-раз, где П – операция конкатенации.
G.042 правила 2 подстановки rules of a redirection Представляют собой упорядоченную пару (U, x), которая записывается как U ::= x, где U – левая часть, а x – правая часть правила подстановки. И U, и x представляют собой цепочки.
G.043 терминальный символ terminal Символ, встречающийся только в правой части правил подстановки. Конечный тест состоит только из терминальных символов.
G.044 нетерминальный символ non-terminal Символ, встречающийся и в левой, и в правой части правил подстановки. В ходе вывода нетерминальные символы заменяются терминальными символами.
G.045 словарь vocabulary Алфавит, состоящий из терминальных и нетерминальных символов.
G.046 грамматика grammar Конечное, непустое множество правил подстановки, содержащий нетерминальный символ (называющийся «начальным символом грамматики») хотя бы раз на множестве правил.
G.047 порождение (цепочек) rising (of a chain) Говорят, что одна цепочка порождает другую, если существуют правила подстановки, с помощью которых левая часть правил приводится к правой части.
G.048 вывод 3 (цепочек) reduce 3 (of a chain) Говорят, что цепочка w выводится из v, если цепочка v порождает w.
G.049 сентенциальная форма sentential form Выводимая из начального символа грамматики цепочка символов.
G.050 предложение 1 sentence 1 Сентенциальная форма, состоящая только из терминальных символов.
G.051 язык 2 language 2 Подмножества множеств всех терминальных цепочек.
G.052 фраза phrase Часть цепочки символов называется фразой этой цепочки, если нетерминальный символ, порождающий эту фразу, входит в сентенциальную форму данной грамматики.
G.053 основа 1 (сентенциальной формы) base 1 (of sentential form) Самая левая фраза сентенциальной формы.
G.054 рекурсивная грамматика recursive grammar Грамматика, в которой хотя бы в одном из правил нетерминальный символ содержится одновременно в левой и правой части. Если рекурсивный символ находится в голове правой части, то грамматика леворекурсивная, а если в хвосте правой части – праворекурсивная.
G.055 бесконечный язык endless language Язык, содержащий бесконечное число предложений. Он порождается рекурсивной грамматикой.
G.056 узел node Терминальный или нетерминальный символ на синтаксическом дереве.
G.057 концевой узел terminal node Узел, не имеющих подчинённых узлов. Концевые узлы состоят из терминальных символов.
G.058 висящий узел pendant node Синоним концевого узла
G.059 куст узла bush Множество подчинённых данному узлу узлов.
G.060 концевой куст terminal bush Куст, все узлы которого – концевые узлы.
G.061 корень дерева root of tree Узел, не являющийся подчинённым никакому другому узлу. По-другому, корень – это начальный символ вывода, цель вывода.
G.062 лист leaf Синоним концевого узла.
G.063 ветвь branch Узел, не являющийся ни конечным узлом, ни корнем дерева.
G.064 сын son Подчинённый данному узлу узел.
G.065 отец parent Узел, которому подчинён другой узел.
G.066 братья brothers Все сыновья одного узла.
G.067 младший брат little brother Самый левый брат в синтаксическом дереве.
G.068 поддерево subtree Состоит из узлов дерева вместе с той частью дерева, которая исходит от него. Концевые узлы образуют фразу для корня этого поддерева.
G.069 неоднозначность 1 (предложения) ambiguity 1 (of a sentence) Предложение грамматики неоднозначно, если для его вывода существует, по крайней мере, два синтаксических дерева.
G.070 неоднозначная грамматика ambiguous grammar Грамматика считается неоднозначной, если она допускает неоднозначные (1) предложения. Доказано, что задача проверки грамматики на однозначность алгоритмически неразрешима.
G.071 классификация грамматик по Хомскому grammar classification by Chomsky По Хомскому существует 4 типа грамматик: тип 0 – грамматика с фразовой структурой, тип 1 – контекстно-зависимая грамматика, тип 2 – контекстно-свободная грамматика, тип 3 – регулярная грамматика. Их определения приведено в [[(Хомский) Chomsky N. Three models for the description of language, IREE Trans. Inform. Theory, vol. IT2 (1956) – 113-124.][- Кибернетический сборник, 2, М., ИЛ, 1961. – стр. 237-266]4]. На практике в основном используются контекстно-свободная и регулярная грамматики.
G.072 представление грамматик grammar notion Компактная запись правил и фактов для грамматик. Основными представлениями грамматик является Бэкусовская нормальная форма (БНФ, или формула Бэкуса-Наура), расширенная Бэкусовская нормальная форма (РБНФ) и регулярные выражения. Подробнее о БНФ и РБНФ читайте ([[g0000.shtm#g03]G.3. Представление грамматик]).
G.073 XML XML, extended markup language Расширенный язык разметки, предназначенный для создания сложных структур и других языков разметки.
G.074 язык 3 разметки markup language Язык разметки предназначен для выделения структуры текста отдельно от его содержания. Все языки разметки являются порождёнными от языка SGML. Примерами языков разметки являются языки HTML и XML.
G.075 DTD DTD, document type definition Определение типа документа. Файл, определяющий допустимые в XML-файле компоненты, атрибуты, элементы, и все правила, иерархии вложенности и т.п.
G.076 элемент XML XML element Синоним тега. Заключённые между знаками «<...>» идентификатор, определяющий имя элемента, вместе с его атрибутами. Предназначен для выделения структуры документа. Как правило. имеет завершающую часть, представляющую собой имя элемента между символами: «». Наиболее интересно применение XML для описания семантических сетей, фреймов, иерархических хранилищ данных с переменным числом полей и т.п.
G.077 тег 1 tag 1 Синоним элемента, но этот термин более распространён в языке HTML.
G.078 объявление элемента element declaration В DTD объявление элемента имеет синтаксис: «», где Имя_Элемента представляет собой имя соответствующего тега, а типом элемента может быть как тип #PCDATA, так и регулярные выражения из ранее (или позже) определённых элементов.
G.079 PCDATA PCDATA, parsed character data Распознанные символьные данные, полученные при работе анализатора лексем.
G.080 HTML HTML, hyper text markup language Язык гипертекстовой разметки, используемый в Интернете для создания веб-страниц. Разметка осуществляется при помощи тегов.

  1   2



Похожие:

№ п/п Термин (рус.) iconДокументы
1. /СЛОВАРЬ КОРАНА (РУС)/DOC/СЛОВА ИЗ СУРЫ 36 ЙА-СИН/Ч. 1.doc
2. /СЛОВАРЬ...

№ п/п Термин (рус.) icon№ п/п Термин
Термин, обозначающий, что программный продукт можно будет запускать не только на разных компьютерах, но и на различных компьютерных...
№ п/п Термин (рус.) iconДокументы
1. /Лабы 82 вариант/Инфаь1(рус).doc
2. /Лабы...

№ п/п Термин (рус.) iconМеждународное право (рус.) Международное право (рус.)
Нации и народы, борющиеся за свою свободу, независимость и создание собственной государственности
№ п/п Термин (рус.) iconДокументы
1. /Пробный Рус. яз/14.doc
2. /Пробный Рус....

№ п/п Термин (рус.) iconСтруктуры галактик и их преобразования Краткая история открытия и современные представления о галактиках
«островными вселенными». Но очевидно, что такое использование термина неуместно, поскольку понятие «Вселенная» включает в себя всё...
№ п/п Термин (рус.) iconДокументы
1. /ЛР1-6(рус)-КомпСети(СП)/ЛР1-6(рус)-КомпСети(СП).doc
2. /ЛР7(рус)-КомпСети(СП)/ЛР7(рус)-КомпСети(СП).doc
№ п/п Термин (рус.) iconСодержание Часть 1 Управление знаниями. 1 Глобальные системы обработки знаний – технология Semantic Web 26 Список литературы 32 Знаки в агентных системах 34 Метаязык 40
Сейчас все чаще употребляется термин «управление знаниями». Однако употребляется этот термин часто неоднозначно и по-разному. Начнем...
№ п/п Термин (рус.) iconПриказ №695 од г. Петровск, Саратовской области Об итогах межрегиональной конференции «Этот удивительный термин» в соответствии с протоколом заседания жюри межрегиональной конференции «Этот удивительный термин» №1 от 31. 10. 2011 г
Управление образования администрации петровского муниципального района саратовской области
№ п/п Термин (рус.) iconЕ. А. Тюгашев Термин «информация» в контексте классической метафизики: Мартин Хайдеггер – Николай Кузанский – Платон
Ля 2000 года лидерами стран «Большой восьмерки», официально определила курс международного сообщества на формирование глобального...
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов