Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
КЛ_СИИ-Часть1.doc
Скачиваний:
4
Добавлен:
01.04.2025
Размер:
2.52 Mб
Скачать

3. Обучение по примерам

Типы задач

Система (человек или машина) может получать новые знания многими способами. Можно, например, вывести нужную информацию как логическое следствие имеющихся знаний, получить ее модификацией имеющихся знаний, рассчитывая на «аналогичность» ситуаций, попытаться вывести общий закон из имеющихся примеров. Можно выделить некоторые задачи, традиционно относимые к задачам обучения по примерам (ОП).

1. Прогнозирование. Дана последовательность чисел: 3, 5, 7 ... Чему равен следующий член этой последовательности?

2. Идентификация (синтез) функций. Имеется некоторый «черный ящик», относительно устройства которого можно судить по его поведению, подавая на вход сигналы и получая в ответ выходные. Требуется по этой информации сформулировать описание работы анализируемого устройства. Главное отличие этой задачи от предыдущей состоит в синтезировании общего закона, а не в прогнозировании его частного проявления. К задачам идентификации относятся, например, расшифровка структуры конечных автоматов [Трахтенброт и др., 1970], индуктивный синтез программ на языке ЛИСП [Biermann, 1978].

3. Расшифровка языков. Поиск правил синтеза текстов некоторого языка на основе анализа конкретных текстов на этом языке (расшифровки кодов, систем письменности и т. д.). Задачей такого же типа является обучение распознаванию образов.

Близкие по духу задачи рассматриваются в теории грамматического вывода [Biermann et al., 1972a].

4. Индуктивный вывод. В широком смысле в это направление вписываются все рассмотренные выше задачи. В узком смысле индуктивный вывод почти совпадает с проблемой расшифровки языков.

5. Синтез с дополнительной информацией. В качестве дополнительной информации может использоваться структура примеров, их родовидовая принадлежность и т.д. К дополнительной информации относят также контрпримеры. Контрпримеры часто помогают в решении задачи (например, в алгоритме Уинстона, решающем задачу об арках [Уинстон, 1978]). Дополнительная информация используется в других задачах синтеза. Например, возможность синтеза программ по парам вход—выход существенно расширяется, если с каждой парой вход—выход задается «траектория» ее вычисления (последовательность состояний программы без учета их тождественности) [Summers, 1977].

Все рассмотренные задачи в зависимости от предмета исследования (множество или отображение) относятся к одной из двух категорий: синтезу языков или синтезу функций. Отметим два свойства задач ОП (общие для функционального и языкового синтеза):

1) все они являются задачами нахождения описаний;

2) задаваемая в виде примеров входная информация (обучающая выборка) является недостаточной для однозначного формирования требуемого описания.

В этом смысле задачи обучения некорректны. Например, при идентификации вычислимой функции по входным-выходным данным (x1, y1), (x2, y2), ..., (xn, yn) существует бесконечное число вычислимых функций, графики которых содержат точки (xi, yi), и нет логических оснований предпочесть одну из них другой.