三种概念学习形式的逻辑定义与归约

Logical Definition and Reduction of Three Formalizations of Concept-learning

介绍了３种主要的概念学习形式———解释学习、断定学习（部分解释学习）和满足学习，讨论了这３种概念学习形式的归约关系．

It briefly introduces three basic formalizations of Concept Learning learning from interpretation,learning from entailment (learning from partial interpretation) and learning from satisfiability and discusses the reduction relation among the basic Concept Learning types.