Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
Hauptverfasser:	Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	formal specification progressive formalization knowledge base stigmergy multi-agent systems large language models UDC 004.052.32 004.43
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/887
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Analyses of automated machine learning tools for application in marketing
von: Nikonov, O.V.
Veröffentlicht: (2026)

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

The grammar of Petri-object model visual programming language
von: Dyfuchyn, А.J., et al.
Veröffentlicht: (2022)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

The definition of formal languages in the meta language of normal forms of knowledge
von: Kurgaev, A.F., et al.
Veröffentlicht: (2018)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

The architecture and functionality of the multi-agent system Navigation
von: Yalovets, A.L.
Veröffentlicht: (2018)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

The software tool of constructive-synthesizing modeling
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

Interface-oriented approach to modelling tools for multi-agent systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Modern AI methods for detecting propaganda in text
von: Бойко , О.А.
Veröffentlicht: (2025)

Multi-agent approach to modeling an information and analytical system
von: Dodonov, O. G., et al.
Veröffentlicht: (2016)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
von: Dobrovolsky V.K.
Veröffentlicht: (2000)

Methods of recognition by the agent of the unknown environment
von: Yalovets, A.L.
Veröffentlicht: (2019)

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

Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
von: Yalovets, A.L.
Veröffentlicht: (2017)

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

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

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Mathematical methods of planning in systems consisted of rational agents
von: Sinitsyn, I.P., et al.
Veröffentlicht: (2024)

Semantic approach to automated formation of information security systems documentation
von: Bova, Yu.V., et al.
Veröffentlicht: (2026)

About one approach to automatic creation of formal queries to ontological knowledge bases
von: Palagin, O.V., et al.
Veröffentlicht: (2024)

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

Knowledge bases and description logics applications to natural language texts analysis
von: Hoherchak, H.I.
Veröffentlicht: (2020)

Use of ontological knowledge by intelligent agents
von: Rogushina, J.V.
Veröffentlicht: (2018)

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

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

Management of the coordination process in sociotechnical system
von: Girchenko, L.A., et al.
Veröffentlicht: (2021)

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

Formal functional calculus for copolynomials over a commutative ring
von: Gefter, Sergiy L., et al.
Veröffentlicht: (2025)

Heuristic algorithm of morpholexical analysys of unknown words
von: Taranukha, V.Yu.
Veröffentlicht: (2025)

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

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

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

A method of formalizing the making decision process based on the theory of threshold elements
von: Azarova, A. O., et al.
Veröffentlicht: (2018)

A multi-agent model of information dissemination in social networks
von: Lande, D. V., et al.
Veröffentlicht: (2016)

General formal local cohomology modules
von: Rezaei, Sh.
Veröffentlicht: (2021)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

Equivalence of two parallel execution systems
von: Panchenko, T.V., et al.
Veröffentlicht: (2018)