论文标题
有条件的描述符修订：文字描述符和有条件保存
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
论文作者
论文摘要
汉森的描述符修订是解决信念变化问题的框架。在描述符修订中，在共同框架中处理了各种变更过程。个人变更要求由信念描述符表达的特定成功条件符合资格，而信念描述符可以通过逻辑连接剂结合使用。这与当前由Alchourrón，Gärdenfors和Makinson塑造的当前主导的AGM范式形成鲜明对比，那里分别处理各种变化，例如修订或收缩。在本文中，我们调查了有条件逻辑的描述符修订版，同时将描述符限制为文字描述符的结合。我们将克恩·伊斯伯纳（Kern-Isberner）开发的条件保存原则应用于有条件的描述符修订版，展示如何在这些限制下的有条件的描述符修订，以约束满意度问题来表征，并使用约束逻辑编程实施它。由于我们的条件逻辑归因于命题逻辑，因此我们的方法还实现了命题逻辑的描述符修订版。
Descriptor revision by Hansson is a framework for addressing the problem of belief change. In descriptor revision, different kinds of change processes are dealt with in a joint framework. Individual change requirements are qualified by specific success conditions expressed by a belief descriptor, and belief descriptors can be combined by logical connectives. This is in contrast to the currently dominating AGM paradigm shaped by Alchourrón, Gärdenfors, and Makinson, where different kinds of changes, like a revision or a contraction, are dealt with separately. In this article, we investigate the realisation of descriptor revision for a conditional logic while restricting descriptors to the conjunction of literal descriptors. We apply the principle of conditional preservation developed by Kern-Isberner to descriptor revision for conditionals, show how descriptor revision for conditionals under these restrictions can be characterised by a constraint satisfaction problem, and implement it using constraint logic programming. Since our conditional logic subsumes propositional logic, our approach also realises descriptor revision for propositional logic.
