Para uma teoria de traduções entre logicas cumulativas

Detalhes bibliográficos
Autor(a) principal: Scheer, Mauro Cesar
Data de Publicação: 2002
Tipo de documento: Dissertação
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/1593175
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_703a49cbd8421d164855f986f6d7f2a4
oai_identifier_str oai::270924
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 Para uma teoria de traduções entre logicas cumulativasLógica - Estudo e ensinoLógica matemática não-clássicaOrientador: Itala Maria Loffredo D'OttavianoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Há inúmeras situações pertinentes ao mundo real em que necessariamente trabalhamos com conhecimento incompleto. Muitas vezes temos que tomar decisões que pensamos ser as mais corretas, decisões que são corroboradas por um conjunto de informações incompletas, ou seja, inferimos conclusões "plausíveis" e "consistentes" com nossa base de conhecimento. Um formalismo para "raciocinar" de forma eficiente sobre uma base de conhecimento incompleto deve ser capaz de admitir expressões que sejam válidas em geral, reconhecer e assimilar exceções quando necessário. As lógicas não monotônicas são adequadas ao tipo de formalismo a que estamos nos referindo. Mas quais são as propriedades mínimas que caracterizam a não monotonicidade de certas lógicas? As propriedades consideradas fundamentais para sistemas não monotônicos serão apresentadas neste trabalho, juntamente com as várias relações entre essas propriedades. Nos primeiros capítulos apresentamos a família dos operadores cumulativos e, a partir da propriedade distributiva, dedutiva e supracompacta apresentamos outras famílias de operadores cumulativos. Em capítulo intermediário o conceito de lógica cumulativa é apresentado. O último capítulo do trabalho é dedicado ao estudo de traduções (traduções conservativas) entre lógicas cumulativas. Procuramos estabelecer resultados que caracterizam a existência ou não de traduções (traduções conservativas) entre lógicas cumulativas e resultados que nos permitam dizer quais propriedades das respectivas lógicas envolvidas em tais traduções são preservadasAbstract: There are countless situations in the real world in which we necessarily deal without a complete knowledge. Sometimes we have to make decisions that we think to be the most correct ones which are confirmed by an incomplete set of information, in other words, we infer "plausible" and "consistent" conclusions based on our actual knowledge. A formalism to think in an efficient way on an incomplete knowledge base should be able to admit expressions of general validity, to recognize and to assimilate exceptions when necessary. The non-monotonic logics are appropriate to the kind of formalism that we are referring to. But what are the minimum properties that characterize the non-monotonicity of certain logics? The properties considered essential to non-monotonic systems will be presented in this study, together with an analysis of the relation ships among them. In the first chapters we present the family of cumulative operators and, from the distributive, deductive and supracompact properties, we present other families of cumulative operators. In an intermediate chapter the concept of cumulative logic is presented. The last chapter is dedicated to the study of translations (conservative translations) between cumulative logics. We look for to establishing results that characterize the existence of translations (conservative translations) between cumulative logics and results that allow us to determine which properties are preserved from the logics involved in such translationsMestradoMestre em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Martins, Ana TeresaFeitosa, Hercules A.Coniglio, Marcelo EstebanUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASScheer, Mauro Cesar2002info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf108 p.(Broch.)https://hdl.handle.net/20.500.12733/1593175SCHEER, Mauro Cesar. Para uma teoria de traduções entre logicas cumulativas. 2002. 108 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1593175. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/270924porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:41:53Zoai::270924Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:41:53Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Para uma teoria de traduções entre logicas cumulativas
title Para uma teoria de traduções entre logicas cumulativas
spellingShingle Para uma teoria de traduções entre logicas cumulativas
Scheer, Mauro Cesar
Lógica - Estudo e ensino
Lógica matemática não-clássica
title_short Para uma teoria de traduções entre logicas cumulativas
title_full Para uma teoria de traduções entre logicas cumulativas
title_fullStr Para uma teoria de traduções entre logicas cumulativas
title_full_unstemmed Para uma teoria de traduções entre logicas cumulativas
title_sort Para uma teoria de traduções entre logicas cumulativas
author Scheer, Mauro Cesar
author_facet Scheer, Mauro Cesar
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Martins, Ana Teresa
Feitosa, Hercules A.
Coniglio, Marcelo Esteban
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Scheer, Mauro Cesar
dc.subject.por.fl_str_mv Lógica - Estudo e ensino
Lógica matemática não-clássica
topic Lógica - Estudo e ensino
Lógica matemática não-clássica
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2002
dc.date.none.fl_str_mv 2002
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 (Broch.)
https://hdl.handle.net/20.500.12733/1593175
SCHEER, Mauro Cesar. Para uma teoria de traduções entre logicas cumulativas. 2002. 108 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1593175. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
SCHEER, Mauro Cesar. Para uma teoria de traduções entre logicas cumulativas. 2002. 108 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1593175. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1593175
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/270924
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
108 p.
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_ 1809188877964935168

Registros relacionados