Logical model of multi-agent system of costs estimation for business processes realization

Предлагается логический подход представления бизнес-процессов, позволяющий описать действия и взаимосвязи между агентами мультиагентной системы с применением математического аппарата темпоральной логики. Представлена логическая модель функционирования знание-ориентированной мультиагентной системы.Пропонується логічний підхід зображення бізнес-процесів, що дозволяє описати дії та взаємозв'язок між агентами мультиагентної системи із застосуванням математичного апарата темпоральної логіки. Запропонована логічна модель функціонування мультиагентної системи, що орієнтована на знання.The logical approach to business-processes representation that allows to describe actions and interrelations between the agents of a multi-agent system with the application of the mathematical apparatus of temporal logic is proposed. The logical model of knowledge-oriented multi-agent system functioning is also represented