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