Uma lógica para a referência ambígua
Autor(a) principal: | |
---|---|
Data de Publicação: | 2007 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFSC |
Texto Completo: | 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 |
2373 |
spelling |
Uma lógica para a referência ambíguaInformaticaCiência da computaçãoAmbiguidadeSemânticaLogicaDissertaçã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.Florianópolis, SCBuchsbaum, Arthur Ronald de VallaurisUniversidade Federal de Santa CatarinaSebben, Andressa2012-10-23T06:44:37Z2012-10-23T06:44:37Z20072007info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf247160http://repositorio.ufsc.br/xmlui/handle/123456789/90161porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-05-03T06:11:53Zoai:repositorio.ufsc.br:123456789/90161Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-03T06:11:53Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.none.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.none.fl_str_mv |
Buchsbaum, Arthur Ronald de Vallauris Universidade Federal de Santa Catarina |
dc.contributor.author.fl_str_mv |
Sebben, Andressa |
dc.subject.por.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.none.fl_str_mv |
2007 2007 2012-10-23T06:44:37Z 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 |
247160 http://repositorio.ufsc.br/xmlui/handle/123456789/90161 |
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.format.none.fl_str_mv |
application/pdf |
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 |
repository.name.fl_str_mv |
Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC) |
repository.mail.fl_str_mv |
|
_version_ |
1808652004371726336 |