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
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2026
Heft:	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
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)

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

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

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)

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

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)

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

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)

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

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

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

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

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

Implementation of hot reloading in compiled programming languages
von: Shcherbak, D.V., et al.
Veröffentlicht: (2026)

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)

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

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

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)

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

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)

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

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
von: Zubok, V. Yu.
Veröffentlicht: (2019)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

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

Program agents in the distributed calculations for adaptive forming and teaching of neural nets
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2026)

Methods and software for significant indicators determination of the natural language texts author profile
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2023)

ВИКОРИСТАННЯ ДОМЕН-НЕЗАЛЕЖНОГО ДІАЛОГОВОГО ВІКНА ДЛЯ ВИРІШЕННЯ ПРОБЛЕМ УПРАВЛІННЯ БАЗАМИ ДАНИХ
von: Chimir, Igor Alekseevich, et al.
Veröffentlicht: (2012)

Representation of monadic effects in the non-monadic form
von: Shevchenko, R.S.
Veröffentlicht: (2024)

Method of calculation of exhaust gases emissions of biogas engine
von: Абрамчук, Ф. И., et al.
Veröffentlicht: (2013)

Method of calculation of exhaust gases emissions of biogas engine
von: Абрамчук, Ф. И., et al.
Veröffentlicht: (2013)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)