Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

A Flor da Melancolia e o Ímpeto Cesariano (ou a Negação e a Afirmação da Vida) nas Memórias Póstumas de Brás Cubas de Machado de Assis

Esta dissertação tem por objecto a flor da melancolia e o ímpeto cesariano nas Memórias Póstumas de Brás Cubas, de Machado de Assis, noções que reflectem um confronto com a temática schopenhauriana e nietzschiana da negação e afirmação da vida. Trata-se de uma tese em Filosofia – variante Estética, que procura identificar no romance do escritor brasileiro aquilo que nele corresponde a um substrato metafísico, a uma procura pelo sentido e a uma tentativa de lidar com o sofrimento – feitas por um homem para quem Deus morreu, e que encontra numa dimensão temporal tudo o que há para encontrar. Consideramos que a despeito do pessimismo que atravessa o livro, há nele uma vitalidade que decorre grandemente do ponto de vista do narrador, do facto de as Memórias serem Póstumas. E pensamos que é no acto criador da escrita que Brás Cubas, e com ele Machado de Assis, firma o estandarte de César e abotoa a flor da melancolia, o sofrimento de que padece a Humanidade e que, no caso do personagem, surge depois da morte da mãe, no período de luto em que, pela primeira vez, há um questionamento acerca de si próprio e do seu lugar no mundo.