Cтраница 3
Указанное следствие в определенном смысле отрицает существование оптимального индуктора в индуктивных выводах. Можно было бы предположить, что оптимальный индуктивный вывод все же окажется возможен, если брать не фиксированную заранее обучающую последовательность, а такую последовательность, которая порождается по определенным правилам в самом процессе вывода. Например, обучающая последовательность может строиться как ответы на вопросы, которые задает ученик учителю в процессе усвоения некоторого понятия, задуманного учителем. Такой процесс соответствует индуктивному выводу с обратной связью от информации, полученной на предыдущем шаге, и соответствующей гипотезы, построенной для нее. [31]
Основой каждой модели индуктивного вывода является набор правил ( схем) индуктивного вывода. В работах Плоткина за основную схему вывода была выбрана схема индуктивной резолюции. [32]
Новое и важное направление по индуктивному выводу основано на наборе правил индуктивного вывода, которые достаточно часто позволяют, например, по описанию работы алгоритма на конкретных примерах получить описание алгоритма для общего случая либо по формальному доказательству для частного случая получить доказательство для общего случая. Подход использован для автоматического синтеза программ. [33]
Основой каждой модели индуктивного вывода является набор правил ( схем) индуктивного вывода. [34]
В частности, использована работа [10.19], в которой приводятся описания абдуктивного и индуктивного вывода и их особенностей в сравнении. [35]
В следствии к теореме 4 утверждается существование ПМ максимальной сложности в индуктивных выводах с произвольным согласующим абсолютизирующим индуктором. [36]
Обобщение информации - одна из важнейших функций любой ИЛС, без которой невозможны индуктивный вывод, распознавание образов, выявление закономерностей. В частности, в ИЛС, предназначенной для установления связи структура - свойство химических соединений, необходимо обобщать информацию о структуре соединений, обладающих заданными свойствами. [37]
Заметим, что, как и в случае редуктивных выводов, по всякому индуктивному выводу соответствующий вывод в Ind восстанавливается фактически однозначно. Это позволяет, в частности, корректно определить индуктивную сложность ind ( Tr) для индуктивного вывода тг - количество вершин дерева вывода в исчислении Ind для вывода тг. [38]
Система ИЛИС ориентирована на решение задач эвристической классификации в проблемных средах типа 1 на основе индуктивного вывода по примерам обучающей выборки. [39]
Вычислительные процедуры построения дерева понятий типа CLS, описанные в [1], определяют соответствующие классы индукторов и индуктивных выводов. [40]
На первых этапах развития нейросетевых математических моделей коннекционизм сыграл исключительно важную роль, поскольку были поняты основные механизмы индуктивного вывода, осуществляемого нейронной сетью, позволившие решить большое количество прикладных задач. Однако для создания математических нейросетевых моделей, адекватных реальным задачам, требуются более глубокие исследования биологических принципов функционирования головного мозга. [41]
В [10] исследованы возможности I-индукторов при расшифровке монотонных и симметрических функций и получены оценки сложности их расшифровки в индуктивных выводах с обратной связью и без нее. Было бы желательно провести аналогичные теоремные исследования для других типов индукторов при расшифровке естественных классов ПМ и сравнить полученные результаты. [42]
Поплавковый дифференциальный манометр: а - схема; б - уплотнительная муфта; в - магнитная муфта; г - индуктивный вывод. [43]
Возможно, для развертывания исследований в этом направлении окажутся полезными математические результаты, относящиеся к проблемам вычислимости, выводимости, индуктивного вывода, информационного поиска и другим смежным областям. [44]
Генетическое программирование представляет собой одно из направлений в ЭМ и ориентировано в основном на решение задач автоматического синтеза программ на основе обучающих данных путем индуктивного вывода. Хромосомы или структуры, которые автоматически генерируются с помощью генетических операторов, являются компьютерными программами различной величины и сложности. [45]