Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/282041
Type: DISSERTAÇÃO
Degree Level: Mestrado
Title: Para uma teoria de traduções entre logicas cumulativas
Author: Scheer, Mauro Cesar
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: Resumo: 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 preservadas

Abstract: 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 translations
Subject: Lógica - Estudo e ensino
Lógica matemática não-clássica
Language: Português
Editor: [s.n.]
Citation: 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: <http://www.repositorio.unicamp.br/handle/REPOSIP/282041>. Acesso em: 2 ago. 2018.
Date Issue: 2002
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Scheer_MauroCesar_M.pdf5.7 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.