<<<     ΛΛΛ     >>>   

КВАНТИФИКАТОР
В узком смысле - это указатель на область истинности некоторого утверждения. Примерами К. в этом смысле могут служить лексемы: "всегда", "почти никогда", "для многих", "примерно в половине случаев" и т.д. В формальных системах, как правило, используются два квантификатора, называемых квантором общности и квантором существования. Первому соответствует лексема "всегда" и "для всех", а второму - "существует". В широком смысле К. может означать любое значение лингвистической переменной (например, "много", "часто", "далеко" и т.д.). Именно в таком смысле К. используются в псевдофизической логике и в ситуационном управлении.

КВАНТИФИКАЦИЯ
Приписывание оценок (в том числе, числовых) на выражения формальной системы. Эти оценки иногда называют квантофикаторами. Оценки могут характеризовать степень правдоподобия выражений, приоритетность при решении задачи и т.п.

КВАНТОР ОБЩНОСТИ
Специальный указатель на то, что некоторое содержащее переменные, распространяется на все формулы, получаемые при подстановке вместо переменных, перечисленных в этом указателе, любых значений из областей определения этих переменных. К.О. обозначает как где xi имена тех переменных, на которые распространяется его действие (связанные переменные).

КВАНТОР СУЩЕСТВОВАНИЯ
Специальный указатель на то, что некоторое P имеет место (или истинно) при некоторых переменных, перечисленных в этом указателе, причем конкретные значения, обеспечивающие это, не указываются, а фиксируется лишь то, что они существуют. Переменные, перечисленные в указателе, называются связанными. Стандартно К.С. обозначается как где xi - имена переменных, которые являются связанными.

КЛАССИФИКАЦИЯ
Введение отношений на множестве объектов или явлений, позволяющих разбить их на классы с установлением между классами отношений включения типа "род-вид", "элемент класс", "целое часть" и т.п. См. также Таксономия, Кластеризация.

КЛАСТЕРИЗАЦИЯ
Способ разбиения объектов или явлений на классы на основании некоторого отношения близости в пространстве признаков. См. также Таксономия, Классификация.

КЛАУЗА
См. Дизъюнкт.

КОГИТОЛОГИЯ
Раздел философии, изучающий проблемы, связанные с получением и использованием человеческих в процессе деятельности.

КОГНИТИВНАЯ НАУКА
Комплекс научных дисциплин (когнитивная психология, теория аргументации и др.), объединенных единым предметом исследования - отражением в познавательных структурах человека окружающей его действительности и исследованием механизмов рассуждения об этой действительности.

КОМПОНЕНТА ДЕКЛАРАТИВНАЯ
См. Знания декларативные.

КОНКАТЕНАЦИЯ
Операция приписывания одних элементов к другим так, что получается новый произвольный элемент. С помощью К., например, образуются из букв слова языка, из слов, знаков пунктуации и знака пробела - предложения.

КОНСТРУКТ КЕЛЛИ
Униполярный или биполярный признак, пара альтернатив, параметр, шкала или пара противоположных отношений личности к объекту или какой-либо его стороне. К.Л. используется в моде репертуарных решеток, разработанных Келли и его последователями для выявления тех субъективных представлений, которыми люди руководствуются в своей профессиональной и обыденной деятельности. Эти подходы к выявлению субъективных знаний используются в инженерии знаний при приобретении знаний у профессионалов для заполнения баз знаний экспертных систем.

КОНЦЕПТ
См. Понятие.

КОНЪЮКЦИЯ
Логическая операция (связка) для n>2 выражений. Результирующее выражение (конъюнкция исходных выражений) истинно только тогда, когда истинны все исходные выражения. Для обозначения К. стандартно используется знак & (реже), а также знак умножения в виде точки. Во многих случаях знак К. может быть опущен.

лингвистика вычислительная computational linguistics
лингвистика компьютерная computer linguistics
липс lips
литера literal
логика logic
логика вероятностная probabilitic logic
логика веры belief logic
логика временная temporal logic
логика второго порядка second order logic
логика двоичная
логика действий operational logic
логика деонтическая deontic logic
логика динамическая dynamic logic
логика здравого смысла common-sense logic
логика индуктивная inductive logic
логика интуиционисткая intuitionistic logic
логика каузальная causal logic
логика команд command logic
логика конструктивная constructive logic
логика математическая mathematical logic
логика многозначная multi-valued logic
логика монотонная monotonic logic
логика немонотонная non-monotonic logic
логика нечетная fuzzy logic
логика норм
логика оценок deontic logic
логика первого порядка first order logic
логика пропозициональная propositional logic
логика пространственная spatial logic
логика псевдофизическая pseudophysical logic
логика размытая fuzzy logic
логика рассуждений по умолчанию default logic
логика эпистемиологическая epistemiological logic
лок
локуция locution
"лямбда"-исчисление lambda-calculus

ЛИНГВИСТИКА ВЫЧИСЛИТЕЛЬНАЯ
См. Лингвистика компьютерная.

ЛИНГВИСТИКА КОМПЬЮТЕРНАЯ
Раздел лингвистики, задачей которого является исследование проблем, связанных с машинной обработкой текста: организацией естественно-языкового интерфейса, машинным переводом и реферированием, статистическим анализом словарей и текстов на ЭВМ, автоматическим распознаванием речи.

ЛИПС
Единица измерения производительности машины вывода (от англ. Logical Interence PerSecond), равная числу логических выводов, выполняемых в одну секунду. Как правило, для реализации одного логического вывода требуется от 10 до 100 команд ЭВМ.

 <<<     ΛΛΛ     >>>   

Система интерактивнаЯ комплекс программных
Порождает поток входной информации для последующей обработки ее человеком
Архитектура выЧислительной системы см системы команды
Программирование включает детализацию алгоритма уровня элементарных операторов
Где т множество базовых символов исчисления