Finding Errors in New Object Intents
Artem Revenko, Sergei O. Kuznetsov · 2012
Abstract. The classification of possible errors in object intents is given and some possibilities of exploring them are discussed. An approach for finding some types of errors in new object intents is introduced. This approach is based on finding implications from an implication basis of the context that are not respected by a new object. It is noted that this approach may lead to a computationally intractable solution. An alternative approach based on computing closure of subsets of object intent is considered. The alternative approach allows one to find a polynomial time algorithm and to deal with inconsistent combination of attributes. This algorithm may also be used to prove object’s correctness (existence) or to add missing attributes and remove unnecessary attributes from the object’s intent. Experimental results are discussed.