| машина виртуальная | Абстрактная машина (комплекс программных средств), с помощью которой для пользователя имитируется гипотетическая эвм, обладающая практически неограниченной оперативной памятью и расширяемым наборо... |
| машина поста | Абстрактная машина, состоящая из бесконечной в обе стороны ленты, разделенной на клетки, и управляющей головки. клетки ленты могут быть пустыми или отмеченными специальным символом. вдоль клетки п... |
| машина тьюринга | Абстрактная машина, состоящая из бесконечной в одну сторону ленты, разделенной на клетки, и управляющей головки, которая может передвигаться вдоль ленты. символы входного алфавита, включающие пуст... |
| автомат инициальный | Автомат с заранее фиксированным внутренним состоянием в начале работы. |
| автомат стековый | Автомат, память которого организована в виде стека, в котором запоминается последовательность входных символов с сохранением порядка их поступления. считывание информации из стека производится по ... |
| автомат конечный | Автомат, работа которого определяется двумя функциями: |
| автомат детерминированный | Автомат, у которого в любой такт работы набор входных символов и внутреннее состояние однозначно определяет набор выходных символов и внутреннее состояние 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), равная числу логических выводов, выполняемых в одну секунду. как правило, для реализации одного логическо... |
| формула общезначимая | Замкнутая формула, сохраняющая тождественную истинность при всех интерпретациях. |
| метазнание | Знание интеллектуальной системы о знаниях, которой хранятся в ее базе знаний, или о процедурах, которые можно совершать с хранящимися в базе знаний. введение м. - процесс рекурсивный. м. в текстах... |
| составляющая знаний интенсиональная | Знания о предметной области, которые отражают факты, закономерности, свойства и характеристики, справедливые для любых конкретных ситуаций, которые могут возникнуть в этой предметной области. |
| составляющая знаний экстенсиональная | Знания о предметной области, отражающие факты, закономерности, свойства и характеристики, типичные для конкретных ситуаций или классов однотипных ситуаций, которые могут возникнуть в этой области.... |
