Cтраница 4
Системы, которые мы рассмотрим в этой главе, ознаменовали дальнейшее продвижение по этому пути - в них объединяются традиционные программы решения проблем и компоненты самообучения и критического анализа. Система ODYSSEUS [ Wilkins, 1990 ] способна обучаться тому, как уточнять базу знаний. Для этого используются две разные методики: одна основана на анализе прецедентов, а вторая - на анализе пояснений. Обе методики являются сравнительно новыми, и читатель сможет вкратце ознакомиться с ними в данной главе. Далее будет описана программа, в которой логический вывод на основе прецедентов используется для обработки исключений из правил, а основным инструментом решения проблем являются порождающие правила. [46]