Логотип Информационно-коммуникационные технологии в образовании
  • Формализация целей и ограничений ИТС средствами деонтической логики
  • Формализация целей и ограничений ИТС средствами деонтической логики
    Миков А.И.
    2008
    Миков А.И. Формализация целей и ограничений ИТС средствами деонтической логики / Всероссийский конкурсный отбор обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы", 2008. - 47 с.
    Статья, обзор
    4. Программирование » 4.6. Технологии разработки программных систем
     
    Аннотация
    В статье описывается подход к моделированию информационно-телекоммуникационных систем, основанный на математическом аппарате деонтической логики. Деонтическая логика в дополнение к классической (ассерторической) математической логике использует операторы "обязательно" и "запрещено". Это позволяет строить высказывания, задающие требования, что является адекватным аппаратом для формулирования целей и ограничений, как самого процесса проектирования ИТС, так и функционирования созданной системы. Приводится обзор деонтических логик, а также основанных на них нормативных логик. Рассматриваются средства описания организационных предметных областей информационных систем, в частности, деонтический подход к описанию бизнес-процессов, нормативные системы, регулирующие функционирование мультиагентных систем, являющихся одним из перспективных направлений создания программного обеспечения ИТС. Материал подготовлен в рамках Всероссийского конкурсного отбора обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы" (http://www.ict.edu.ru/itkonkurs2008/).
    Файл публикации (формат Adobe PDF, размер 554 Кб) »
    © 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций
    (ФГАУ ГНИИ ИТТ "Информика")
    Rambler's Top100