有效
发表于 2025-3-26 22:49:49
A Proposal for Dealing with Deontic Dilemmasncy and without deontic explosion, while at the same time preserving the range of genuinely valid inferences. The proposal applies both to monadic deontic logic and to a dyadic logic of conditional obligation. In the Appendix these systems are proved to be sound and complete with respect to an appropriate semantics and also to be decidable.
爆炸
发表于 2025-3-27 03:41:26
0302-9743 ogic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organ
辩论
发表于 2025-3-27 07:29:25
Drying of Wet Earth for Adobe Construction,s for conditional obligation and permission. Sound and complete axiomatizations are obtained for all three hierarchies relative to a simplified version of the finite co-ordinate-system semantics given for so-called T × W logic of historical necessity in Åqvist (1999).
帽子
发表于 2025-3-27 09:35:52
http://reply.papertrans.cn/27/2657/265681/265681_34.png
收到
发表于 2025-3-27 16:50:15
Dryland Dynamics and Driving Forcesoperators. We illustrate how the logic can be used by introducing and discussing various properties of normative systems and individual agents which can be represented in the logic. In particular we discuss the enforcement of norms.
商议
发表于 2025-3-27 19:52:47
http://reply.papertrans.cn/27/2657/265681/265681_36.png
斗争
发表于 2025-3-27 23:49:30
http://reply.papertrans.cn/27/2657/265681/265681_37.png
FAR
发表于 2025-3-28 03:04:18
https://doi.org/10.1007/978-1-4020-5480-8l agent desires, we formalize norm creation as a planning process for both the obligation and the associated sanctions or rewards, and we formalize the acceptance relation as both a belief of agents that the fulfilment of the norm leads to achievement of their desires, and the belief that other agents will act according to the norm.
试验
发表于 2025-3-28 09:49:01
Bromination Roasting of Rare Earth Oxidese are implied by the actual achievement of . before the deadline. We argue that this problem is caused by the fact that we model the obligation only from the point of view of its violation conditions. We show that the property might be eliminated by considering success conditions also.
intoxicate
发表于 2025-3-28 12:02:08
Social Laws in Alternating Times a consequence, existing . model checkers may be applied to these problems. We illustrate the concepts and techniques developed by means of a running example..(joint with with Wiebe van der Hoek and Mark Roberts)