Edit: Como não recebo nenhuma resposta / comentário há uma semana, gostaria de acrescentar que estou feliz em saber algo sobre o problema. Eu não trabalho na área, portanto, mesmo que seja uma observação simples, talvez eu não saiba. Mesmo um comentário como "Eu trabalho na área, mas não vi uma caracterização como essa" seria útil!
Fundo:
Existem vários modelos de aprendizagem bem estudados na teoria da aprendizagem (por exemplo, aprendizagem do PAC, aprendizado on-line, aprendizado exato com consultas de associação / equivalência).
Por exemplo, no aprendizado do PAC, a complexidade da amostra de uma classe de conceito tem uma boa caracterização combinatória em termos da dimensão VC da classe. Portanto, se queremos aprender uma classe com precisão e confiança constantes, isso pode ser feito com amostras, em que é a dimensão VC. (Observe que estamos falando de complexidade da amostra, não da complexidade do tempo.) Também há uma caracterização mais refinada em termos de precisão e confiança. Da mesma forma, o modelo de aprendizado on-line com erros tem uma boa caracterização combinatória.
Questão:
Quero saber se um resultado semelhante é conhecido para o modelo de aprendizado exato com consultas de associação. O modelo é definido da seguinte forma: Temos acesso a uma caixa preta que na entrada fornece . Sabemos vem de algum conceito de classe . Queremos determinar com o mínimo de consultas possível.f ( x ) f C f
Existe um parâmetro combinatório de uma classe de conceito que caracteriza o número de consultas necessárias para aprender um conceito no modelo de aprendizado exato com consultas de associação?
O que eu sei:
A melhor caracterização que encontrei é neste artigo de Servedio e Gortler , usando um parâmetro que eles atribuem a Bshouty, Cleve, Gavaldà, Kannan e Tamon . Eles definem um parâmetro combinatório chamado , em que é a classe de conceito, que possui as seguintes propriedades. (Seja o número ideal de consultas necessárias para aprender neste modelo.) C Q C C
Essa caracterização é quase estreita. No entanto, pode haver um espaço quadrático entre os limites superior e inferior. Por exemplo, se , o limite inferior é , mas o limite superior éΩ ( k ) O ( k 2 ) Ω ( k ) O ( k 2 ) . (Eu também acho que essa lacuna é possível, ou seja, existe uma classe de conceito para a qual os limites inferiores são , mas o limite superior é .)