Vitnemengde

Vitnemengde er et begrep innen maskinlæringsteori. La C vere en konseptklasse over et domene X og c et konsept i C. En undermengde S av X er en vitnemengde for c i C hvis c(S) verifiserer c. Det vil si at c er det eneste konsistente konsept med omsyn til c(S)). Den minste størrelsen for en vitnemengde for c kalles vitnestørrelsen eller spesifikasjonsnummeret (specification number) og betegnes $w_{C}(c)$. Verdien $\max\{w_{C}(c):c\in C\}$ kalles læringsdimensjonen til C.