ПОМЕХА [hindrance] - воздействия, искажающие или разрушающие сообщение или сигнал с полезной информацией в устройствах связи, управления, измерения, вычислительной техники и т.п. Различают внутренние и внешние П.
ПОМОЩЬ [help] - методический прием, имеющий целью сориентировать пользователя в расшифровке термина или его смысла и определения, действия и др., характеристик объектов инструментария Интеллсист, знаний или запросов, этапа работ со знаниями или запросами.
ПОНЯТИЕ [entity] - основная семантическая единица концептуального языка, представляемая структурами и логическими связями для ввода в память ВМ через термины, значения и характеристики, в которых отражаются общие и существенные признаки объекта, а через его формальное определение - целостную совокупность суждений об объекте. Спецификация понятия дается в терминах структур и логических связей. П. - это форма мысли, в которой отражаются общие и существенные признаки вещи (предмета, явления или процесса). П. - это целостная совокупность суждений о вещи, отображающая его сущность. П. и есть результат познания вещи. П. бывает абстрактное, видовое, единичное, индексируемое, конкретное, научное, неопределяемое, несовместимое, общее, определяемое, определяющее, отрицательное, подчиненное, простое, положительное, противоречащее, противоречивое, равнозначное, родовое, сложное, собирательное, совместимое, сравнимое.
ПОРОЖДАЮЩАЯ ГРАММАТИКА [generation grammar] - абстрактный механизм, формальными структурами которого являются продукции (формулы подстановки), используемые единообразной процедурой для получения правильных текстов языка. Вначале берется аксиома, затем применяются формулы подстановок до получения терминальной последовательности символов; П.г. - это четверка <Т, Н, П, А>; Т - конечный алфавит терминальных символов, Н - алфавит нетерминальных символов, П - конечный набор формул подстановок, А - аксиома, нетерминальный символ.
ПОРЯДОК [order] - таксономическая категория (ранг) в некоторой систематике. П. определяется некоторым признаком, характеристикой, индексом и т.п.
ПОСЛЕДОВАТЕЛЬНАЯ ОБРАБОТКА [serial processing] - обработка данных в естественном порядке, в их физической последовательности, в порядке их следования.
ПОСЛЕДОВАТЕЛЬНЫЙ ВВОД-ВЫВОД [serial input-output] - операция обмена данными ВМ с устройствами последовательного доступа.
ПОСЛЕДОВАТЕЛЬНЫЙ ДОСТУП [serial access] - рассмотрение последовательных значений файлового типа в порядке хранения и поступления.
ПОСТАВЩИК ИНФОРМАЦИИ [supplier information] - административная организация лиц или отдельное лицо, ответственное по договору с поставщиком услуг видеотекса за поставку информации (сообщения) или предоставление транзакционных услуг абонентам видеотекса.
ПОСТПРОЦЕССОР [postprocessor] - системная программа, предназначенная для заключительной обработки данных или программ при адаптации их форм к требованиям потребителя (ВМ, пользователя).
ПОСТРОЕНИЕ АЛГОРИТМА [algorithm design] - преобразования задания или его спецификации в последовательность действий для получения искомого результата, требуемого в задании. П.а. использует операции повторения, ветвления, расширения, композиции и универсуализации.
ПОСТУЛАТ [postulate] - требование-утверждение, принимаемое в рамках теории за истину.
ПОСТФИКС [selector] - часть составного имени, представленная простым именем, символьным литералом, знаком операции или зарезервированным словом и помещаемая после префикса.
ПОСТФИКС РАСШИРЕННОГО ИМЕНИ [extended name postfix] - см. ПРОСТОЕ ИМЯ.
ПОЧТОВЫЙ ЯЩИК [mailbox] - средство синхронизации процессов параллельных вычислений, основанное на использовании области памяти для хранения передаваемых по электронной почте сообщений. Передача может осуществляться только после синхронизации двух процессов.
ПОШАГОВАЯ РАЗРАБОТКА (программы) [incremental development] - последовательная разработка, при которой каждый этап завершается готовой к использованию программой с не полностью реализованными функциями по сравнению с конечной программой. П.р. реализует метод развивающегося программирования, а в конечном счете метод информатики.
ПРАВИЛО ЛОГИЧЕСКОГО ВЫВОДА [inference rule] - операция преобразования логической формулы, которая состоит из формулы (посылки) и формулы (заключение) и предназначено для построения результата решения логического уравнения. П.в. предназначено для формализации логических умозаключений (доказательств).
ПРАВИЛО ПРЕОБРАЗОВАНИЯ [transformation rule] - пара логических выражений (первое - посылка, второе - заключение), служащая для преобразования исследуемого логического выражения по посылке-образцу в новое логическое выражение с заменой образа посылки на образ заключения.
ПРАГМА [pragma] - языковая конструкция, с помощью которой можно передать информацию транслятору, компилятору и др. системным программам для уточнения их функции по преобразованию программ и данных.
ПРАГМАТИКА [pragmatics] - раздел семантики, в котором изучаютсч отношения субъектов, воспринимающих какую-либо знаковую систему или выражающих отношение к самой знаковой системе.
ПРАГМАТИЧЕСКАЯ ОТЛАДКА ЗНАНИЙ [knowledge pragmatical debugging] - установление правильности выполнения всех ограничений языка профессиональной прозы и его конструкций, используемых в представлениях знаний.
ПРАГМАТИЧЕСКАЯ ОШИБКА [pragmatical error] - результат нарушения количественных ограничений на те или иные части текстов или фраз. П.о. обнаруживаются автоматически в процессе трансляции подсчетом и сравнением чисел (количественных ограничений) с табличными данными.
ПРЕДВЫПОЛНЕНИЕ [preexecution] - процесс выполнения своего предназначения какого-либо выражения; постепенное (шаг за шагом), последовательное достижение момента получения значения для данного выражения. Важно П. записи алгоритма до его запуска.
ПРЕДИКАТ [predicate] - логическая функция, выявляющая признаки, свойства или отношения данных.
ПРЕДЛОЖЕНИЕ [offer, sentence, proposal] - замкнутая формула, не имеющая свободных переменных и выражающая некоторое знание. Обычно П. представляется фразами естественного языка или языка профессиональной прозы.
ПРЕДМЕТ [subject] - все то, что может находиться в отношении с др. предметами, явлениями или процессами или обладать каким-либо свойством; П. - это реальная вещь, имеющая относительно целостный характер.
ПРЕДМЕТНАЯ ОБЛАСТЬ [object scope] - конечный набор типов данных и описаний объектов, определяемый для решения данной проблемы, класса проблем или данного задания. В языках программирования П.о. определяется разделом описания или пакетом данных.
ПРЕДМЕТНАЯ ОШИБКА [object error] - неправильное использование элементов баз данных и знаний, при несоответствии величин и данных. П.о. обнаруживаются автоматически в процессе трансляции по правилам и данным путем сравнения и логической оценки.
ПРЕДМЕТНАЯ ПЕРЕМЕННАЯ [subject variable] - переменная данного языка, принимающая значения типа из предметной области. П.п. отлична от формального параметра, которому П.п. передает значение.
ПРЕДМЕТНОЕ РЕШЕНИЕ [subject solution] - использование реальных или виртуальных представлений объектов для получения решений проблемы конструкциями в комбинации с другими формами представления решений.
ПРЕДПОЛОЖЕНИЕ [suggestion] - прием исследования, представляющий собой разработку некоторого условного положения, ситуации, заключения, которые принимаются за основу в ходе изучения, рассуждения или умозаключения.
ПРЕДСТАВЛЕНИЕ [representation] - форма выражения предмета, явления или процесса посредством знака, языка, определения понятия, массива или таблицы, формализма, алгоритма или системы без искажения содержания; способ передачи, сохранения или переработки знания.
ПРЕДСТАВЛЕНИЕ ЗНАНИЙ [knowledge representation] - средство отражения знаний для воссоздания его в другой форме, пригодной для ввода в память, обработки, вывода из памяти ВМ или восприятия человеком.
ПРЕОБРАЗОВАНИЕ ТИПА [type conversion] - явное указание преобразования значения выражения в значение целевого типа, заданного обозначением типа. Целевой тип может быть подтипом типа значения выражения, числовым типом, производным типом, индексируемым типом. Неявные П.т. возможны над универсальными целыми и вещественными типами в соответствующий подтип числового типа.
ПРЕОБРАЗОВАТЕЛЬ [converter] - вычислительное устройство, перерабатывающее данные из одной формы представления в другую. П. бывает аналого-цифровой, цифро-аналоговый, время-импульсный, вычислительный, кодо-аналоговый, аналого-кодовый, комбинированный, линейный, накапливающий, с непосредственным отсчетом, прямого действия, функциональный.
ПРЕПРОЦЕССОР [preprocessor] - системная программа, которая преобразует эмулируемые данные из формата, принятого в эмулируемой системе, в формат эмулирующей системы.
ПРЕРЫВАНИЕ [interruption, break] - временное прекращение выполнения программы для возобновления выполнения прерванной ранее программы или выполнения другой программы. П. осуществляется для передачи сообщения и возврата управления на прерванную программу. П. является реакцией процессора на некоторое событие, явление или результат процесса.
ПРЕФИКС [prefix] - часть составного имени, представленная вновь именем, простым именем или вызовом функции.
ПРИЗНАК [tag, sentinel] - характеристика (атрибут объекта), позволяющая установить сходство вещи с другими вещами, текущее состояние или различие по отношению к другим предметам, явлениям или процессам. П. Бывают существенные или несущественные, количественные или качественные. П. - это также часть элемента данного, содержащая информацию об элементе данного.
ПРИКЛАДНАЯ АКСИОМА [application axiom] - аксиома, определяющая объекты (константы, величины и операции) пользователя.