Информационные технологии /technologies information ТК 022

Декомпозиция задач — разбиение задачи на подзадачи с последующим разбиением этих подзадач до получения базовых (элементарных) задач, для которых заранее известно решение. Д.З. применяется в

Денотат — реальный объект, процесс, явление, ситуация и т.п. в физическом мире, для которого есть специальное именующее выражение в некотором языке. Это именующее выражение является

Дерево вывода — представление процедуры логического вывода в виде дерева, вершинами которого являются или исходные формулы, или формулы, полученные в процессе вывода. [Толковый словарь по

Вывод правдоподобный — вывод, при котором каждый шаг сопровождается вычислением оценки достоверности полученного утверждения. Частными случаями В.П. является, например, вывод вероятностный и вывод индуктивный. [Толковый

Вывод прямой — вывод, ведущий от исходных аксиом к целевому выражению. При В.П. из-за неоднозначности выбора применимы аксиом и правил вывода образуется дерево решений и

Вызов по образцу — способ поиска информации в базах данных, базах знаний или в оперативной памяти компьютера. В отличие от поиска по адресу хранения, В.П.О.

Высказывание атомарное — высказывание, структура которого далее не расчленяема. В формальных системах В.А. соответствуют базовые элементы. Интерпретация истинности В.А. задается для формальной системы извне и

Генерация текста — процесс порождения текста, включающий выделение фрагмента внутреннего представления, который войдет в текст; формирование схемы дискурса, т.е. последовательности, в которой должна быть изложена

Герменевтика — раздел семантики, изучающий способы выявления содержания текста, в явной форме в нем не выраженного. Поиск скрытого в тексте содержания происходит в результате обращения