隐藏 发表于 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 is

MODE 发表于 2025-4-1 17:47:40

http://reply.papertrans.cn/27/2657/265678/265678_64.png

Spongy-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.png

perimenopause 发表于 2025-4-2 04:39:00

http://reply.papertrans.cn/27/2657/265678/265678_67.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Deontic Logic and Artificial Normative Systems; 8th International Wo Lou Goble,John-Jules Ch. Meyer Conference proceedings 2006 Springer-Ve