TY - JOUR

T1 - Лояльный агент и отменяемость в деонтической логике

AU - Лисанюк, Е.Н.

PY - 2014

Y1 - 2014

N2 - На основе разграничения между детерминистскими и индетерминистскими подходами исследуется нормативная деятельность агента и выделены две группы сценариев лояльного поведения агента, подразумевающего выполнение норм некоторого кодекса. Ключевым аспектом анализа выступает понятие отменяемости нормы, которое трактуется как уточнение обстоятельств ее выполнения или компенсирующая норма. Отменяемость нормы моделируется тремя способами: сначала посредством оператора пересмотра К. Альчуррона, затем – при помощи cstit- и dstit- операторов, и далее – на основе ндинамической семантики ван Бентема, Гросси, Лю с учетом предпочтений и приоритетов выполнимости. На примере «Деонтики» Э. Малли, претендовавшей на то, чтобы быть логикой воли (агента), демонстрируется, что в целях успешной реализации этого замысла язык формальной теории и ее аппарат должны предусматривать соответствующие выразительные возможности не только для моделирования норм, но также и для анализа нормативной деятельности агента. Обоснованы выводы о слабо-

AB - На основе разграничения между детерминистскими и индетерминистскими подходами исследуется нормативная деятельность агента и выделены две группы сценариев лояльного поведения агента, подразумевающего выполнение норм некоторого кодекса. Ключевым аспектом анализа выступает понятие отменяемости нормы, которое трактуется как уточнение обстоятельств ее выполнения или компенсирующая норма. Отменяемость нормы моделируется тремя способами: сначала посредством оператора пересмотра К. Альчуррона, затем – при помощи cstit- и dstit- операторов, и далее – на основе ндинамической семантики ван Бентема, Гросси, Лю с учетом предпочтений и приоритетов выполнимости. На примере «Деонтики» Э. Малли, претендовавшей на то, чтобы быть логикой воли (агента), демонстрируется, что в целях успешной реализации этого замысла язык формальной теории и ее аппарат должны предусматривать соответствующие выразительные возможности не только для моделирования норм, но также и для анализа нормативной деятельности агента. Обоснованы выводы о слабо-

KW - норма

KW - отменяемость

KW - рациональный агент

KW - Э. Малли

KW - К. Альчуррон

KW - stit- структуры

KW - стратегии поведения

KW - динамический подход

M3 - статья

VL - 125

SP - 32

EP - 43

JO - ИЗВЕСТИЯ УРАЛЬСКОГО ФЕДЕРАЛЬНОГО УНИВЕРСИТЕТА. СЕРИЯ 3: ОБЩЕСТВЕННЫЕ НАУКИ

JF - ИЗВЕСТИЯ УРАЛЬСКОГО ФЕДЕРАЛЬНОГО УНИВЕРСИТЕТА. СЕРИЯ 3: ОБЩЕСТВЕННЫЕ НАУКИ

SN - 2227-2291

IS - 1

ER -