Промышленные автоматизированные системы /Automation of construction production and building materials industry

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

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

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

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

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

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

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

Логика здравого смысла — совокупность рассуждений имеющая хождение в быту и отражающая систему ценностей, мотивы поступков и цели людей. В интеллектуальных системах Л.З.С. используется в

Липс — единица измерения производительности машины вывода (от англ. Logical Interence PerSecond), равная числу логических выводов, выполняемых в одну секунду. Как правило, для реализации одного