AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
Belief Revision on Computation Tree Logic
Paulo T. Guerra, Renata Wassermann

Last modified: 2011-06-29


Model checking is one of the most effective techniques in automated system verification. Although this technique can handle complex verifications, model checking tools usually do not give any suggestions on how to repair inconsistent system models. In this paper, we show that approaches developed to update models of Computation Tree Logic (CTL) cannot deal with all kinds of changes. We introduce the concept of CTL model revision: an approach based on belief revision to handle system inconsistency in a static context.

Full Text: PDF