.png){kind=icon}
.png){kind=icon}
返回
DA2 merging operators
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2004.04.008.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
A new framework for propositional merging is presented. DA(2) merging operators, parameterized by a distance between interpretations and two aggregation functions, are introduced. Many distances and aggregation functions can be used and many merging operators already defined in the literature (including both model-based ones and syntax-based ones) can be encoded as specific DA(2) operators. Both logical and complexity properties of those operators are studied. An important result is that (under very weak assumptions) query entailment from merged bases is only at the first level of the polynomial hierarchy when any of the DA(2) operators is used. As a by-product, complexity results for several existing merging operators are derived as well. (C) 2004 Elsevier B.V. All rights reserved.
Keyword:
knowledge representation
belief merging
computational complexity
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。