Iniquitous
发表于 2025-3-28 16:50:00
Ewa Orlowska,Joanna Golińska Pilarek the stable model semantics (also usually called answer set programs) in which complex formulas of a given parameter logic are allowed to appear in the body and head of rules. The choice of the parameter logic depends largely on the domain of the problem to be modeled..In this paper we show how inpu
不成比例
发表于 2025-3-28 20:09:04
Ewa Orłowska,Joanna Golińska-Pilarekovide a number of desiderata that a logic should satisfy in order to represent contrary-to-duty obligations using sanction semantics. I then show that no logic satisfying all desiderata can faithfully represent contrary-to-duty obligations. Finally I show that when dropping any one of the desiderata
DENT
发表于 2025-3-28 23:34:28
Ewa Orłowska,Joanna Golińska-Pilarekor some . ∈ . ⊆ {0,1,…, . + 1}. Note that for the case of . = 1 and fact ¬.. we have the Chisholm paradox..We also allow for temporal sequencing of the .. in the form that .. may come temporally before or after ....We offer a representation of this problem in a variation of standard deontic logic th
CT-angiography
发表于 2025-3-29 05:40:59
http://reply.papertrans.cn/27/2657/265683/265683_44.png
弹药
发表于 2025-3-29 10:38:57
https://doi.org/10.1007/978-3-031-44575-0s. We define a probabilistic defeasible logic instantiating Dung’s argumentation framework. Rules of this logic are attached to probabilities and describe the agents’ minds and behaviour. We thus adopt the paradigm of reinforcement learning over this probability distribution to allow agents to adapt
Obituary
发表于 2025-3-29 14:58:07
Pseudo TP/TS Fuzzy Model Transformation do in . is consistent with .. In such a case . can be called the weakest permission that . has in .. We show that, under this interpretation, obligation and permission are not dual notions, and that it gives rise to an interesting interplay between deontic and alethic notions. We also discuss the l
思乡病
发表于 2025-3-29 17:15:20
http://reply.papertrans.cn/27/2657/265683/265683_47.png
斑驳
发表于 2025-3-29 21:00:45
http://reply.papertrans.cn/27/2657/265683/265683_48.png
Engaged
发表于 2025-3-30 03:18:02
Myocardial Perfusion by Dual Energy CT a language with a finite number of basic actions, parallel and sequential compositions of actions, a free choice operator and the standard deontic operators of obligation, strong permission and prohibition. The main achievements of the paper are definitions of metalogical counterparts of deontic op
团结
发表于 2025-3-30 05:48:26
Thomas Flohr PhD,Bernhard Schmidt PhDthe nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguish