Логика конструктивная
Логика конструктивная — логика, в которой разрешены лишь конструктивные доказательства. Л.К. лежат в основе конструктивной математики, тесно связанной с проблемами вычислимости на ЭВМ и других
Логика конструктивная — логика, в которой разрешены лишь конструктивные доказательства. Л.К. лежат в основе конструктивной математики, тесно связанной с проблемами вычислимости на ЭВМ и других
Логика команд — логика, в которой в качестве операторов используются различные императивы. Близка к логике действий. Используется в интеллектуальных роботах и других интеллектуальных системах. [Толковый
Логика каузальная — логика, в которой отношения характеризуют типы связей, совпадающие с причинно-следственными или близкие к ним по содержанию. [Толковый словарь по искусственному интеллекту /
Логика индуктивная — формальная система, описывающая правила формирования общих утверждений на основе конечного множества частных утверждений. В Л.И. все утверждения взвешиваются оценками правдоподобности, характеризующими истинность
Логика здравого смысла — совокупность рассуждений имеющая хождение в быту и отражающая систему ценностей, мотивы поступков и цели людей. В интеллектуальных системах Л.З.С. используется в
Логика динамическая — система рассуждений, в явной форме учитывающая динамику объектов, к которым прилагаются эти рассуждения. Если время входит в рассуждение в явной форме, то
Липс — единица измерения производительности машины вывода (от англ. Logical Interence PerSecond), равная числу логических выводов, выполняемых в одну секунду. Как правило, для реализации одного
Лингвистика компьютерная — раздел лингвистики, задачей которого является исследование проблем, связанных с машинной обработкой текста: организацией естественно-языкового интерфейса, машинным переводом и реферированием, статистическим анализом словарей
Конструкт келли — униполярный или биполярный признак, пара альтернатив, параметр, шкала или пара противоположных отношений личности к объекту или какой-либо его стороне. К.Л. используется в
Конкатенация — операция приписывания одних элементов к другим так, что получается новый произвольный элемент. С помощью К., например, образуются из букв слова языка, из слов,