Глоссарий





Новости переводов

29 ноября, 2022

You don`t say

29 ноября, 2022

Разница между русским и английским языком. Часть I.

28 ноября, 2022

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

28 ноября, 2022

Бразильский португальский язык

28 ноября, 2022

Перевод на мексиканский испанский язык

25 ноября, 2022

Русско-турецкий словарь юридической лексики

24 ноября, 2022

Знаки препинания в арабском языке



Глоссарии и словари бюро переводов Фларус

Поиск в глоссариях:  

Глоссарий по искусственному интеллекту





машина виртуальная
    Абстрактная машина (комплекс программных средств), с помощью которой для пользователя имитируется гипотетическая эвм, обладающая практически неограниченной оперативной памятью и расширяемым наборо...
машина поста
    Абстрактная машина, состоящая из бесконечной в обе стороны ленты, разделенной на клетки, и управляющей головки. клетки ленты могут быть пустыми или отмеченными специальным символом. вдоль клетки п...
машина тьюринга
    Абстрактная машина, состоящая из бесконечной в одну сторону ленты, разделенной на клетки, и управляющей головки, которая может передвигаться вдоль ленты. символы входного алфавита, включающие пуст...
автомат инициальный
    Автомат с заранее фиксированным внутренним состоянием в начале работы.
автомат стековый
    Автомат, память которого организована в виде стека, в котором запоминается последовательность входных символов с сохранением порядка их поступления. считывание информации из стека производится по ...
автомат конечный
    Автомат, работа которого определяется двумя функциями:
автомат детерминированный
    Автомат, у которого в любой такт работы набор входных символов и внутреннее состояние однозначно определяет набор выходных символов и внутреннее состояние a.д. в последующем такте работы.
автомат недетерминированный
    Автомат, у которого в некоторые такты работы набор входных символов и внутреннее состояние задают альтернативный выбор набора выходных символов и/или внутреннего состояния а.н. в последующем такте...
автомат стохастический
    Автомат, у которого вместо функций переходов и выходов в общем случае задаются распределения вероятностей дискретного типа. для переходов задаются вероятности hij, характеризующие вероятность смен...
автомат бесконечный
    Автомат, у которого множество внутренних состояний является счетным, в частности, машина поста и машина тьюринга.
синтез программ дедуктивный
    Автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства сущес...
синтез программ индуктивный
    Автоматический синтез программ опирающийся на нахождение общих для заданного множества примеров процедур, ведущих к решению задачи. с.п.и. может осуществляться на синтаксическом уровне, когда испо...
синтез программ трансформационный
    Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. с.п.т. обычно...
синтез программ автоматический
    Автоматическое построение программ по исходным условиям задачи. формально задача с.п.а. может быть поставлена следующим образом: по заданному значению х, удовлетворяющему предикату р (х), вычислит...
робот интеллектуальный
    Автономный робот, в котором имеются все основные блоки, характерные для интеллектуальной системы. с их помощью реализуются функции общения р.и. с внешними партнерами, строятся программы поведения,...
система дедуктивная
    Аксиоматическая система, в которой имеет место теорема дедукции, обеспечивающая вывод всего множества выражений, которое допускается аксиомами и правилами вывода (и только ими). при этом предполаг...
архитектура параллельная
    Архитектура вычислительной системы в которой одновременно выполняются одинаковые или различные операции над несколькими группами данных. см. также симд-архитектура и мимд-архитектура.
архитектура потоковая
    Архитектура вычислительной системы ориентированном на управление вычислительным процессом с помощью потока данных или потока запросов. в первом случае выполнение каждой операции инициируется содер...
мимд-архитектура
    Архитектура вычислительной системы с несколькими одинаковыми или разными параллельно работающими процессорами, каждый из которых выполняет свои команды над своими данными.
симд-архитектура
    Архитектура вычислительной системы с несколькими одинаковыми параллельно работающими процессорами, каждый из которых выполняет один и тот же поток команд над своими данными. симд-архитектура часто...
архитектура конвейерная
    Архитектура вычислительной системы, состоящая из цепочки параллельно работающих процессоров, взаимодействующих таким образом, что выход одного из процессоров цепочки подключен к входу следующего п...
структура однородная
    Архитектура новых поколений эвм, образованная одинаковыми активными элементами или процессорами, соединенными между собой однотипным образом (например, расположенных на поверхности тора при регуля...
база данных сетевая
    База данных, в которой информационные единицы связаны между собой отношениями типа "один к одному", "один к многим" и "многие к многим".
база данных реляционная
    База данных, в которой информационные единицы связаны между собой отношениями типа "один к одному", снабжены атрибутами и для представления отношений используется запись в виде таблиц.
база данных иерархическая
    База данных, в которой между информационными единицами введены отношения вида "элемент-класс", "тип-подтип" и т.п., с помощью которых образуются иерархические классификации хранящихся в базе инфор...
база данных экстенсиональная
    База данных, в которой хранятся лишь константные факты о внешнем мире.
база знаний интенсиональная
    База знаний, в которой описаны общие закономерности, характерные для некоторой проблемной области, а также способы постановки и решения задач в этой области.
база знаний открытая
    База знаний, позволяющая в процессе ее функционирования пополнять содержимое базы и убирать знания из базы. свойство открытости приводит к тому, что вывод в такой базе является немонотонным, т.е. ...
база знаний замкнутая
    База знаний, содержимое которой в процессе функционирования не изменяется. логический вывод в такой базе эквивалентен выводу в формальной системе и обладает свойством монотонности, т.е. ранее выве...
машина баз данных
    Блок управления базой данных в информационных системах. специализированный процессор с собственной памятью, выполняющий обработку запросов.
машина баз знаний
    Блок управления базой знаний в машине пятого поколения. специализированный процессор (система процессоров), выполняющий обработку запросов и формирование ответов в некоторой предметной области на ...
восприятие тактильной информации
    В интеллектуальных роботах обработка сигналов, поступающих от датчиков, меряющих кинематические характеристики для эффекторов робота, и от специальных датчиков, измеряющих усилия, связанные с взят...
структура познавательная
    В искусственном интеллекте - модель, в которой происходит соотнесение объектов действительности с их внутренним представлением в памяти интеллектуальной системы. с.п. не зависит от особенностей яз...
понимание естественного языка
    В искусственном интеллекте - совокупность моделей и процедур, с помощью которых в интеллектуальных системах происходит соотнесение поступающего текста на естественном языке с фрагментами знаний из...
модель сознания
    В искусственном интеллекте - совокупность процедур и декларативных описаний, с помощью которых в интеллектуальных системах имитируется та часть сознательной деятельности человека, которая поддаетс...
модель языка
    В лингвистике - формализованное представление знаний о языке. как правило, включает морфологический, синтаксический, семантический и прагматический компоненты, которые также могут разделяться на б...
квантификатор
    В узком смысле - это указатель на область истинности некоторого утверждения. примерами к. в этом смысле могут служить лексемы: "всегда", "почти никогда", "для многих", "примерно в половине случаев...
правило синтаксическое
    В формальной системе правило, которое определяет способ формирования синтаксически правильных выражений. в лингвистике п.с. позволяют отделять синтаксически правильные предложения данного языка от...
анализ протокольный
    Ведение протокола с экспертом при приобретении знаний, в котором каким-либо образом фиксируется весь диалог (запись на магнитный носитель, стенографирование и т.п.).
рассуждение автоэпистимическое
    Вид немонотонного вывода когда выводимость утверждения зависит от контекста, в рамках которого оно существует. примерами р.а. могут служить многочисленные в человеческой практике исключения из общ...
обучение на примерах
    Вид обучения, при котором индивиду или интеллектуальной системе предъявляется набор положительных и отрицательных примеров, связанных с какой-либо заранее неизвестной закономерностью. в интеллекту...
логика веры
    Вид эпистимической логики, в которой все утверждения снабжаются квантификаторами, оценивающими степень правдоподобности этих утверждений.
противоречивость абсолютная
    Возможность одновременного вывода в формальной системе утверждения и его отрицания. в такой формальной системе можно вывести любые утверждения по правилу модус поненс.
имитация процессов мышления
    Воспроизведение программы путем или с помощью специальной аппаратуры отдельных процессов, характерных для мышления человека и животного (распознавание ситуаций, принятие решений о своем поведении,...
имитация интеллектуального поведения
    Воспроизведение процедур формирования целенаправленного поведения человека и животных в внешнем мире в зависимости от возникающих в нем ситуаций. для и.и.п. разрабатываются специальные модели и ме...
вывод индуктивный
    Вывод "от частного к общему". позволяет на основании обобщения частных примеров некоторого явления выдвинуть гипотезу о существовании общей закономерности. в интеллектуальных системах, использующи...
вывод абдуктивный
    Вывод на основании абдукции.
доказательство конструктивное
    Вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. таковым не является, например, широко распространенный способ доказательства ...
вывод прямой
    Вывод, ведущий от исходных аксиом к целевому выражению. при в.п. из-за неоднозначности выбора применимы аксиом и правил вывода образуется дерево решений и процесс нахождения цепочки, ведущей от ис...
вывод на знаниях
    Вывод, использующий в качестве посылок выражения, хранящиеся в базе знаний в.н.з. может быть достоверным, если эти выражения являются достоверным, или правдоподобным или снабжены оценками правдопо...
вывод по аналогии
    Вывод, основанный на перенесении рассуждения из исследованной области на другую область, похожую на исследованную. если имеется вывод a ® b, и область, в которой определено a, гомоморфна области, ...
вывод естественный
    Вывод, полученный на основании "здравого смысла". в.е. может либо соответствовать логическому выводу в некоторой формальной системе (но быть для человека очевидным), либо опираться на соображения,...
вывод нечеткий
    Вывод, при котором используются нечеткие кванторы или значения функций принадлежности. при нечетких кванторах правила вывода определяют тот квантор, который следует приписать результату при заданн...
вывод вероятностный
    Вывод, при котором каждое выражение, используемое в нем, имеет оценку правдоподобия в виде вероятности того, что оно является истинным. при в.в. применяются специальные процедуры для вычисления ве...
вывод правдоподобный
    Вывод, при котором каждый шаг сопровождается вычислением оценки достоверности полученного утверждения. частными случаями в.п. является, например, вывод вероятностный и вывод индуктивный.
вывод немонотонный
    Вывод, при котором нарушается свойство монотонности при выводе.
вывод обратный
    Вывод, при котором поиск доказательства начинается с целевого утверждения. выясняются условия, при которых целевое утверждение является выводимым. эти условия принимаются за новые целевые утвержде...
вывод интуиционистский
    Вывод, характерный для интуиционистской логики, не использующий, в частности, закон снятия двойного отрицания и закон исключенного третьего.
формула замкнутая
    Выражение в формальной системе в котором либо нет переменных, либо переменные являются связанными квантификаторами.
формула открытая
    Выражение в формальной системе, в которое входит хотя бы одна переменная, не связанная квантификатором.
дизъюнкт
    Выражение вида b1 Ú b2 Ú ... Ú bn ¬ a1 & a2 &...& am, где (&,Ú,¬ ) соответственно символы конъюнкции, дизъюнкции и импликации. д. читается так: "если a1, и a2, и, am, то b1, ил...
формула атомарная
    Выражение вида н(t1, t2,..., tm), где н - m-местный предикат, ti - термы.
пресупозиция
    Высказывание, истинность которого является предпосылкой истинности или ложности другого высказывания. например, два высказывания "кеплер умер в нищете" и "кеплер умер не в нищете" имеют одну и ту ...
высказывание атомарное
    Высказывание, структура которого далее не расчленяема. в формальных системах в.а. соответствуют базовые элементы. интерпретация истинности в.а. задается для формальной системы извне и на этой осно...
система мультипроцессорная
    Вычислительная система, состоящая из большого числа процессорных модулей (элементов), в совокупности решающих сложную задачу. на организацию работы с.м. существенное влияние оказывает используемая...
модель когнитивная
    Гипотетическая модель, описывающая устройство когнитивной структуры (структуры знаний у человека). для интеллектуальных систем м.к. совпадает с моделью знаний.
структура когнитивная
    Гипотетическая структура, с помощью которой отображаются и хранятся в памяти человека знания об окружающем мире, возможных действиях в нем и о самом человеке. с.к. изучается в когнитивной психолог...
искусственный мозг
    Гипотетическое устройство, способное заменить мозг человека и (или) реализовать все функциональные свойства, известные о мозге. в искусственном интеллекте под и.м. понимают повторение искусственны...
грамматика падежная
    Грамматика предикатно-аргументной структуры предложения. аргументами такой структуры являются имена, для которых можно указать глубинные падежи (обобщенные отношения между содержанием глагола и со...
грамматика сетевая
    Грамматика расширенных сетей переходов - подкласс трансформационных грамматик. в настоящее время под г.с. понимается упорядоченная тройка fs = < v,z n >, где v - описание лексиконов обрабатываемог...
дизъюнкт боковой
    Дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому.
дизъюнкт хорна
    Дизъюнкт, содержащий не более одной положительной литеры.
липс
    Единица измерения производительности машины вывода (от англ. logical interence persecond), равная числу логических выводов, выполняемых в одну секунду. как правило, для реализации одного логическо...
формула общезначимая
    Замкнутая формула, сохраняющая тождественную истинность при всех интерпретациях.
метазнание
    Знание интеллектуальной системы о знаниях, которой хранятся в ее базе знаний, или о процедурах, которые можно совершать с хранящимися в базе знаний. введение м. - процесс рекурсивный. м. в текстах...
составляющая знаний интенсиональная
    Знания о предметной области, которые отражают факты, закономерности, свойства и характеристики, справедливые для любых конкретных ситуаций, которые могут возникнуть в этой предметной области.
составляющая знаний экстенсиональная
    Знания о предметной области, отражающие факты, закономерности, свойства и характеристики, типичные для конкретных ситуаций или классов однотипных ситуаций, которые могут возникнуть в этой области....