重力
发表于 2025-3-25 06:45:00
http://reply.papertrans.cn/27/2657/265683/265683_21.png
ascend
发表于 2025-3-25 11:29:01
The Logic of Obligation as Weakest Permission,ogics adequacy w.r.t. the paradoxes of (classic) deontic logic and provide a sound and complete axiomatization for it. We finally show that practical, rational recommendations in games provide a natural, concrete application of such an understanding of obligations and permissions.
AIL
发表于 2025-3-25 15:21:57
Discussion Paper: Changing Norms Is Changing Obligation Change,es norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.
使迷醉
发表于 2025-3-25 19:44:41
Deontic Logic in Computer Science978-3-642-31570-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
Concomitant
发表于 2025-3-25 21:39:15
Lehren und Lernen im dualen Studiumvisualize abstract normative systems, in such a way that we are able to reason with institutional facts, obligations and permissions. Moreover, we detect meaningful patterns emerging from the proposed visualization, and we show how these patterns can be used to define commonly used reusable solutions.
拘留
发表于 2025-3-26 01:39:09
http://reply.papertrans.cn/27/2657/265683/265683_26.png
Nebulizer
发表于 2025-3-26 05:41:12
https://doi.org/10.1007/978-3-031-24583-1social sciences, it has been far less studied in the field of deontic logic and multi-agent systems (MASs). We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral agent. All these concepts are formalized in a variant of . logic with explicit actions.
FLACK
发表于 2025-3-26 11:36:23
http://reply.papertrans.cn/27/2657/265683/265683_28.png
humectant
发表于 2025-3-26 13:27:17
http://reply.papertrans.cn/27/2657/265683/265683_29.png
ICLE
发表于 2025-3-26 19:25:38
Possible World Semantics for Defeasible Deontic Logic,gics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible logics remained elusive. In this paper we address this issue.