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

Detalhes bibliográficos
Autor(a) principal: Julia, Rita Maria da Silva
Data de Publicação: 1995
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1583570
Resumo: Texto em portugues e frances
id UNICAMP-30_6ce8c0b073bc7fc3db5c714b4ef71184
oai_identifier_str oai::106935
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informaçãoProcessamento de linguagem natural (Computação)Inteligência artificialTeoria do conhecimentoLógica - Estudo e ensinoRecuperação da informaçãoTexto em portugues e francesOrientadores: Marcio Luiz Andrade Netto, Mario Borillo, Antonio Eduardo Costa PereiraTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica ; Universite Paul Sabatier (Toulouse, França)Resumo: Nós apresentamos um sistema que analisa sintática e semanticamente um conjunto de asserções, que introduz as asserções analisadas em uma base de conhecimentos e que recupera informações a partir desta base. As asserções correspondem a exigências que compõem um conjunto de especificações de programas. Elas correspondem a um tipo particular de frases em linguagem natural que se referem ao contexto das ciências espaciais. As asserções são estocadas na base de conhecimentos como fórmulas do Cálculo dos Predicados cujas variáveis são anotadas por conceitos da Lógica Terminológica. As perguntas propostas ao sistema também precisam ser analisadas sintática e semanticamente de tal maneira a apresentarem a mesma forma correspondente às asserções estocadas na base. o analisador sintático e semântico implementado é capaz de gerar automaticamente algumas regras semânticas. Para a recuperação da informação, nós usamos um provador de teoremas híbrido do Cálculo dos Predicados que responde perguntas efetuando uma avaliação parcial delas a partir da base de conhecimentos. O provador de teoremas utiliza a semântica da Lógica Terminológica para guiar seu mecanismo de inferência. Os recursos da subsunção da Lógica Terminológica são utilizados para simplificara base de conhecimentos e o traço de provaAbstract: 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 engmeDoutoradoDoutor em Engenharia Elétrica[s.n.]Andrade Netto, Marcio Luiz de, 1947-2019Borillo, MarioPereira, Antonio Eduardo Costa, 1948-Universite Paul SabatierUniversidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASJulia, Rita Maria da Silva19951995-11-28T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf1v. (varias paginações).(Broch.)https://hdl.handle.net/20.500.12733/1583570JULIA, Rita Maria da Silva. Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação. 1995. 1v. (varias paginações) Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica ; Universite Paul Sabatier (Toulouse, França), Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583570. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/106935porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-05-03T15:35:48Zoai::106935Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-05-03T15:35:48Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
title Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
spellingShingle Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
Julia, Rita Maria da Silva
Processamento de linguagem natural (Computação)
Inteligência artificial
Teoria do conhecimento
Lógica - Estudo e ensino
Recuperação da informação
title_short Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
title_full Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
title_fullStr Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
title_full_unstemmed Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
title_sort Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
author Julia, Rita Maria da Silva
author_facet Julia, Rita Maria da Silva
author_role author
dc.contributor.none.fl_str_mv Andrade Netto, Marcio Luiz de, 1947-2019
Borillo, Mario
Pereira, Antonio Eduardo Costa, 1948-
Universite Paul Sabatier
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica
Programa de Pós-Graduação não informado
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Julia, Rita Maria da Silva
dc.subject.por.fl_str_mv Processamento de linguagem natural (Computação)
Inteligência artificial
Teoria do conhecimento
Lógica - Estudo e ensino
Recuperação da informação
topic Processamento de linguagem natural (Computação)
Inteligência artificial
Teoria do conhecimento
Lógica - Estudo e ensino
Recuperação da informação
description Texto em portugues e frances
publishDate 1995
dc.date.none.fl_str_mv 1995
1995-11-28T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1583570
JULIA, Rita Maria da Silva. Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação. 1995. 1v. (varias paginações) Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica ; Universite Paul Sabatier (Toulouse, França), Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583570. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
JULIA, Rita Maria da Silva. Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação. 1995. 1v. (varias paginações) Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica ; Universite Paul Sabatier (Toulouse, França), Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583570. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1583570
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/106935
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
1v. (varias paginações).
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188786642354176

Registros relacionados