Meta-modelo funcional para recuperação de informação baseado em λ-cálculo

AUTOR(ES)
DATA DE PUBLICAÇÃO

2006

RESUMO

Modelagem é um tópico de pesquisa central em Recuperação de Informação (RI). Uma abordagem para estudo e desenvolvimento de novos modelos de RI são os frameworks genéricos. Estes frameworks podem ser vistos como meta-modelos formais que incluem uma notação utilizada para descrever modelos de RI e possibilitar a investigação da semântica do processo de recuperação. Além disso, estes meta-modelos facilitam o raciocínio sobre as características e propriedades de modelos de recuperação de informação. Nesta dissertação, propomos um framework funcional genérico e formal, baseado em λ-cálculo, para definição e estudo de modelos de RI, denominado Estrutura Funcional. Este framework (ou meta-modelo) permite a representação, combinação, formulação e comparação de equivalência entre modelos de RI. Neste meta-modelo, os modelos de RI são representados através de funções, ou seja, definimos formalmente os componentes tais como documentos, consultas e função de similaridade de modelos de recuperação de informação, utilizando o λ-cálculo. Esta estratégia tem como elemento principal o conceito de funções, neste sentido difere dos modelos tradicionais, que geralmente consideram pesos de termos, vetores, etc como fundamentos. Ao representarmos os modelos de RI em uma mesma linguagem funcional, como o λ-cálculo, a identificação dos argumentos e valores das funções ficam claros. Além disso, mostramos exemplos de como representar os modelos clássicos de RI, estudando a equivalência destes com modelos vetoriais alternativos definidos aqui, por meio da Estrutura Funcional. Também representamos nesta estrutura os modelos: redes de crença, sTerm e um baseado em ontologia. Com isso, verificamos que a passagem dos modelos de RI para a Estrutura Funcional possibilita a construção e a combinação de modelos, bem como permite compará-los quanto a sua similaridade (equivalência ou não), através de demonstrações algébricas, sem realizar experimentos.

ASSUNTO(S)

λ-cálculo ciencia da computacao functional structure formal metamodel recuperação de informação recuperação da informação λ-calculus estrutura funcional meta-modelo banco de dados information retrieval

ACESSO AO ARTIGO

Documentos Relacionados