Details

Autor(en) / Beteiligte

• Dongchen Jiang
• Yihua Lou
• Yi Jin

Titel

A Revision Approach Based on Assignment Equivalence Classes

Ist Teil von

• 2010 2nd International Workshop on Intelligent Systems and Applications, 2010, p.1-4

Ort / Verlag

IEEE

Erscheinungsjahr

2010

Quelle

IEEE/IET Electronic Library

Beschreibungen/Notizen

• The problem of belief revision and specification evolution has been studied for years. Different methods have been proposed to solve this problem. However, the problem of efficiency has not been solved well. Therefore, this paper proposes a revision algorithm based on assignment equivalence classes to improve the efficiency of the delegate model based algorithm. The new algorithm follows the same structure of the delegate model based algorithm but reduces the times of model checking. Concepts such as delegate models of a proposition set and sub-assignment equivalence classes are introduced, and relevant properties are also proved. The new algorithm is implemented, which has a better performance than before.