Заседание семинара "Математическое обеспечение высокопроизводительных вычислительных систем" 14.10.2026 в 15-00. "О применении концепции активных знаний к автоматическому конструированию интерактивных программ", Перепёлкин Владислав Александрович

Концепция активных знаний -- это методология автоматического конструирования программ в предметных областях. Её ключевой особенностью является использование формального описания предметной области, которое позволяет снижать до приемлемого уровня сложность задачи автоматического конструирования практических программ в этой предметной области по их высокоуровневой спецификации. На протяжении долгой истории исследования этой тематики основное внимание было сосредоточено на конструировании программ частного вида -- параллельных программ вида вход -- выход, без существенных побочных эффектов или интерактивного взаимодействия вычислительного процесса с окружающей средой. В докладе рассматривается вопрос применения концепции активных знаний к конструированию интерактивных программ, не соответствующих этим ограничениям. Рассматривается прототипная реализация системы автоматического конструирования интерактивных программ, а также перспективы дальнейших исследований в этом направлении.