Формализация
Cтраница 4
Формализация гипотез о правиле прогноза основана на общих соображениях о нелинейности зависимости наличия месторождения от признаков. Знания предметной области относятся к характеру связи возможности наличия месторождения с каждым признаком в отдельности и формализуются в виде системы математических ограничений на класс прогнозирующих функций. [46]
Формализация вопросов в информационном языке осуществляется на базе проблемно-ориентированной семантики. А именно: каждому типу вопросов соответствует специальное вопросно-ответное отношение, характер которого зависит от семантики. [47]
Формализация анализа, как и формализация арифметики, может быть осуществлена с помощью отличающихся друг от друга эквивалентных формализмов; но здесь имеется значительно большее многообразие возможностей. Различные виды формализации анализа обсуждаются в Приложении IV; см. с. [48]
Формализация теории имеет целью дать явное определение понятия доказательства в этой теории. После того, как это сделано, нет надобности обращаться каждый раз прямо к определению. Установление формальной доказуемости формул можно значительно упростить, пользуясь метаматематическими теоремами, относящимися к существованию формальных доказательств. Употребление метаматематических теорем приводит тогда к сокращению изложения формальных доказательств, часто весьма значительному. [49]
Формализация условий этой задачи не представляет трудностей. Вообще, по поводу задач этого раздела ( эквивалентного классическому исчислению высказываний) Шредер пишет, например, что они даже не могут быть трудными, поскольку у нас есть общий метод ( алгорифм) их решения ( [93], стр. [50]
Формализация лексики и создание различных ИПЯ вызвано необходимостью устранения избыточности и недостаточности естественного языка для целей информационного поиска, а также ликвидации присутствующих в нем синонимии и омонимии ( см. далее) для реализации однозначности информационного поиска. [51]
 |
Система управления социальной работой на кафедре. [52] |
Формализация требований к кандидатам - обязательное условие сколько-нибудь серьезного отбора, а наиболее распространенной формой такой формализации является подготовка должностной инструкции, в которой перечисляются основные функции сотрудника, занимающего данное рабочее место. Заведующий кафедрой должен определить, насколько данный кандидат способен выполнять эти функции. [53]
Страницы: 1 2 3 4