现存
发表于 2025-3-26 21:16:38
http://reply.papertrans.cn/27/2657/265678/265678_31.png
flimsy
发表于 2025-3-27 03:34:23
http://reply.papertrans.cn/27/2657/265678/265678_32.png
SAGE
发表于 2025-3-27 06:45:08
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).
Liability
发表于 2025-3-27 10:54:13
Conflicting Obligations in Multi-agent Deontic Logiconing with sentences like ‘Group . of agents ought see to it that . in the interest of group .’. We illustrate our deontic logic with a new formal analysis of the Prisoner’s Dilemma, thereby showing that games can be studied fruitfully with our deontic logic. Finally, we prove a characterization theorem on conflicting obligations.
愚蠢人
发表于 2025-3-27 16:53:21
Propositional Quantifiers in Deontic Logicositional quantifier is added to these systems, the propositional constant becomes definable in terms of the deontic operator. As a result, the meaning of this constant becomes clearer and it becomes easy to axiomatize the deontic fragments of the alethic modal systems.
medieval
发表于 2025-3-27 18:06:57
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265678.jpg
牲畜栏
发表于 2025-3-28 01:04:12
http://reply.papertrans.cn/27/2657/265678/265678_37.png
GOUGE
发表于 2025-3-28 03:34:49
http://reply.papertrans.cn/27/2657/265678/265678_38.png
咒语
发表于 2025-3-28 08:02:53
Distributing and Understanding Drugs,s 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).
PACT
发表于 2025-3-28 13:59:45
http://reply.papertrans.cn/27/2657/265678/265678_40.png