Conjunto de testemunhas - Witness set

Em teoria da aprendizagem computacional , deixe C ser uma classe conceito sobre um domínio X e c ser um conceito em C . Um subconjunto S de X é um conjunto testemunha para c em C se c ( S ) verifica c (isto é, c é o único conceito consistente com respeito a c ( S )). O tamanho mínimo de um conjunto de testemunhas para c é chamado de tamanho de testemunha ou número de especificação e é denotado por . O valor é chamado a dimensão pedagógica de C .