Fact-Centric Formal Model and Rules for Incremental Updating of a Repository for Digital Information Flows in Multi-Agent Systems

Хужамбердиев, Д.Э., Мамарауфов, О.А.

Рақамли технологияларнинг назарий ва амалий масалалари · 2026-yil

Annotatsiya

This paper proposes a fact-centric formal model and an incremental maintenance approach for a fact repository to represent heterogeneous digital information streams in a multi-agent environment. The approach covers fact extraction from streams, maintaining a local repository at the agent level, and controlling the fact life cycle via repository operators (insert, update, evidence linking, merge, and close). To ensure repository consistency and verifiability, invariants are introduced for idempotent insertion, temporal ordering, forward-only state transitions, and preservation of audit/evidence traces. In a prototype experiment on an open public-requests stream, 20,000 records were consolidated into 6,319 final facts, yielding a 68.41% data reduction; in 19,544 cases, a resolution description was linked to facts as evidence. The results indicate that the approach provides a practical foundation for monitoring/audit and subsequent indexing and retrieval stages.

Maqola ma’lumotlari
MualliflarХужамбердиев, Д.Э., Мамарауфов, О.А.
JurnalРақамли технологияларнинг назарий ва амалий масалалари
Nashr sanasi2026-03-29
Jild9
Son1
Betlar117-123
TilRus
DOI10.62132/ijdt.v9i1.334

Kalit so‘zlar

многоагентные системы, цифровые информационные потоки, факт-центрический анализ, формальная модель, репозиторий фактов, инкрементальное ведение, связывание доказательств, консолидация (merge), мониторинг и аудит, электронные обращения, multi-agent systems, digital information streams, fact-centric analysis, formal model, fact repository, incremental maintenance, evidence linking, consolidation (merge), monitoring and audit, electronic appeals/requests

Ilmiy soha

Рақамли технологияларнинг назарий ва амалий масалалари jurnalidan boshqa maqolalar

Рақамли технологияларнинг назарий ва амалий масалалари — barcha maqolalar