<<<     ΛΛΛ     >>>   

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

МАШИНА СВЯЗЕЙ
Компьютер, состоящий из десятков и сотен тысяч параллельно работающих процессоров. Конструкция М.С. позволяет любому процессору связываться с любым другим процессором подобно абонентам телефонной станции. Быстродействие М.С. достигает десятков миллиардов операций в секунду.

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

МАШИНА, УПРАВЛЯЕМАЯ ПОТОКОМ ДАННЫХ
См. Архитектура потоковая.

МАШИННЫЙ ИНТЕЛЛЕКТ
См. Интеллект искуственный.

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

МЕРА ПРАВДОПОДОБИЯ
Оценка истинности события или факта, значение которой получается дополнением до единицы значения функции доверия.

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

МЕТАПРОДУКЦИЯ
Продукция, включаемая в систему продукций для указания порядка выполнения продукций, входящих в список готовых продукций.

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

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

МЕТОД ВЕТВЕЙ И ГРАНИЦ
Способ решения задач целочисленного линейного программирования и поисковых задач на древообразных структурах, использующий эвристические правила отсечения вариантов поиска на основании локальных оценок целесообразности дальнейшего поиска в данном направлении, формируемых в процессе реализации метода.

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

МЕТОД ОБРАТНОЙ ВОЛНЫ
См. Поиск нисходящий.

МЕТОД ПРЯМОЙ ВОЛНЫ
См. Поиск восходящий.

МЕХАНИЗМ ВЫВОДА
Совокупность правил вывода и стратегии управления выводом (применения этих правил). Крайним случаем М.Б. может быть произвольное применение правил вывода, как это делается в логических исчислениях.

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

МИМД-АРХИТЕКТУРА
Архитектура вычислительной системы с несколькими одинаковыми или разными параллельно работающими процессорами, каждый из которых выполняет свои команды над своими данными.

МНОЖЕСТВО НЕЧЕТКОЕ
Множество, характеристическая функция которого может принимать значения из отрезка [0,1]. Значение характеристической функции для некоторого элемента характеризует степень принадлежности этого элемента к множеству.

 <<<     ΛΛΛ     >>>   

Отношение антисимметриЧное термин объясняется в статье отношение симметричное
- множество априорно истинных элементов исчисления
Управляющей головки
ФункциЯ довериЯ функция
Структура падежнаЯ структура текста