PARA UMA TEORIA DE TRADUÇÕES ENTRE LÓGICAS CUMULATIVAS

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 nós permitam dizer quais propriedades das respectivas lógicas envolvidas em tais traduções são preservadas.