Algorithm 4: Reduction rate and accuracy rate based model verification algorithm

Input: Sequence (item), List (rule), U: List (u)

Output: reduction_rate, accuracy_rate

1

Traverse every item in List (u) as u

2

Traverse every item in Sequence (item) as i

3

Get the value v of i from u and store s < i, v> in S

4

Traverse every item in List (rule) as r

5

If S matches the antecedent of r successfully, store s < i, v> in S and S’

6

Traverse every item in Sequence (item) as i

7

If i is not in the key collection of S, get the value v of i from u and store s < i, v> in S

8

Traverse every item in S’ as s

9

If the value v of i is equal to the value v’ of i in u, set counter to be counter+1

10

Set rr as the result of the length of S divides by the length of S’

11

Set ar as the result of the length of S divides by counter