Cтраница 3
При таком подходе эвристическая программа выводит концепцию для заданного множества положительных и отрицательных примеров. На основании положительных примеров система обобщает содержащуюся в них информацию так, чтобы результирующая концепция удовлетворяла всем положительным примерам. На основании отрицательных примеров программа конкретизирует общую концепцию путем исключения этих примеров. В идеальном случае источником примеров является учитель, который выбирает хорошее множество примеров, соответствующих рассматриваемой концепции. Если учитель отсутствует, то программа может генерировать и проверять примеры, чтобы определить, соответствуют ли они желаемому критерию. Эта схема генерации и проверки является типичным подходом, используемым при научных исследованиях для вывода общих концепций. Иногда источником примеров является внешняя среда, так что примеры появляются в результате неуправляемых наблюдений. [31]