Uma lógica para a referência ambígua

Detalhes bibliográficos
Ano de defesa: 2007
Autor(a) principal: Sebben, Andressa
Orientador(a): Buchsbaum, Arthur Ronald de Vallauris
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Florianópolis, SC
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: http://repositorio.ufsc.br/xmlui/handle/123456789/90161
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.
id UFSC_a9f4c460073fb381969eedcce11ed3c4
oai_identifier_str oai:repositorio.ufsc.br:123456789/90161
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaSebben, AndressaBuchsbaum, Arthur Ronald de Vallauris2012-10-23T06:44:37Z2012-10-23T06:44:37Z20072007247160http://repositorio.ufsc.br/xmlui/handle/123456789/90161Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.Descritores são operadores que formam termos a partir de variáveis e fórmulas de sistemas lógicos. Diversas teorias introduzem descritores para representar, em linguagens formais, o artigo definido (o/a) e o artigo indefinido (um/uma) das linguagens naturais. Entretanto, as abordagens mais conhecidas não oferecem um tratamento para termos ambíguos. A lógica LAR (Logic of Ambiguous Reference), originalmente apresentada em Buchsbaum(2002), foi proposta para representar adequadamente estas situações, bastante comuns na matemática e na linguagem cotidiana. LAR apresenta um modo diferenciado de tratar descrições, através da associação de cada termo a uma coleção de objetos do universo de discurso, em oposição às semânticas usuais, as quais associam cada termo a um único objeto. Dessa forma, pode-se tratar uniformemente descrições unívocas, vácuas ou ambíguas. Outra característica de destaque é o conceito de abrangência, o qual opera como uma igualdade unidirecional. Essas duas características, descrição e abrangência, permitem uma representação de conhecimento mais próxima da prática lingüística usual. Este trabalho apresenta um detalhamento de LAR, incluindo provas dos resultados originais e algumas correções, além da apresentação de diversos exemplos. Por fim, LAR é comparada às lógicas descritivas de Bertrand Russell, de John Barkley Rosser e de David Hilbert.porFlorianópolis, SCInformaticaCiência da computaçãoAmbiguidadeSemânticaLogicaUma lógica para a referência ambíguainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL247160.pdfapplication/pdf935971https://repositorio.ufsc.br/bitstream/123456789/90161/1/247160.pdf3be79a9c89f8cf419503feef85d5261eMD51TEXT247160.pdf.txt247160.pdf.txtExtracted Texttext/plain356643https://repositorio.ufsc.br/bitstream/123456789/90161/2/247160.pdf.txt77691621e5622d40aa8608f4f59dabb2MD52THUMBNAIL247160.pdf.jpg247160.pdf.jpgGenerated Thumbnailimage/jpeg707https://repositorio.ufsc.br/bitstream/123456789/90161/3/247160.pdf.jpg673eb773a1c9a281ec2c260b6a341261MD53123456789/901612013-05-03 03:11:53.956oai:repositorio.ufsc.br:123456789/90161Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732013-05-03T06:11:53Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Uma lógica para a referência ambígua
title Uma lógica para a referência ambígua
spellingShingle Uma lógica para a referência ambígua
Sebben, Andressa
Informatica
Ciência da computação
Ambiguidade
Semântica
Logica
title_short Uma lógica para a referência ambígua
title_full Uma lógica para a referência ambígua
title_fullStr Uma lógica para a referência ambígua
title_full_unstemmed Uma lógica para a referência ambígua
title_sort Uma lógica para a referência ambígua
author Sebben, Andressa
author_facet Sebben, Andressa
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Sebben, Andressa
dc.contributor.advisor1.fl_str_mv Buchsbaum, Arthur Ronald de Vallauris
contributor_str_mv Buchsbaum, Arthur Ronald de Vallauris
dc.subject.classification.pt_BR.fl_str_mv Informatica
Ciência da computação
Ambiguidade
Semântica
Logica
topic Informatica
Ciência da computação
Ambiguidade
Semântica
Logica
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.
publishDate 2007
dc.date.submitted.pt_BR.fl_str_mv 2007
dc.date.issued.fl_str_mv 2007
dc.date.accessioned.fl_str_mv 2012-10-23T06:44:37Z
dc.date.available.fl_str_mv 2012-10-23T06:44:37Z
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://repositorio.ufsc.br/xmlui/handle/123456789/90161
dc.identifier.other.pt_BR.fl_str_mv 247160
identifier_str_mv 247160
url http://repositorio.ufsc.br/xmlui/handle/123456789/90161
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.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/90161/1/247160.pdf
https://repositorio.ufsc.br/bitstream/123456789/90161/2/247160.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/90161/3/247160.pdf.jpg
bitstream.checksum.fl_str_mv 3be79a9c89f8cf419503feef85d5261e
77691621e5622d40aa8608f4f59dabb2
673eb773a1c9a281ec2c260b6a341261
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758939252719616

Registros relacionados