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

• Дата: 2026
• Автори: 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...