ИССЛЕДОВАНИЕ [study, research, investigation] - изучение предметов и явлений, процессов материального, энергетического или информационного мира, направленное на выявление присущих им закономерностей и выполняемое определенными методами. Часто понятие И. выражается термином "изучение" - оно шире. И. Бывают лабораторные, обзорные, научные, понятийные, полезные, прикладные, теоретические, экспериментальные.
ИСТИНА [true] - правильное и адекватное отражение предметов, явлений или процессов действительности познающим субъектом или ВМ, воспроизводящее их так, как они существуют вне и независимо от сознания; объективное содержание человеческого познания. И. содержит элемент абсолютного знания. Критерий достоверности И. - практика. И. всегда конкретна.
ИСТИННОСТЬ ЗНАНИЙ [verity of knowledges] - соответствие знаний объективной действительности; правильное отражение реального мира в научных понятиях, суждениях, умозаключениях, теориях, фактах, правилах и т.п.
ИСТОЧНИК ЗНАНИЙ [source of knowledges] - любая система, использующая средства хранения и переработки информации. Такими системами являются знак, язык, письмо, книга, теория, алгоритм, ВМ.
ИСХОДНЫЕ ДАННЫЕ [source data] - данные для формирования или решения проблемы. Разработка И.д. предшествует разработке алгоритмов.
ИСЧИСЛЕНИЕ [calculus] - совокупность языка правильно построенных формул, аксиом и правил вывода, представленных на некотором языке формул; основа индуктивной, дедуктивной или информатической систем. Бывает И. высказываний, открытое предикатов, предикатов первого порядка, предикатов высшего порядков и т.п.
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ [calculus of utterances] - способ формализации логических рассуждений, в котором учитывается лишь логическая структура высказываний.
К
КАДР [frame] - 1. Одиночное сообщение определенного стандартизованного формата, передаваемое по каналам. 2. Информация в форме единого целого, представленная на экране (носителе) терминала как результат информационного поиска или формирования сообщения.
КАЛЬКУЛЯТОР [calculator] - портативная ВМ для расчетов малой емкости. К. бывают простейшими, инженерными, программируемыми, оснащенными малыми печатающими устройствами и со сменяемыми программами.
КАНАЛ [channel] - устройство (например, вычислительной техники), предназначенное для передачи данных между двумя другими устройствами. К. бывает абонентский, аналоговый, дискретный, информационный, магистральный, мультиплексный, машинный, обратный, передачи данных, прямой, связи, селекторный, физический, логический и др.
КАРАНДАШ (световой) [pencil (light)] - устройство для идентификации данных на экране дисплея в режиме диалога с ВМ. К. также называется световым пером.
КАРТОТЕКА [file-cabinet] - собрание карточек, расставленных и систематизированных в каком-либо определенном порядке и используемых для справочной работы. К. не связана с фондом документов, это ручная информационно-поисковая система. К. бывает библиографическая, вертикальная, вращающаяся, вспомогательная, журнальная, наименований, переводов, плоская, подвесная, реферативная, сводная, специальная, справочная, фактографическая, элеваторная. Порядок карточек определяется алфавитом, темами, именами авторов и т.п.
КАТАЛОГ [catalogue] - совокупность наборов данных или кратких описаний, используемых управляющей или системной программой для определения местонахождения объекта и доступных для применений в справочных и других целях. К. бывает авторский, алфавитный, вспомогательный, газет, генеральный, географический, журналов, изданий, издательский, карточный, машинный, нумерационный, общий, отраслевой, перекрестный, печатный, подсобный, предметный, рабочий, сводный, систематический, с краевой перфорацией, специальный, торговый, фирменный, хронологический, центральный, читательский.
КАТАЛОГИЗАЦИЯ [cataloging] - процесс подготовки и составления каталога из описаний; распределение и систематизация этих описаний.
КАЧЕСТВО (программ) [quality] - существенная определенность программы, благодаря которой она выполняет закладываемые в нее функции. К. - это объективная и всеобщая характеристика программы, обнаруживаемая ее свойствами. Основными свойствами программы, определяющими ее К., являются, в частности, надежность, эффективность, правильность, читаемость, проверяемость, адаптируемость, измеряемость, изменяемость, переносимость, сопровождаемость, тестируемость, отлаживаемость, а также некоторые потребительские характеристики.
КИЛОБАЙТ (Кб) [kilobyte (Kb)] - тоже, что килобайт, равный 1024 байта.
КВАЛИФИЦИРОВАННОЕ ВЫРАЖЕНИЕ [qualified expression] - одно из первичных выражений, использующее явное указание типа или подтипа для операнда и предназначенное для проверки принадлежности значения выражения, входящего в К.в. операндом, указанному типу или подтипу. Такая квалификация является базовой операцией над типом выражения.
КВАНТ [quantum] - единица разбиения диапазона значений (данных, ресурсов, времени, позиций) на конечное число не перекрывающихся между собой интервалов.
КВАНТОВАНИЕ [slicing] - 1. Один из способов разделения ресурсов ВМ, времени между двумя или несколькими потребителями ресурсов. К. предотвращает возможность длительного простоя потребителей из-за отсутствия ресурсов. К. также есть преобразование значений аналоговых величин в дискретные. 2. Процесс формирования дискретного представления количественной характеристики, которая имела вид непрерывной величины.
КВАНТОР [quantifier] - общее название логических операций, которые по предикату строят высказывание, дающее характеристику области истинности этого предиката. К. всеобщности означает, что область истинности предиката совпадает с областью значения переменной. К. существования означает, что область истинности предиката непуста. К. широко используются в естественном языке: К. всеобщности выражается словами для, для всякого и др., К. существования - словами существует, найти и др.
КВИТАНЦИЯ [receipt] - сообщение, описывающее состояние других сообщений для подтверждения свойств передачи их по некоторым каналам. К. может быть положительной при передаче сообщений без ошибок или отрицательной при передаче сообщений с ошибками. К. могут служить основой для управления процессами передачи сообщений.
КИБЕРНЕТИКА [cybernetics] - наука об общих законах управления в природе, животном мире, обществе и в искусственно созданных системах на основе обратной информационной связи. К. базируется на математике, теории автоматов, теории исследования операций, теории оптимального управления, теории алгоритмов, теории информации и др.
КИБЕРНЕТИЧЕСКИЕ ЗНАНИЯ [cybernetical knowledge] - знания о системах, представленные совокупностями взаимосвязанных знаковых объектов (массивами, таблицами, графами, рисунками и т.п.).
КИЛО.. [kilo..] - тысяча (обычно двоичная 1024) единиц памяти ВМ, например, килобит, килобайт, килослов соответствуют 1024 бита, 1024 байта или 1024 слова.
КИЛОБАЙТ (Кб) единица измерения размеров памяти данных. Кб = 1024 байт.
КЛАВИАТУРА [keyboard] - внешнее устройство из расположенных в определенном порядке клавиш (матрица маркированных клавиш) для генерации символов (формирования сигнала в систему) путем нажатия клавиши. К. Используется в пишущей машинке, персональной ВМ, печатающем устройстве. Клавиши подразделяются на клавиши данных и клавиш управления.
КЛАСС [class] - высшая таксономическая категория в систематике фактов, данных, программ, библиотек и др. К - это элемент классификационной системы, принимаемый за основной и представляющий собой совокупность предметов, явлений и т.п., объединенных по одному или нескольким признакам. К. - это также учебное помещение или группа учащихся.
КЛАССИФИКАЦИОННАЯ СХЕМА [taxonomic scheme] - графическая или табличная схема, отражающая структуру данной классификации и служащая для наглядного представления связей (субординации) между элементами.
КЛАССИФИКАЦИЯ [categorization] - 1. Система соподчиненных понятий в какой-либо области или виде знания, используемая как средство для установления связей между этими понятиями. К. - это система, структура которой предусматривает упорядоченное расположение множества каких-либо предметов, явлений или процессов на основе установления связей и зависимостей между признаками этих вещей. К. бывает библиотечная, вспомогательная, дихотомическая, десятичная, естественная, иерархическая, искусственная, многоаспектная, основная, патентная, предметная, универсальная, фасетная. 2. Процесс отнесения вещи к определенному подразделению данной классификации, производимый на основе определения наличия или отсутствия заданных признаков у вещи.
КЛАСС ОШИБОК [class of error] - выделяются следующие классы ошибок. Класс 1. Синтаксические ошибки (результат нарушения правил грамматики естественного или формального языков - обнаруживаются автоматически по правилам или в соответствии с правилами). Класс 2. Лингвистические ошибки (неправильное использование характеристик терминов в известных контекстах - все ошибки обнаруживаются автоматически по таблицам, словарям из слов и терминов). Класс 3. Концептуальные ошибки (неправильное использование определений терминов (понятий) - все обнаруживаются автоматически по лексикону). Класс 4. Семантические ошибки (нарушение контекстных условий при использовании понятий, не позволяющее определять смысл фраз - все обнаруживаются автоматически по правилам семантической грамматики естественного языка и лексикону). Класс 5. Прагматические ошибки (нарушение количественных ограничений на те или иные части текстов или фраз - все обнаруживаются автоматически подсчетом и сравнением с табличными данными). Класс 6. Формульные ошибки (нарушение в согласовании типов операндов в выражениях и операций над значениями понятий - все обнаруживаются автоматически по таблицам соответствия операций и типов операндов). Класс 7. Системные ошибки (нарушение в использовании вычислительных и других средств общения - все обнаруживаются автоматически по таблицам). Класс 8. Предметные ошибки (неправильное использование элементов баз данных и знаний - все обнаруживаются автоматически по правилам и данным путем сравнения и оценки). Класс 9. Смысловые ошибки (нарушение правил семантической грамматики естественного языка при построении высказываний для передачи смысла - идентификация понятий по лексикону и вычисление смысла текста). Класс 10. Локальные противоречия (часть текста противоречит части знаний в базе - результат внутреннего логического анализа текстов). Класс 11. Глобальные противоречия (вводимый абзац полностью противоречит знаниям в базе знаний - полный логический анализ всех текстов). Класс 12. Независимость знаний (при наличии локальных или глобальных повторов по смыслу - результат логического сопоставления смыслов двух предложений или абзацев). Класс 13. Полнота знания (разрешение запросов не состоит из фактов после реализации логического вывода - результат применения метода решения логического уравнения). Можно еще рассматривать стилистические или случайные ошибки и т.п., но они так или иначе сводятся к указанным классам ошибок.