Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Формализация целей и ограничений ИТС средствами деонтической логики
Автор: Миков А.И.
Аннотация:
В статье описывается подход к моделированию информационно-телекоммуникационных систем, основанный на математическом аппарате деонтической логики. Деонтическая логика в дополнение к классической (ассерторической) математической логике использует операторы "обязательно" и "запрещено". Это позволяет строить высказывания, задающие требования, что является адекватным аппаратом для формулирования целей и ограничений, как самого процесса проектирования ИТС, так и функционирования созданной системы. Приводится обзор деонтических логик, а также основанных на них нормативных логик. Рассматриваются средства описания организационных предметных областей информационных систем, в частности, деонтический подход к описанию бизнес-процессов, нормативные системы, регулирующие функционирование мультиагентных систем, являющихся одним из перспективных направлений создания программного обеспечения ИТС. Материал подготовлен в рамках Всероссийского конкурсного отбора обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы".