|
<<< ΛΛΛ >>>
ЛОГИКА НОРМ
См. Логика деонтическая.
ЛОГИКА ОЦЕНОК
См. Логика деонтическая.
ЛОГИКА ПЕРВОГО ПОРЯДКА
Формальная система, в которой кванторы общности и существования могут связывать только индивидуальные переменные, но не могут связывать символы предикатов или иных функциональных символов.
ЛОГИКА ПРОПОЗИЦИОНАЛЬНАЯ
Логика, характерная для пропозиционального исчисления.
ЛОГИКА ПРОСТРАНСТВЕННАЯ
Формальная система, в которой использованы аксиомы, характерные для описания возможных расположений объектов в трехмерном (или двумерном) пространстве, расстояний между ними и локов. Л.П. позволяют проводить рассуждения о пространственном расположении и взаимосвязи объектов для случая абсолютной и относительной системы координат и для случая, когда такие переменные, как расстояние, размер лока или характеристики взаимного расположения предметов, заданы в виде лингвистических переменных. В Л.П. выделяют логику расстояний и логику взаимного положения предметов в метрическом и топологическом (размытом) вариантах.
ЛОГИКА ПСЕВДОФИЗИЧЕСКАЯ
Логика, отражающая восприятие субъектом или искусственной системой закономерностей внешней физической среды. Особенностью Л.П. является наличие размытых шкал, на которые проецируются объекты, с которыми имеет дело логика. Примерами Л.П. являются временная логика, пространственная логика, логика действий и др.
ЛОГИКА РАЗМЫТАЯ
См. Логика нечеткая.
ЛОГИКА РАССУЖДЕНИЙ ПО УМОЛЧАНИЮ
Рассуждения, в которых при отсутствии явной информации, необходимой для продолжения рассуждений, интеллектуальная система или человек обращаются к своей памяти и используют содержащуюся в ней информацию, предназначенную для тех случаев, когда нужная информация отсутствует. Введение механизма умолчаний приводит к тому, что Л.Р.У. становится немонотонной логикой. Л.Р.У. широко используется в открытых базах данных и базах знаний.
ЛОГИКА ЭПИСТЕМИОЛОГИЧЕСКАЯ
Формальная система, в которой используются операторы типа "знает", "хочет", "верит" и т.п.
ЛОК
Ограниченная часть пространства, в котором полностью помещается некоторый объект, чьи внешние границы совпадают с границами Л. Понятие Л. используется в пространственной логике.
ЛОКУЦИЯ
Одна из составляющих речевого акта - собственное говорение, характеризуемое дикцией, скоростью речи, ее правильностью и т.п., без учета намерений говорящего и достигаемого при этом эффекта. Две другие составляющие - иллокуция и перлокуция.
"ЛЯМБДА" - ИСЧИСЛЕНИЕ
Исчисление, в котором используется операция функциональной абстракции (конверсии) xM, задающая функцию, значения которой для любого аргумента получаются подставной этого аргумента вместо x во все его вхождения в М. Такие исчисления широко применяются в формальных моделях баз данных. машина абстрактная abstract machine
машина баз данных data base machine
машина баз знаний knowledge base machine
машина виртуальная virtual machine
машина параллельного вывода parallel inference machine
машина Поста Post machine
машина связей connection machine
машина Тьюринга Turing machine
машина, управляемая потоком данных data flow machine
машинный интеллект
меню menu
мера правдоподобия plausibility measure
метазнание meta-knowledge
метапродукция meta-production
метафора metaphor
метаязык meta-language
метод ветвей и границ branch-and-bound method
метод интервью interview method
метод обратной волны
метод прямой волны
механизм вывода inference mechanism
механизм наследования inheritance mechanism
МИМД архитектура MIMD architecture
множество нечеткое fuzzy set
модель model
модель ассоциативная associative model
модель вычислительная computational model
модель замкнутая closed model
модель знаний knowledge model
модель когнитивная cognitive model
модель концептуальная conceptual model
модель Крипке Kripke model
модель лабиринтная labyrinth model
модель лингвистическая linguistic model
модель логико-лингвистическая logical-linquistic model
модель логическая logical model
модель мира world model
модель обучения learning model
модель общения communication model
модель открытая open model
модель поведения
модель пользователя user model
модель реляционная relational model
модель сетевая network model
модель ситуаций situational model
модель сознания
модель стимул-реакция SR-model (stimulus-reaction model)
модель течения диалога
модель формальная formal model
модель языка language model
модус поненс modus ponens
модус толленс modus tollens
монотонность при выводе
МАШИНА АБСТРАКТНАЯ
Теоретическая конструкция, в которой отражаются все формальные аспекты функционирования некоторого реального или гипотетического устройства. Примерами М.А. могут служить конечный автомат, машина Поста, машина Тьюринга и многие другие модели, изучаемые в математике, кибернетике, искусственном интеллекте и других науках.
МАШИНА БАЗ ДАННЫХ
Блок управления базой данных в информационных системах. Специализированный процессор с собственной памятью, выполняющий обработку запросов.
МАШИНА БАЗ ЗНАНИЙ
Блок управления базой знаний в машине пятого поколения. Специализированный процессор (система процессоров), выполняющий обработку запросов и формирование ответов в некоторой предметной области на основе использования совокупностей фактов и знаний о предметной области, представляемых в виде правил, а также механизмов вывода.
МАШИНА ВИРТУАЛЬНАЯ
Абстрактная машина (комплекс программных средств), с помощью которой для пользователя имитируется гипотетическая ЭВМ, обладающая практически неограниченной оперативной памятью и расширяемым набором команд. М.В. использует для имитации конечную оперативную память и базовый набор команд.
МАШИНА ПАРАЛЛЕЛЬНОГО ВЫВОДА
Специализированный процессор (система процессоров), реализующий параллельно основные операции, характерные для вывода на знаниях.
МАШИНА ПОСТА
Абстрактная машина, состоящая из бесконечной в обе стороны ленты, разделенной на клетки, и управляющей головки. Клетки ленты могут быть пустыми или отмеченными специальным символом. Вдоль клетки перемещается управляющая головка. За один такт работы М.П. выполняет одну из шести базовых команд: сдвиг управляющей головки на одну клетку влево, аналогичный сдвиг на одну клетку вправо, вписывание отмечающего символа в пустую клетку, условный переход и остановку. Из последовательности перенумерованных натуральными числами таких команд образуются программы функционирования М.П. Перед началом работы М.П. необходимо заполнить нужные клетки ленты отмечающими символами и расположить управляющую головку против некоторой клетки. После этого М.П. будет выполнять команду программы с номером один. Если это не команды сдвига или прекращения работы, то следующая выполняемая команда программы после данной определяется специальными указателями (отсылками), входящими в каждую команду записи и стирания отмечающих символов. В команде условного перехода выбор новой команды зависит от того, содержит обозреваемая в этом такте работы клетка пустоту или она отмечена символом. В зависимости от ситуации происходит переход к программе указанной в команде условного перехода. М.П. по результатам работы эквивалентна машине Тьюринга, но функционирование ее более медленное. Как и машина Тьюринга, М.П. служит для уточнения интуитивного понятия алгоритма.
<<< ΛΛΛ >>>
Ship function функция принадлежности membe
Где т множество базовых символов исчисления
В основе которой лежит формальная система
Толковый словарь по искусственному интеллекту современной науки 9 программ
Логика второго порЯдка формальная система
|
