Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/12558
metadata.dc.type: Dissertação
metadata.dc.rights: Acesso Aberto
Title: Meta-modelo funcional para recuperação de informação baseado em λ-cálculo
metadata.dc.creator: Santos, Daniel Gonzaga dos
metadata.dc.contributor.advisor1: Souza, João Nunes de
metadata.dc.contributor.referee1: Maia, Marcelo de Almeida
metadata.dc.contributor.referee2: Gonçalves, Marcos André
metadata.dc.description.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.
Abstract: Modeling is a topic of the central research in Information Retrieval (IR). Generic frameworks are approaches for study and development of new IR models is generic frameworks. These frameworks could be seen as formal metamodels that include a notation used to describe IR models and to make possible the research on the semantics retrieval process. Besides that, these metamodels make easier the reasoning on the characteristics and properties of information Retrieval models. In this dissertation, we offer a generic and formal functional framework, based on λ-calculus, for definition and study of the IR models, also called Functional Structure. This framework (or metamodel) allows the representation, combination formularization and equivalence comparison among IR models. In this metamodel, the IR models are represented by functions, that is, we have formally defined the components such as documents, consultations and similarity function of information Retrieval models, using the λ-calculus. This strategy has as the main element the functions concept, in this meaning it differs from the traditional models, which generally consider weights of terms, vectors, etc as beddings. When representing the IR models in a same functional language, as the λ-calculus, the identification of the arguments and values of the functions are clear. Moreover, we show examples of how to represent the classic IR models, studying the equivalence of alternative vectorial models, defined here using the Functional Structure. We also represent in this structure the following models: belief networks, sTerm and a based on ontology. By this, we verify that the representation of the IR models to the Functional Structure makes possible the construction and the combination of models, it also allows the comparison among them by its similarity (equivalence or not), through algebraic demonstrations, without carrying through experiments.
Keywords: Estrutura funcional
λ-cálculo
Recuperação de informação
Meta-modelo
Functional structure
λ-calculus
Information retrieval
Formal metamodel
Recuperação da informação
Banco de Dados
metadata.dc.subject.cnpq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
metadata.dc.language: por
metadata.dc.publisher.country: BR
Publisher: Universidade Federal de Uberlândia
metadata.dc.publisher.initials: UFU
metadata.dc.publisher.department: Ciências Exatas e da Terra
metadata.dc.publisher.program: Programa de Pós-graduação em Ciência da Computação
Citation: SANTOS, Daniel Gonzaga dos. Meta-modelo funcional para recuperação de informação baseado em λ-cálculo. 2006. 123 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2006.
URI: https://repositorio.ufu.br/handle/123456789/12558
Issue Date: 18-Dec-2006
Appears in Collections:PPGCC - Mestrado em Ciência da Computação

Files in This Item:
File Description SizeFormat 
DGSantosDISSPRT.pdf561.04 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.