Identificação de linguagem no limite
De Wikipedia, a enciclopédia encyclopedia
Identificação de linguagem no limite é um modelo formal de inferência indutiva. Esse modelo foi introduzido por E. Mark Gold no seu artigo com o mesmo título.[1] Nesse modelo, um aprendiz é fornecido com a apresentação (i.e. strings) de alguma linguagem formal. A aprendizagem é vista como um processo infinito. Cada vez que um elemento da apresentação é lido, o aprendiz deve fornecer uma representação (e.g. uma gramática formal) para a linguagem. Um aprendiz pode identificar o limite de uma classe de linguagens se dada qualquer representação de qualquer linguagem da classe, o aprendiz irá produzir somente um número finito de representações erradas, e portanto, converge na representação correta em um número finito de passos, sem necessariamente ser capaz de dizer sua correção desde um contraexemplo para que a representação possa parecer um elemento arbitrariamente grande.
Foram assinalados vários problemas nesta página ou se(c)ção:
|
Gold definiu dois tipos de apresentações:
- Texto (informação positiva): uma enumeração de todas as palavras que a linguagem consiste;
- Representação completa (informação positiva e negativa): uma enumeração de todas as possíveis palavras, cada uma com um rótulo indicando se a palavra pertence à linguagem ou não.