Constraints for Input/Output Logics
Constraints for Input/Output Logics
复制标题
输入/输出逻辑的约束
DOI：
--
复制
发表时间：
2001
影响因子：
1.5
通讯作者：
Leendert van der Torre
中科院分区：
文献类型：
--
作者：
D. Makinson;Leendert van der Torre
在之前的论文中，我们开发了输入/输出逻辑的一般理论。这些操作类似于推理，但输入不需要包含在输出中，并且输出不需要可作为输入重复使用。在本文中，我们研究了当它们被限制呈现与输入一致的输出时会发生什么。这对于道义逻辑很有意义，它提供了一种处理违背义务义务的方式。我们的过程是约束输入/输出系统的生成器集合，仅考虑不会产生与给定输入冲突的输出的最大子集。当输入被授权重新出现为输出时，Alchourrón/Makinson 意义上的最大选择修正和 Poole 的默认逻辑都作为特殊情况出现，并且与 Reiter 默认逻辑有密切的关系。然而，我们的重点是输入不一定是输出的一般情况。我们展示了在什么情况下，输入与输出的一致性可以降低到与生成器组件的真值函数组合的一致性，以及在什么条件下可以通过每一步都受到约束的推导来获得受约束的输出。
In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where inputs need not be included among outputs, and outputs need not be reusable as inputs. In the present paper we study what happens when they are constrained to render output consistent with input. This is of interest for deontic logic, where it provides a manner of handling contrary-to-duty obligations. Our procedure is to constrain the set of generators of the input/output system, considering only the maximal subsets that do not yield output conflicting with a given input. When inputs are authorised to reappear as outputs, both maxichoice revision in the sense of Alchourrón/Makinson and the default logic of Poole emerge as special cases, and there is a close relation with Reiter default logic. However, our focus is on the general case where inputs need not be outputs. We show in what contexts the consistency of input with output may be reduced to its consistency with a truth-functional combination of components of generators, and under what conditions constrained output may be obtained by a derivation that is constrained at every step.