Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa

Detalhes bibliográficos
Autor(a) principal: Mosca, Paulo Roberto Ferrari
Data de Publicação: 1988
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/257020
Resumo: Esse trabalho assume que nâo existe uma diferença teórica importante entre as linguagens formais e as linguagens naturais. Uma teoria formalizada em lógica para um processador para a língua portuguesa é apresentada. A sintaxe usa apenas regras livres de contexto. A semântica é construída como este no PTQ de Montague. Existem ainda um cálculo lógico sobre o "aspecto verbal" e um tratamento lógico do tempo verbal.
id URGS_4216ebcdb70e2969b6082ac471ae673f
oai_identifier_str oai:www.lume.ufrgs.br:10183/257020
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Mosca, Paulo Roberto FerrariAzeredo, Paulo Alberto deCosta, Antonio Carlos da Rocha2023-04-13T03:23:34Z1988http://hdl.handle.net/10183/257020000031674Esse trabalho assume que nâo existe uma diferença teórica importante entre as linguagens formais e as linguagens naturais. Uma teoria formalizada em lógica para um processador para a língua portuguesa é apresentada. A sintaxe usa apenas regras livres de contexto. A semântica é construída como este no PTQ de Montague. Existem ainda um cálculo lógico sobre o "aspecto verbal" e um tratamento lógico do tempo verbal.This work assume that an important theoretical difference not exists between formal and natural languages. A logic formalized theory for a Portuguese language processar is presented. The syntax use context free rules only. The semantics is Montague's PTQ like. Moreover, there are a logic calculation for "verbal aspect" and a logic treatment for verbal tense.application/pdfporInteligência artificialPrologProcessamento : Linguagem naturalLinguística computacionalProgramação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1988mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000031674.pdf.txt000031674.pdf.txtExtracted Texttext/plain668277http://www.lume.ufrgs.br/bitstream/10183/257020/2/000031674.pdf.txtce674872d237ec71db5916117656ad85MD52ORIGINAL000031674.pdfTexto completoapplication/pdf25736408http://www.lume.ufrgs.br/bitstream/10183/257020/1/000031674.pdfdbfecf1deeadbb98df58f4f39db8d2b9MD5110183/2570202023-04-15 03:23:00.0422oai:www.lume.ufrgs.br:10183/257020Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532023-04-15T06:23Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
title Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
spellingShingle Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
Mosca, Paulo Roberto Ferrari
Inteligência artificial
Prolog
Processamento : Linguagem natural
Linguística computacional
title_short Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
title_full Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
title_fullStr Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
title_full_unstemmed Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
title_sort Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
author Mosca, Paulo Roberto Ferrari
author_facet Mosca, Paulo Roberto Ferrari
author_role author
dc.contributor.author.fl_str_mv Mosca, Paulo Roberto Ferrari
dc.contributor.advisor1.fl_str_mv Azeredo, Paulo Alberto de
dc.contributor.advisor-co1.fl_str_mv Costa, Antonio Carlos da Rocha
contributor_str_mv Azeredo, Paulo Alberto de
Costa, Antonio Carlos da Rocha
dc.subject.por.fl_str_mv Inteligência artificial
Prolog
Processamento : Linguagem natural
Linguística computacional
topic Inteligência artificial
Prolog
Processamento : Linguagem natural
Linguística computacional
description Esse trabalho assume que nâo existe uma diferença teórica importante entre as linguagens formais e as linguagens naturais. Uma teoria formalizada em lógica para um processador para a língua portuguesa é apresentada. A sintaxe usa apenas regras livres de contexto. A semântica é construída como este no PTQ de Montague. Existem ainda um cálculo lógico sobre o "aspecto verbal" e um tratamento lógico do tempo verbal.
publishDate 1988
dc.date.issued.fl_str_mv 1988
dc.date.accessioned.fl_str_mv 2023-04-13T03:23:34Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/257020
dc.identifier.nrb.pt_BR.fl_str_mv 000031674
url http://hdl.handle.net/10183/257020
identifier_str_mv 000031674
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/257020/2/000031674.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/257020/1/000031674.pdf
bitstream.checksum.fl_str_mv ce674872d237ec71db5916117656ad85
dbfecf1deeadbb98df58f4f39db8d2b9
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810085614591148032

Registros relacionados