Словарь

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

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

Логика пропозициональная — логика, характерная для пропозиционального исчисления. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь,

Логика немонотонная — логика открытого мира. В Л.Н. нарушается основной принцип монотонной логики. Если на некотором шаге вывода получено утверждение, то при поступлении в систему

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

Логика многозначная — логика, в которой в качестве значений истинности переменных выступают натуральные числа 0,1,…,k. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г.

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

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

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