Intelligent information extraction using logical approach: Skolemize clauses binding

This paper is concerned with the problem of generating an automated information extraction in the context of logical knowledge representation, reasoning, and inferential processing.The research focused on Wh types of question to a restricted domain. Here, an existing resolution theorem prover with the modification of some components was adapted based on experiments carried out such as: knowledge representation, and automated information answer generation. Based on that, a Pragmatic Skolemize Clauses representation used to represent the semantic formalism for the computational linguistic was designed.The process of reasoning in generating automated information began with the execution of resolution theorem proving.Then, the answer extraction was proceed with skolemize clauses binding approach to continue tracking the relevant semantic relation rules in knowledge base, which contained the answer key in skolem constant form that can be bounded.The complete relevant information is defined as a set of skolemize clauses containing at least one skolem constant that is shared and bound to each other

Inter-relaão das técnicas Term Extration e Query Expansion aplicadas na recuperação de documentos textuais

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia e Gestão do ConhecimentoConforme Sighal (2006) as pessoas reconhecem a importância do armazenamento e busca da informação e, com o advento dos computadores, tornou-se possível o armazenamento de grandes quantidades dela em bases de dados. Em conseqüência, catalogar a informação destas bases tornou-se imprescindível. Nesse contexto, o campo da Recuperação da Informação, surgiu na década de 50, com a finalidade de promover a construção de ferramentas computacionais que permitissem aos usuários utilizar de maneira mais eficiente essas bases de dados. O principal objetivo da presente pesquisa é desenvolver um Modelo Computacional que possibilite a recuperação de documentos textuais ordenados pela similaridade semântica, baseado na intersecção das técnicas de Term Extration e Query Expansion