基于CP网的值班人员模型
Modeling Contrary-to-Duty with CP-nets
摘要：
在道义逻辑的其他条件相同语义中，一个更大的规定集得到尊重的事态比一个其中一些规定被违反的事态更可取。条件偏好网（CP-nets）是一种表达和分析条件不变偏好的紧凑形式，具有良好的计算特性。本文展示了如何道义概念可以通过条件偏好模型捕获。定义了一个约束道义逻辑，并将其映射为条件偏好网。我们还将展示如何在CP网中建立与责任义务相反的模型，以及如何在这种形式主义中捕捉强许可和弱许可之间的区别。
英文摘要：
In a ceteris-paribus semantics for deontic logic, a state of affairs where a larger set of prescriptions is respected is preferable to a state of affairs where some of them are violated. Conditional preference nets (CP-nets) are a compact formalism to express and analyse ceteris paribus preferences, which nice computational properties. This paper shows how deontic concepts can be captured through conditional preference models. A restricted deontic logic will be defined, and mapped into conditional preference nets. We shall also show how to model contrary to duties obligations in CP-nets and how to capture in this formalism the distinction between strong and weak permission.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
