.png){kind=icon}
返回
A representative model based algorithm for maximal contractions
.png){kind=icon}
PRE
AI
DOI：10.1007/s11432-012-4752-y.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we propose a representative model based algorithm to calculate maximal contractions. For a formal theory Gamma and a fact set Delta, the algorithm begins by accepting all models of refutation by facts of Gamma with respect to Delta and filters these models to obtain the models of R-refutation. According to the completeness of R-calculus, the relevant maximal contraction is obtained simultaneously. In order to improve the efficiency, we divide the models into different classes according to the assignments of atomic propositions and only select relevant representative models to verify the satisfiability of each proposition. The algorithm is correct, and all maximal contractions of a given problem can be calculated by it. Users could make a selection according to their requirements. A benchmark algorithm is also provided. Experiments show that the algorithm has a good performance on normal revision problems.
Keyword:
revision calculus
maximal contraction
belief change
assignment equivalence class
representative model
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
7.6
论文数:
4.9K
被引数:
9.8K
.png){kind=icon}
没有更多内容