Duality between Merging Operators and Social Contraction Operators

Duality between Merging Operators and Social Contraction Operators
复制标题

合并算子和社会收缩算子之间的二元性

DOI:
--
复制
发表时间:
2012
期刊:
Logic Programming and Automated Reasoning
影响因子:
--
通讯作者:
R. Pérez
R. Pérez
中科院分区:
--
文献类型:
--
作者:
José Luis Chacón;R. Pérez

文献摘要

被引文献

相似文献

在AGM(Alchourron-Gardenfors-Makinson)框架中,修正算子和压缩算子之间存在对偶性.这种二重性是由列维恒等式和哈珀恒等式给出的。前者允许从收缩运算符开始定义修订运算符。后者允许从修订操作符开始定义收缩操作符。在这项工作中,我们表明,这种对偶性可以扩展到合并运营商和社会收缩运营商之间的对偶性,通过一些身份的风格的列维和哈珀身份。
In the AGM (Alchourron-Gardenfors-Makinson) framework there exists a duality between revision operators and contraction operators. This duality is given by the Levi identity and the Harper identity. The former allows to define a revision operator starting from a contraction operator. The latter allows to define a contraction operator starting from a revision operator. In this work we show that this duality can be extended to a duality between merging operators and social contraction operators through some identities in the style of the Levi and Harper identities.