.png){kind=icon}
.png){kind=icon}
Return
A representative model based algorithm for maximal contractions
.png){kind=icon}
PRE
AI
DOI：10.1007/s11432-012-4752-y.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
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.
Keywords:
revision calculus
maximal contraction
belief change
assignment equivalence class
representative model
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
7.6
Papers:
4.9K
Citations:
8.9K