Cover Image

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

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...

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	formal specification progressive formalization knowledge base stigmergy multi-agent systems large language models UDC 004.052.32 004.43
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/887
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Analyses of automated machine learning tools for application in marketing
by: Nikonov, O.V.
Published: (2026)

Integration of large language models with semantic processing tools as an instrument for knowledge digitization
by: Sinitsyn, I.P., et al.
Published: (2025)

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

The architecture and functionality of the multi-agent system Navigation
by: Yalovets, A.L.
Published: (2018)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)

Interface-oriented approach to modelling tools for multi-agent systems
by: Shevchenko, R.S., et al.
Published: (2025)

Modern AI methods for detecting propaganda in text
by: Бойко , О.А.
Published: (2025)

Multi-agent approach to modeling an information and analytical system
by: Dodonov, O. G., et al.
Published: (2016)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
by: Dobrovolsky V.K.
Published: (2000)

Methods of recognition by the agent of the unknown environment
by: Yalovets, A.L.
Published: (2019)

System of classification for personnel selection based upon Ukrainian language ana-lyze
by: Zhezherun, O.P., et al.
Published: (2021)

Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
by: Yalovets, A.L.
Published: (2017)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)

Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
by: Palagin, O.V., et al.
Published: (2018)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Mathematical methods of planning in systems consisted of rational agents
by: Sinitsyn, I.P., et al.
Published: (2024)

Semantic approach to automated formation of information security systems documentation
by: Bova, Yu.V., et al.
Published: (2026)

About one approach to automatic creation of formal queries to ontological knowledge bases
by: Palagin, O.V., et al.
Published: (2024)

Methods and tools for developing an information system for validation of non-formal learning outcomes
by: Pryima, S.M., et al.
Published: (2020)

Knowledge bases and description logics applications to natural language texts analysis
by: Hoherchak, H.I.
Published: (2020)

Use of ontological knowledge by intelligent agents
by: Rogushina, J.V.
Published: (2018)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Management of the coordination process in sociotechnical system
by: Girchenko, L.A., et al.
Published: (2021)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
by: Kaverynskyi, V.V., et al.
Published: (2024)

Formal functional calculus for copolynomials over a commutative ring
by: Gefter, Sergiy L., et al.
Published: (2025)

Heuristic algorithm of morpholexical analysys of unknown words
by: Taranukha, V.Yu.
Published: (2025)

Statement of problem of unknown environment recognizing, navigating and path planning by agent
by: Yalovets, A.L.
Published: (2018)

On the need to use modern capabilities in situational management to protect the state's critical infrastructure
by: Гречанінов , В.Ф.
Published: (2025)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
by: Pryima, S.M., et al.
Published: (2020)

A method of formalizing the making decision process based on the theory of threshold elements
by: Azarova, A. O., et al.
Published: (2018)

A multi-agent model of information dissemination in social networks
by: Lande, D. V., et al.
Published: (2016)

General formal local cohomology modules
by: Rezaei, Sh.
Published: (2021)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Equivalence of two parallel execution systems
by: Panchenko, T.V., et al.
Published: (2018)