Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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.