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

Лекция



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

...

ИЗВЛЕЧЕНИЕ ЗНАНИЙ

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

ИИ-ПРОГРАММИРОВАНИЕ

Разработка инструментального программного обеспечения для решения задач искусственного интеллекта. В ИИ-П. создаются языки программирования, ориентированные на особенности задач искусственного интеллекта, интеллектуальные вспомогательные средства, языки представления знаний и манипулирования ими, пустые экспертные системы и оболочки и другие инструментальные средства.

ИЛЛОКУТИВНЫЙ ПОТЕНЦИАЛ

Коммуникативные возможности конкретного вида речевого акта. Например, возможность выражать вопрос, сомнение, просьбу вопросительным предложением типа "А разве вы не придете?".

ИЛЛОКУЦИЯ

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

ИМИТАЦИЯ ИНТЕЛЛЕКТУАЛЬНОГО ПОВЕДЕНИЯ

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

ИМИТАЦИЯ ПРОЦЕССОВ МЫШЛЕНИЯ

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

ИМПЛИКАЦИЯ

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

ИНДУКЦИЯ

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

ИНДУКЦИЯ НЕПОЛНАЯ (ЭМПИРИЧЕСКАЯ)

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

ИНДУКЦИЯ ПОЛНАЯ (МАТЕМАТИЧЕСКАЯ)

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

ИНЖЕНЕР ПО ЗНАНИЯМ

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

ИНЖЕНЕРИЯ ЗНАНИЙ

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

ИНТЕЛЛЕКТ ИСКУССТВЕННЫЙ

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

ИНТЕРВЬЮ

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

ИНТЕРПРЕТАЦИЯ

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

ИНТЕРФЕЙС

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

ИНТЕРФЕЙС ЕСТЕСТВЕННО-ЯЗЫКОВЫЙ

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

ИНТЕРФЕЙС ИНТЕЛЛЕКТУАЛЬНЫЙ

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

ИСКУССТВЕННЫЙ МОЗГ

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

ИСТОЧНИК ЗНАНИЙ

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

ИСЧИСЛЕНИЕ

Формальная система, задаваемая четверкой <Т,В,А,Р>, где Т - множество базовых символов исчисления; В - синтаксические правила, с помощью которых из элементов Т порождаются произвольные элементы; А - множество априорно истинных элементов исчисления (аксиомы исчисления); Р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.

ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ

См. Исчисление пропозициональное.

ИСЧИСЛЕНИЕ ГЕНЦЕНА

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

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ

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

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

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

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА

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

ИСЧИСЛЕНИЕ ПРОПОЗИЦИОНАЛЬНОЕ

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

ИСЧИСЛЕНИЕ СИТУАЦИОННОЕ

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

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

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

КАУЗАЦИЯ

Установление связи явлений или фактов. В строгой форме К. устанавливает причинно-следственные связи между явлениями или фактами. В более широком смысле К. устанавливает влияние одних явлений или фактов на другие. В этом более широком смысле К. отражает в моделях знаний в виде каузальных сетей и сценариев. При узком понимании К. в тех же моделях приводит кпричинно-следственным сетям.

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

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

КВАНТИФИКАЦИЯ

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

КВАНТОР ОБЩНОСТИ

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

КВАНТОР СУЩЕСТВОВАНИЯ

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

КЛАССИФИКАЦИЯ

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

КЛАСТЕРИЗАЦИЯ

Способ разбиения объектов или явлений на классы на основании некоторого отношения близости в пространстве признаков. См. Таксономия, Классификация.

КЛАУЗА

См. Дизъюнкт.

КОГИТОЛОГИЯ

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

КОГНИТИВНАЯ НАУКА

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

КОМПОНЕНТА ДЕКЛАРАТИВНАЯ

См. Знания декларативные.

КОНКАТЕНАЦИЯ

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

КОНСТРУКТ КЕЛЛИ

Униполярный или биполярный признак, пара альтернатив, параметр, шкала или пара противоположных отношений личности к объекту или какой-либо его стороне. К.Л. используется в моде репертуарных решеток, разработанных Келли и его последователями для выявления тех субъективных представлений, которыми люди руководствуются в своей профессиональной и обыденной деятельности. Эти подходы к выявлению субъективных знаний используются в инженерии знаний при приобретении знаний у профессионалов для заполнения баз знаний экспертных систем.

КОНЦЕПТ

См. Понятие.

КОНЪЮКЦИЯ

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

ЛИНГВИСТИКА ВЫЧИСЛИТЕЛЬНАЯ

См. Лингвистика компьютерная.

ЛИНГВИСТИКА КОМПЬЮТЕРНАЯ

Раздел лингвистики, задачей которого является исследование проблем, связанных с машинной обработкой текста: организацией естественно-языкового интерфейса, машинным переводом и реферированием, статистическим анализом словарей и текстов на ЭВМ, автоматическим распознаванием речи.

ЛИПС

Единица измерения производительности машины вывода (от англ. Logical Interence PerSecond), равная числу логических выводов, выполняемых в одну секунду. Как правило, для реализации одного логического вывода требуется от 10 до 100 команд ЭВМ.

ЛИТЕРА

Любая константа, переменная или ее отрицание.

ЛОГИКА

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

ЛОГИКА ВЕРОЯТНОСТНАЯ

Логика, в которой формулы оцениваются значениями , интерпретируемыми как вероятности того, что данная формула принимает значение "Истина". С правилами вывода в Л.В. связываются процедуры, позволяющие вычислять вероятностную оценку истинности выводимой формулы по известным оценкам истинности для формул-посылок.

ЛОГИКА ВЕРЫ

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

ЛОГИКА ВРЕМЕННАЯ

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

