隐藏 发表于 2025-4-1 02:00:25
http://reply.papertrans.cn/27/2657/265678/265678_61.png偏离 发表于 2025-4-1 06:50:53
http://reply.papertrans.cn/27/2657/265678/265678_62.png指派 发表于 2025-4-1 12:17:26
A Logical Architecture of a Normative Systemthe logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction isMODE 发表于 2025-4-1 17:47:40
http://reply.papertrans.cn/27/2657/265678/265678_64.pngSpongy-Bone 发表于 2025-4-1 21:04:15
Roles, Counts-as and Deontic and Action Logicss obligations, it must act. But an organization cannot act directly, so someone must act on its behalf (usually some member of the organization), and this must be known by the “external world” (by the agents that interact with the organization).粗糙滥制 发表于 2025-4-2 00:27:17
http://reply.papertrans.cn/27/2657/265678/265678_66.pngperimenopause 发表于 2025-4-2 04:39:00
http://reply.papertrans.cn/27/2657/265678/265678_67.png