Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
Autor(a) principal: | |
---|---|
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 |