ЛОГИКА ВТОРОГО ПОРЯДКА

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

ЛОГИКА ДВОИЧНАЯ

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

ЛОГИКА ДЕЙСТВИЙ

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

ЛОГИКА ДЕОНТИЧЕСКАЯ

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

ЛОГИКА ДИНАМИЧЕСКАЯ

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

ЛОГИКА ЗДРАВОГО СМЫСЛА

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

ЛОГИКА ИНДУКТИВНАЯ

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

ЛОГИКА ИНТУИЦИОНИСТСКАЯ

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

ЛОГИКА КАУЗАЛЬНАЯ

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

ЛОГИКА КОМАНД

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

ЛОГИКА КОНСТРУКТИВНАЯ

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

ЛОГИКА МАТЕМАТИЧЕСКАЯ

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

ЛОГИКА МНОГОЗНАЧНАЯ

Логика, в которой в качестве значений истинности переменных выступают натуральные числа 0,1,...,k.

ЛОГИКА МОНОТОННАЯ

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

ЛОГИКА НЕМОНОТОННАЯ

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

ЛОГИКА НЕЧЕТКАЯ

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

ЛОГИКА НОРМ

См. Логика деонтическая.

ЛОГИКА ОЦЕНОК

См. Логика деонтическая.

ЛОГИКА ПЕРВОГО ПОРЯДКА

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

ЛОГИКА ПРОПОЗИЦИОНАЛЬНАЯ

Логика, характерная для пропозиционального исчисления.

ЛОГИКА ПРОСТРАНСТВЕННАЯ

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

ЛОГИКА ПСЕВДОФИЗИЧЕСКАЯ

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

ЛОГИКА РАЗМЫТАЯ

См. Логика нечеткая.

ЛОГИКА РАССУЖДЕНИЙ ПО УМОЛЧАНИЮ

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

ЛОГИКА ЭПИСТЕМИОЛОГИЧЕСКАЯ

Формальная система, в которой используются операторы типа "знает", "хочет", "верит" и т.п.

ЛОК

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

ЛОКУЦИЯ

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

"ЛЯМБДА" - ИСЧИСЛЕНИЕ

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

МАШИНА АБСТРАКТНАЯ

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

МАШИНА БАЗ ДАННЫХ

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

МАШИНА БАЗ ЗНАНИЙ

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

МАШИНА ВИРТУАЛЬНАЯ

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

МАШИНА ПАРАЛЛЕЛЬНОГО ВЫВОДА

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

МАШИНА ПОСТА

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

МАШИНА СВЯЗЕЙ

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

МАШИНА ТЬЮРИНГА

Абстрактная машина, состоящая из бесконечной в одну сторону ленты, разделенной на клетки, и управляющей головки, которая может передвигаться вдоль ленты. Символы входного алфавита, включающие пустой символ, могут размещаться на ленте по одному в клетке. Управляющая головка может находится в одном из конечного числа внутренних состояний, один из которых является особым. Оно соответствует выключению М.Т. Каждый шаг работы состоит в том, что управляющая головка по паре (наблюдаемый символ в клетке ленты, против которой находится управляющая головка; - внутреннее состояние головки) вырабатывает тройку (новое содержимое клетки - новое внутреннее состояние головки - сдвиг головки на одну клетку влево или вправо или сохранение положения головки). Работа М.Т. заканчивается, когда управляющая головка переходит в состояние конца работы. Начальное заполнение ленты и начальное положение управляющей головки вместе с ее начальным состоянием задаются извне. Действия М.Т. на каждом шага определяются конечной таблицей, размер которой соответствует числу символов внешнего алфавита и числу внутренних состояний головки. М.Т. является моделью универсального вычислительного процесса, так как можно построить универсальную М.Т., которая будет имитировать работу любой конкретной М.Т. В этом смысле универсальная М.Т. может рассматриваться как математическая модель ЭВМ, построенной по традиционной архитектуре. М.Т. является одним из возможных уточнений понятия известным в дискретной математике. Языки, порождаемые в результате работы М.Т., называются рекурсивно-перечисленними.

МАШИНА, УПРАВЛЯЕМАЯ ПОТОКОМ ДАННЫХ

См. Архитектура потоковая.

МАШИННЫЙ ИНТЕЛЛЕКТ

См. Интеллект искуственный.

МЕНЮ

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

МЕРА ПРАВДОПОДОБИЯ

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

МЕТАЗНАНИЕ

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

МЕТАПРОДУКЦИЯ

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

МЕТАФОРА

Перенесение свойств одного предмета (явления) на другой на основании признака, общего для обоих сопоставляемых предметов ("говор волн", "брожение умов")

МЕТАЯЗЫК

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

МЕТОД ВЕТВЕЙ И ГРАНИЦ

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

МЕТОД ИНТЕРВЬЮ

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

МЕТОД ОБРАТНОЙ ВОЛНЫ

См. Поиск нисходящий.

МЕТОД ПРЯМОЙ ВОЛНЫ

См. Поиск восходящий.

МЕХАНИЗМ ВЫВОДА

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

МЕХАНИЗМ НАСЛЕДОВАНИЯ

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

МИМД-АРХИТЕКТУРА

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

МНОЖЕСТВО НЕЧЕТКОЕ

Множество, характеристическая функция которого может принимать значения из отрезка [0,1]. Значение характеристической функции для некоторого элемента характеризует степень принадлежности этого элемента к множеству.

МОДЕЛЬ

Объект (реальный, знакомый или воображаемый), отличный от исходного, но способный заменить его и в рамках решаемых задач.

МОДЕЛЬ АССОЦИАТИВНАЯ

Модель процесса решения задачи человеком,

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

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


Часть 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

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

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