2 概念学习

目标函数是个布尔函数，表征该概念是否成立。

归纳偏置，不能完美表述事件。

假设概念存在于某个全局空间的局部中。文中是在合取式能表示的子集中。这种叫限定偏置。

general和special，general than是超集，是取并。special than是子集，取交。

方法二：寻找极大特殊假设，用实例泛化最特殊假设。其实就是给每个属性一个取值为0/1的系数，使用所有用例形成一个合取式。其中的反例使用！（a^b）的格式，展开后是析取式。由于规定概念由合取式表示，所以忽略了合取的反例。

方法三：候选消除法，用最特殊假设和最一般假设来表示概念可能在的范围。用正例泛化特殊假设的界。用反例特化一般假设界。过程中，注意一般界要general than所有特殊界，反之亦然。最终结果是符合上下界的全部假设，不一定出现在用例中。

训练用例，在日志使用完之后。将query新的用例。新的用例要在当前范围之内，最好是二分整个可行范围，这样可以以最少用例得到最精确结果（二分法猜数字）。