In computational learning theory, let C be a concept class over a domain X and c be a concept in C. A subset S of X is a witness set for c in C if c(S) verifies c (i.e., c is the only consistent concept with respect to c(S)). The minimum size of a witness set for c is called the witness size or specification number and is denoted by ${\displaystyle w_{C}(c)}$. The value ${\displaystyle \max\{w_{C}(c):c\in C\}}$ is called the teaching dimension of C.

This article does not cite any sources. (December 2009)

The topic of this article may not meet Wikipedia's general notability guideline. (September 2021)

This artificial intelligence-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e