Логика эпистемиологическая
Логика эпистемиологическая — формальная система, в которой используются операторы типа «знает», «хочет», «верит» и т.п. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г.
Логика эпистемиологическая — формальная система, в которой используются операторы типа «знает», «хочет», «верит» и т.п. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г.
Логика рассуждений по умолчанию — рассуждения, в которых при отсутствии явной информации, необходимой для продолжения рассуждений, интеллектуальная система или человек обращаются к своей памяти и
Логика псевдофизическая — логика, отражающая восприятие субъектом или искусственной системой закономерностей внешней физической среды. Особенностью Л.П. является наличие размытых шкал, на которые проецируются объекты, с
Логика пространственная — формальная система, в которой использованы аксиомы, характерные для описания возможных расположений объектов в трехмерном (или двумерном) пространстве, расстояний между ними и локов.
Логика пропозициональная — логика, характерная для пропозиционального исчисления. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь,
Логика первого порядка — формальная система, в которой кванторы общности и существования могут связывать только индивидуальные переменные, но не могут связывать символы предикатов или иных
Логика немонотонная — логика открытого мира. В Л.Н. нарушается основной принцип монотонной логики. Если на некотором шаге вывода получено утверждение, то при поступлении в систему
Логика монотонная — логика замкнутого мира, эквивалентная некоторой формальной системы. В Л.М. действует принцип монотонности: если на некотором шаге вывода получено утверждение, то его истинность
Логика многозначная — логика, в которой в качестве значений истинности переменных выступают натуральные числа 0,1,…,k. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г.
Логика математическая — логика, основанная не на содержательной стороне высказываний, а на синтаксических категориях и их структурных (операционных) связях. В основе Л.М. лежит понятие формальной