12、无反馈下记忆无记忆随机学习者的教学及查询学习相关研究

无反馈下记忆无记忆随机学习者的教学及查询学习相关研究

1. 查询学习相关内容

在查询学习过程中，存在两种情况需要考虑。第一种情况是存在强大查询的情形。若存在查询 (q) 以及对应的有效答案 (a)，使得询问 (q) 并观察教师的回答后，能够排除 (V) 中至少一半的函数，那么这样的 (q) 就是强大查询。

第二种情况，当不存在强大查询时，对于每个查询 (q)，都有有效的答案 (a)，使得 (V) 中至少一半的函数与 ((q, a)) 一致。此时会考虑由这类元素构成的回答方案 (T)，并在程序第 11 行调用 CandidateSetCover 过程来计算 (T) 的一个子集 (K)，该子集要满足覆盖性质，即 (V) 中至少一半的函数在 (K) 中有不一致见证。这里，若函数 (g \in V) 与 ((q, a)) 不一致，那么 ((q, a) \in K) 就是 (g) 的不一致见证。

以下是 CandidateSetCover 过程的代码：

procedure CandidateSetCover(V, T )
    U ←V
    K ←∅
    while |U| > |V |/2
        Let (q, a) ∈T be such that at least |U| / 2d concepts from U do not satisfy (q, a).
        //By Lemma 10 such (q, a) always exists
        W ←{g ∈U | g is not con