Evaluating model abstractions: A quantitative approach

An "evaluation" approach devised for an inductive reasoning system called Logic-based Discrete-event Inductive Reasoner is the focus of this paper. The underlying inductive reasoning methodology utilizes abstractions as its primary means to deal with lack of knowledge. Based on abstractions and their treatments as assumptions, the Logic-based Discrete-event Inductive Reasoning system allows non-monotonic predictions. The evaluation approach takes into account explicitly the role of abstractions employed in non-monotonically derived multiple predictions. These predictions are ranked according to the type and number of abstractions used. The proposed evaluation approach is also discussed in relation to the dichotomy of model validation and simulation correctness.