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.

Aquisição da Competência Lexical na Aprendizagem do Português Língua Segunda _ Especificidades do aluno angolano

A presente dissertação insere-se no âmbito do mestrado em Linguística: Ciências da Linguagem. Com este trabalho pretende-se, com base num estudo de caso sobre a Aquisição da Competência Lexical na Aprendizagem do Português Língua segunda, constatar se os alunos angolanos que aprendem o Português como Língua segunda adquirem e desenvolvem a competência lexical, atendendo às suas especificidades. Nesta dissertação discute-se sobre o ensino do Português e consequente aquisição da competência lexical, face à realidade plurilingue considerando as metodologias adotadas para o efeito. Sendo o português a língua do discurso pedagógico em Angola, e concomitantemente, língua segunda para a maioria da população angolana que é utente de diversas línguas (locais, nativas) designadas nacionais ou africanas de Angola, suscitou o mais vivo interesse em refletir sobre o seu ensino, as metodologias usadas para o efeito, visando a aquisição e o desenvolvimento da competência lexical de alunos que o aprendem. A pluralidade linguística de Angola coloca ao estado, aos professores de Língua Portuguesa, e não só, desafios enormes no que diz respeito à adoção de política linguística, quer da Língua Portuguesa, quer das línguas africanas de Angola no que concerne ao seu ensino e na promoção do sucesso escolar nos mais variados níveis de escolaridade. Por estas e outras razões, defende-se nesta dissertação não só a clarificação de metodologias adequadas e contextualizadas para o ensino do Português em Angola, tanto como língua segunda ou como língua materna, optando-se por uma ou outra metodologia com base na realidade específica do aluno, pois não se deve ignorar a proveniência linguística primária do aprendente, para que se consigam aprendizagens harmoniosas, sólidas e significativas.