Излагается новый оригинальный подход к формализации и способам реализации задачи индуктивного программирования. Предлагаемый подход впервые позволяет описать в рамках принятой формализации широкий спектр задач синтеза программ по примерам, начиная от реализации проблемно-ориентированных языков и кончая созданием прикладных систем с помощью этих языков. Обсуждаются способы передачи “процедурных знаний”, принятые в традиционных информационных технологиях и в человеческом общении, формулируется понятие “антропоморфной информационной технологии”. Приводится общая схема построения системы, использующей данную технологию. Подчеркивается принципиальная роль механизма “частичных вычислений” для обеспечения эффективности реализации и поддержки “режима расширения” при индуктивной спецификации создаваемых языков. Приводится пример индуктивной спецификации “простого языка программирования”, обсуждаются перспективы применения предлагаемой концепции.
