鸵鸟
发表于 2025-3-28 16:19:41
http://reply.papertrans.cn/27/2657/265678/265678_41.png
体贴
发表于 2025-3-28 21:45:11
https://doi.org/10.1007/978-3-662-40303-7at ought to be done in a particular situation, with moral norms perhaps emerging from this reasoning. We model this situated reasoning drawing on our previous work on argumentation schemes, here set in the context of Action-Based Alternating Transition Systems. We distinguish what prudentially ought
alcoholism
发表于 2025-3-29 02:18:22
Walter Modell (Associate Professor)ations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as
下船
发表于 2025-3-29 07:08:46
http://reply.papertrans.cn/27/2657/265678/265678_44.png
手势
发表于 2025-3-29 09:00:43
https://doi.org/10.1007/978-3-662-40303-7les us to model several concepts discussed in the deontic logic literature. Among the issues discussed are: conditionality, ought implies can, deliberateness, settledness, achievement obligations versus maintenance obligations and deontic detachment. We motivate our framework by arguing for the impo
leniency
发表于 2025-3-29 12:10:13
http://reply.papertrans.cn/27/2657/265678/265678_46.png
etiquette
发表于 2025-3-29 16:25:23
Walter Modell (Associate Professor)n of it. Then, we study the interaction between the temporal dimension and the deontic dimension. We present some logical properties, concerning formulas where deontic and temporal operators are nested, and discuss their intuitive meaning. We focus more particularly on the properties of obligation w
增减字母法
发表于 2025-3-29 23:39:10
http://reply.papertrans.cn/27/2657/265678/265678_48.png
ironic
发表于 2025-3-30 00:31:16
Walter Modell (Associate Professor)often one has duties of longer durations such as: “Never do that”, or “Do this someday”. In this paper, we will investigate how to amend ... so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not i
黄瓜
发表于 2025-3-30 05:45:07
Walter Modell (Associate Professor)ype of normative modality. It is then argued that, in terms of inferencing related to this modality, a solution can be given to the task J. L. Austin set but failed to resolve: finding a criterion for distinguishing between what Austin called . and . The remainder of the paper indicates the importan