ANTHILL: a progressive formalization language for agent-supported software projects

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2026
• Випуск: 1
• Сторінки: 4-13
• ISSN: 1727-4907
• Автори та афіліації: R.S. Shevchenko — Institute of Software Systems NAS of Ukraine; A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine; O.A. Yatsenko — Institute of Software Systems NAS of Ukraine
• Ключові слова: формально-образна мова, формалізація, база знань, динамічність мови, мови програмування, споріднені мови, статистичні моделі мови, базовий термінологічний апарат, праймер, специфікація com
• Автори: Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2026
• Теми: formal specification; progressive formalization; knowledge base; stigmergy; multi-agent systems; large language models; UDC 004.052.32; 004.43
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/887
• Назва журналу: Problems in programming

The article presents the Anthill language — a specialized language for progressive (gradual) knowledge for malization, designed for use in real-world software projects with the integration of agent support, in particular large language models. Anthill allows you to describe, accumulate and maintain...