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 multiculturalidade na disciplina de educação moral e religiosa católica

Desde sempre que a convivência entre pessoas e grupos de culturas e etnias diferentes se tem revelado difícil, e as grandes e profundas alterações na sociedade europeia têm vindo a alterar um pouco os paradigmas a que estávamos habituados em termos de convivência entre as pessoas, revelando uma sociedade com um tecido cada vez mais multicultural. Assim, torna-se pertinente uma educação que seja marcadamente multicultural. Entendemos que o conceito de multiculturalidade deve estar mais presente, aliás, na forma como se faz e pensa a educação hoje, por isso, é nosso entendimento, que é necessário rever mesmo a génese profunda do ato educativo e tudo o que isso implica na atualidade, pois não é possível pensar a educação e a escola hoje desligando-a da sua realidade multifacetada e multicultural. A disciplina de EMRC (Educação Moral e Religiosa Católica) é uma disciplina que tem já uma longa história de implementação no sistema de ensino português, existindo em quase todas as escolas do Ensino Básico e Secundário, por direito próprio ao abrigo da Concordata celebrada entre o Estado Português e a Santa Sé em 7 Maio de 1940 e ratificada em 18 Maio de 2004. A Disciplina de EMRC encontra-se assim incluída na matriz curricular do nosso sistema de ensino. Uma vez que a implementação da Disciplina de EMRC é da responsabilidade da Igreja Católica e tendo em linha de conta os valores e princípios naturalmente inerentes ao cristianismo, é legítimo supor a pertinência desta disciplina para uma educação e convivência multiculturais. O presente estudo pretendeu investigar o modo como a disciplina de EMRC contribui para uma educação multicultural. Propusemo-nos para isso encontrar, através de uma revisão da literatura, os principais elementos que constituem uma verdadeira educação, e neste sentido, definir a relação entre a escola e a multiculturalidade, e assim, contextualizar a educação multicultural. A tarefa seguinte foi a de comparar o conceito e a realidade da educação multicultural com o programa de EMRC. Procurámos complementar este estudo com a aplicação de um questionário a uma amostra significativa de professores de EMRC da Diocese de Lisboa, instrumento este que foi construído a partir da análise da literatura efetuada e tendo por base, sobretudo, o programa curricular, os manuais da disciplina e outros documentos relevantes para o tema em estudo. Pretendemos aferir o grau de importância dada pelos docentes à educação multicultural através da disciplina de EMRC, pelo menos nas escolas onde se verifique uma grande diversidade étnica. Para consolidar o estudo, foi também realizada uma entrevista a alguns professores e informantes – chave com destaque para a Disciplina. Pretendeu-se ainda investigar o grau de sensibilidade dos professores para uma verdadeira educação multicultural e as limitações encontradas por eles no programa e respetiva prática pedagógica, nomeadamente na sua ação como professores de EMRC e, eventualmente, a formulação de possíveis sugestões.