Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação

AUTOR(ES)
DATA DE PUBLICAÇÃO

1995

RESUMO

We present a system to analyse a set of assertions, to introduce the analysed assertions into a knowledge base and to retrieve informationfrom it. These assertions are requirements specified by the system engineer. They correspond to a particular type of sentences in Natural Language referring to Space Science context. The assertions are stored in the Knowledge Base as formulae of Predicate Calculus whose variables are annotated by concepts of TerminologicalLogic. The queries posed to the system must also be analysed in such a way as to get a form similar to that presented by the stored assertions. For information retrieval, we use a hybrid Theorem Prover of Predicate Calculus that answers questions by partially evaluating the query from the knowledge base. The Theorem Prover utilizes the semantics of TerminologicalLogic to guide its inference engme

ASSUNTO(S)

recuperação da informação teoria do conhecimento logica processamento de linguagem natural (computação) inteligencia artificial

ACESSO AO ARTIGO

Documentos Relacionados