Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Ten problems of deontic logic and normative reasoning in computer science
J Broersen, L van der Torre - … Summer School in Logic, Language and …, 2010 - Springer
This tutorial presents and discusses ten problems of deontic logic and normative reasoning
in computer science. Five of the problems have been taken or derived from a list of ten …
in computer science. Five of the problems have been taken or derived from a list of ten …
Deontic logic for strategic games
A Tamminga - Erkenntnis, 2013 - Springer
We develop a multi-agent deontic action logic to study the logical behaviour of two types of
deontic conditionals:(1) conditional obligations, having the form “If group H were to perform …
deontic conditionals:(1) conditional obligations, having the form “If group H were to perform …
Agreements as norms
P Turrini - Deontic Logic in Computer Science: 11th International …, 2012 - Springer
Deontic logic has extensively been used to reason about what a player (or coalition) should
do when confronted with several choices at its disposal while being aware of its opponents' …
do when confronted with several choices at its disposal while being aware of its opponents' …
Issues in designing logical models for norm change
J Broersen - International Workshop on Organized Adaption in Multi …, 2008 - Springer
The aim of this paper is to raise awareness of some issues in designing (formal) models for
norm change. I start by positioning this research in a broader context. Then I will briefly recall …
norm change. I start by positioning this research in a broader context. Then I will briefly recall …
Fair decomposition of group obligations
We consider the problem of decomposing a group norm into a set of individual obligations
for the agents comprising the group, such that if the individual obligations are fulfilled, the …
for the agents comprising the group, such that if the individual obligations are fulfilled, the …
Deontic logic
Deontic logic is the logic of obligation and permission. In the literature it has mainly been
studied in terms of a list of problems and that is the way we chose to present it in this section …
studied in terms of a list of problems and that is the way we chose to present it in this section …
Forbidding undesirable agreements: A dependence-based approach to the regulation of multi-agent systems
The purpose of this contribution is to set up a language to evaluate the results of concerted
action among interdependent agents against predetermined properties that we can …
action among interdependent agents against predetermined properties that we can …
Fair allocation of group tasks according to social norms
We consider the problem of decomposing a group norm into a set of individual obligations
for the agents comprising the group, such that if the individual obligations are fulfilled, the …
for the agents comprising the group, such that if the individual obligations are fulfilled, the …
Contrary-To-Duties in Games
The aim of the paper is to bring to the realm of game theory the well-known deontic notion of
contrary-to-duty (CTD) obligation, so far not investigated in relation to optimality of strategic …
contrary-to-duty (CTD) obligation, so far not investigated in relation to optimality of strategic …
Forbidding undesirable agreements
The purpose of this contribution is to set up a language to evaluate the results of concerted
action among interdependent agents against predetermined properties that we can …
action among interdependent agents against predetermined properties that we can …