Системы информационные /system of information

Не монотонность при выводе — свойство, характерное для вывода в открытой формальной системе и в открытой базе знаний и состоящее в том, что ранее выведенные

Модус Толленс — правило вывода в логике, которое утверждает: «Если верно A и BA, то верно B». Это правило используется в методе резолюций. [Толковый словарь

Модус Поненс — правила вывода, в логике которое утверждает: «Если выведены A и A®B, то B выводимо». [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.

Модель Крипке — одна из моделей логической семантики, используемая в искусственном интеллекте. В основе М.К. лежит представление о множестве возможных миров, каждый из которых задается

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

Мера правдоподобия — оценка истинности события или факта, значение которой получается дополнением до единицы значения функции доверия. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.

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

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