Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	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
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Analyses of automated machine learning tools for application in marketing
за авторством: Nikonov, O.V.
Опубліковано: (2026)

The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)

The architecture and functionality of the multi-agent system Navigation
за авторством: Yalovets, A.L.
Опубліковано: (2018)

Modern AI methods for detecting propaganda in text
за авторством: Бойко , О.А.
Опубліковано: (2025)

Multi-agent approach to modeling an information and analytical system
за авторством: Dodonov, O. G., та інші
Опубліковано: (2016)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)

The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

Methods of recognition by the agent of the unknown environment
за авторством: Yalovets, A.L.
Опубліковано: (2019)

System of classification for personnel selection based upon Ukrainian language ana-lyze
за авторством: Zhezherun, O.P., та інші
Опубліковано: (2021)

Mathematical methods of planning in systems consisted of rational agents
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2024)

Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)

About one approach to automatic creation of formal queries to ontological knowledge bases
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Semantic approach to automated formation of information security systems documentation
за авторством: Bova, Yu.V., та інші
Опубліковано: (2026)

Use of ontological knowledge by intelligent agents
за авторством: Rogushina, J.V.
Опубліковано: (2018)

Formal functional calculus for copolynomials over a commutative ring
за авторством: Gefter, Sergiy L., та інші
Опубліковано: (2025)

Implementation of hot reloading in compiled programming languages
за авторством: Shcherbak, D.V., та інші
Опубліковано: (2026)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Management of the coordination process in sociotechnical system
за авторством: Girchenko, L.A., та інші
Опубліковано: (2021)

A multi-agent model of information dissemination in social networks
за авторством: Lande, D. V., та інші
Опубліковано: (2016)

On the need to use modern capabilities in situational management to protect the state's critical infrastructure
за авторством: Гречанінов , В.Ф.
Опубліковано: (2025)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
за авторством: Kaverynskyi, V.V., та інші
Опубліковано: (2024)

A method of formalizing the making decision process based on the theory of threshold elements
за авторством: Azarova, A. O., та інші
Опубліковано: (2018)

General formal local cohomology modules
за авторством: Rezaei, Sh.
Опубліковано: (2021)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Statement of problem of unknown environment recognizing, navigating and path planning by agent
за авторством: Yalovets, A.L.
Опубліковано: (2018)

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
за авторством: Zubok, V. Yu.
Опубліковано: (2019)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

Program agents in the distributed calculations for adaptive forming and teaching of neural nets
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2026)

Methods and software for significant indicators determination of the natural language texts author profile
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)

ВИКОРИСТАННЯ ДОМЕН-НЕЗАЛЕЖНОГО ДІАЛОГОВОГО ВІКНА ДЛЯ ВИРІШЕННЯ ПРОБЛЕМ УПРАВЛІННЯ БАЗАМИ ДАНИХ
за авторством: Chimir, Igor Alekseevich, та інші
Опубліковано: (2012)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

Method of calculation of exhaust gases emissions of biogas engine
за авторством: Абрамчук, Ф. И., та інші
Опубліковано: (2013)

Method of calculation of exhaust gases emissions of biogas engine
за авторством: Абрамчук, Ф. И., та інші
Опубліковано: (2013)

Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)