Формализация целей и ограничений ИТС средствами деонтической логики

В статье описывается подход к моделированию информационно-телекоммуникационных систем, основанный на математическом аппарате деонтической логики. Деонтическая логика в дополнение к классической (ассерторической) математической логике использует операторы ''обязательно'' и ''запрещено''. Это позволяет строить высказывания, задающие требования, что является адекватным аппаратом для формулирования целей и ограничений, как самого процесса проектирования ИТС, так и функционирования созданной системы. Приводится обзор деонтических логик, а также основанных на них нормативных логик. Рассматриваются средства описания организационных предметных областей информационных систем, в частности, деонтический подход к описанию бизнес-процессов, нормативные системы, регулирующие функционирование мультиагентных систем, являющихся одним из перспективных направлений создания программного обеспечения ИТС. Материал подготовлен в рамках Всероссийского конкурсного отбора обзорно-аналитических статей по приоритетному направлению ''Информационно-телекоммуникационные системы'' (http://www.ict.edu.ru/itkonkurs2008/)