КОНФИГУРАЦИЯ СИСТЕМЫ [system deskside] - выражение или представление конкретной совокупности элементов системы, связанных конкретными отношениями, характеристиками или связями между собой.
КОНЦЕПТ [concept] - описательная схема для класса вещей или конкретный пример такой схемы. Некоторые свойства описательной схемы конкретизированы.
КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ [conceptual model] - общая логическая структура базы знаний. В К.м. содержатся типы данных, форматы, описания, их машинное и физическое представление. К.м. необходимо используется при создании, например систем управления базами данных и др. техническими организациями знаний.
КОНЦЕПТУАЛЬНАЯ ОТЛАДКА ЗНАНИЙ [knowledge conceptual debugging] - установление соответствия имени понятия его определению свойствам и значениями, используемыми в представлениях знаний.
КОНЦЕПТУАЛЬНАЯ ОШИБКА [conceptual error] - обнаружение неправильного использования обозначений, определений или характеристик терминов (понятий). К.о. обнаруживаются автоматически в процессе трансляции с помощью лексикона.
КОНЦЕПТУАЛЬНОЕ ОБЕСПЕЧЕНИЕ [conceptual support] - совокупность понятий и их определений, устанавливающая предметную и проблемную область для постановки и разрешения проблем.
КОНЦЕПТУАЛЬНОЕ ПРОГРАММИРОВАНИЕ [conceptual programming] - направление в информатике, основанное на описании понятий для выражения смысла и формы конкретной проблемы, по описанию которой автоматически могут быть получены результаты или синтезируются программы для выполнения. К.п. включает такой сорт программирование как объектно-ориентированное.
КОНЦЕПТУАЛЬНЫЕ ЗНАНИЯ [conceptual knowledge] - знания, представленные определениями понятий или терминов для сообщения ВМ знаний.
КОНЦЕПТУАЛЬНЫЙ ЯЗЫК [conceptual language] - язык формальной спецификации понятий и их взаимосвязей.
КОНЦЕПЦИЯ [concept] - определенный способ понимания или трактовки какого-либо явления или процесса, основная точка зрения, руководящая идея, ведущий замысел, конструктивный принцип различных видов деятельности. К. - это совокупность взаимосвязанных представлений или взглядов на какую-либо проблему (противоречие).
КОНЪЮНКЦИЯ [conjunction] - логическая операция "и", принимающая истинное значение только тогда, когда оба операнда имеют истинные значения.
КОПИРОВАТЬ [copying] - формирование копии некоторых записей или сообщений в другой части памяти (запоминающего устройства), например для предотвращения потери или искажения важных записей или сообщений.
КОПИЯ [copy] - одинаковая с оригиналом запись или сообщение составляющие тираж для распространения или защиты информации.
КОРТЕЖ [tuple] - составное значение, образованное переменным или бесконечным числом однотипных компонентов - элементов К. (в отличие от агрегата).
КОРРЕКТНАЯ ЗАДАЧА [well-behaved problem] - классы математических задач, удовлетворяющих условиям: 1) задача имеет решение при любых допустимых исходных данных, 2) каждым исходным данным соответствует только одно решение, 3) решение устойчиво. К.з. - это задача, не содержащая ошибок всех классов.
КРЕМНИЕВЫЙ КОМПИЛЯТОР [siliceous compiler] - программный или программно-аппаратный комплекс для автоматического выполнения процедур выполнения технического задания на сверхбольшую интегральную схему при автоматическом формировании технической документации на изготовление схем. В качестве описания задания используется описание архитектуры проектируемого устройства.
КРИПТОГРАФИЯ [cryptography] - совокупность методов и средств семантического преобразования информации с целью обеспечения секретности ее содержания; защита сообщения путем превращения его в бессмысленный набор знаков, расшифровать который может только человек или устройство, знающее ключ; до передачи сообщения реализуется его кодирование, а при приеме - декодирование.
КРИТЕРИЙ [criterion] - количественный или качественный признак, который при оценке (сравнении) принимается в качестве наиболее существенного. К. предназначен для оценки или/и отбора предмета, явления или процесса из допустимого набора. К. используется для выбора оптимального предмета или процесса из допустимого набора или для оценки имеющихся предметов или процессов.
КРОСС [cross] - префикс для слова, обозначающего программное средство на ВМ, отличной от ВМ, на которой это средство является резидентным (например, кросс-ассемблер, кросс-транслятор, кросскомпилятор и т.п.).
КРОССКОМПИЛЯТОР [cross-compilator] - компилятор, осуществляющий преобразование-перевод программы, написанной на одном из языков программирования, на машинный язык с системой команд (архитектурой), отличной от той, на которой выполняется компиляция.
КУРСОР [cursor] - пометка (символ) на экране дисплея в виде светового пятна, например мигающий символ подчеркивания, указывающая место, на котором может быть изображен следующий знак. Форма К. может быть различной, а отображение стабильным по свечению, мигающим или неразличимым.
КЭШ-ПАМЯТЬ [cache-memory] - разновидность сверхоперативной памяти для хранения наиболее часто используемых команд и данных из оперативной памяти.
Л
ЛЕКСЕМА (лексический элемент) [lexical element] - последовательность символов, синтаксически выделенная и рассматриваемая в контексте и имеющая свой индивидуальный смысл. Л. является, например ограничитель, идентификатор, числовой литерал, символьный литерал, строковый литерал, комментарий. Л. предназначена для формирования текстов знаний, запросов и программ.
ЛЕКСИКОГРАФИЧЕСКИЙ ПОРЯДОК [lexicographic order] - порядок на множестве текстов, при котором один текст предшествует другому, если составляющие его символы, начиная с первого (слева направо), по значению меньше, при равенстве значений символов - их меньше по числу.
ЛЕКСИКОН [lexicon] - словарь терминов, используемых для описания предметной и проблемной областей, вместе с характеристиками каждого термина, его значением и определением. Л. является основой базы знаний.
ЛЕКСИЧЕСКИЙ АНАЛИЗ [lexical analysis] - часть грамматического разбора текстов (например программ) для выделения лексем с последующей заменой их на условные коды для облегчения в дальнейшем синтаксического анализа. Процедура Л.а. формирует таблицы лексем, создаваемых автором текста.
ЛЕММА [lemma] - вспомогательное предложение, употребляемое при доказательстве других утверждений.
ЛЕММАТИЗАЦИЯ - автоматическое составление словарей.
ЛИМИТИРУЕМЫЙ ТИП [limited type] - личный тип с отложенным до соответствующего личного раздела пакета описанием и с ограниченным числом операций, определяемых введением этого типа.
ЛИНГВИСТИКА [linguistics] - отрасль знания, занимающаяся изучением языка (его структуры, свойств и т.п.). Л. бывает математическая и структурная.
ЛИНГВИСТИЧЕСКАЯ ОШИБКА [linguistic error] - результат неправильного использования форм и характеристик терминов в известных контекстах. Л.о. обнаруживаются автоматически по таблицам, словарям из слов и терминов (с помощью лексикона) при трансляции исходных текстов на формальный внутренний язык Лейбниц.
ЛИНГВИСТИЧЕСКИЙ ПРОЦЕССОР [linguistical processor] - математическая машина, процессор которой реализует операционные примитивы некоторого языка программирования, а память - описания объектов этого языка.
ЛИНГВИСТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ [linguistical support] - совокупность языков данных, языков программирования и их описаний, используемая в конкретной области решения класса проблем.
ЛИНГВОСЕМИОТИЧЕСКИЕ ЗНАНИЯ [linguisemiothical knowledge] - знания, представленные описательно с помощью символьных текстов на языке профессиональной прозы. Например, декларативные, описательные знания о фактах или правилах.
ЛИПС [LIPS (logic inferance per second)] - единица измерения быстродействия при выполнении логического вывода по программе, составленной из операций-шагов логического вывода, применения правил преобразования. ЛИПС выражается количеством шагов логического вывода в секунду. В современном логическом программировании быстродействие программ характеризуется числом 10 000 шагов в сек.
ЛИСТИНГ [listing] - распечатка представлений данных и программ в результате, например трансляции программы; Л. может содержать текст исходной программы, промежуточный или объектный код, таблицу ссылок или характеристик, диагностические сообщения и др. Различные по форме тексты в распечатке могут сопоставляться попарно (билистинг), по три (трилистинг) и т.п.
ЛИТЕРА [letter] - элемент алфавита. Л. бывают письменные, печатные, звуковые, импульсные, пробивки. Каждая Л. имеет представление.
ЛИТЕРАЛ [literal] - изображение значения некоторого типа, задающее в программе соответствующую базовую операцию преобразования изображения в значение; см. числовой литерал, литерал перечисления, литерал пусто и символьный литерал.
ЛИТЕРАЛ ПЕРЕЧИСЛЕНИЯ [enumeration literal] - термин, обозначающий значение или модальность в многозначных логиках.
ЛИТЕРАЛ ПУСТО [emptily literal] - единственная базовая операция над ссылочным типом для получения ссылки на ничто; базовая операция, заданная зарезервированным словом null и вырабатывающая пустое ссылочное значение, не указывающее ни на какой объект вообще.
ЛИЧНЫЙ ТИП [private type] - тип, описание которого отложено и находится в личном разделе пакета и использование которого ограничено только пакетом. Л.т. может быть ограниченным, лимитируемым, тогда к данным типа применимо меньшее число операций.
ЛОГИКА [logic] - наука о способах доказательства и опровержения; совокупность научных теорий. Наиболее распространенными являются дедуктивная и индуктивная логики. Л. бывает вероятностная, двузначная, математическая, многозначная, модальная, нормативная, формальная, интуиционистская, информатическая.