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.

Variação das unidades fraseoterminológicas da culinária entre português brasileiro e português europeu

A criação de uniões, como a União Europeia e o Mercosul, o aumento do intercâmbio de mercadorias, de informações e conhecimentos, etc. estabelece novos trabalhos na área da Terminologia Científica e Técnica, tanto bilíngue como monolíngue, inclusive entre variantes de uma mesma língua, como o Português Brasileiro (PB) e o Português Europeu (PE), o que torna relevante o conhecimento das variantes fraseoterminológicas entre duas normas linguísticas para o especialista e para o tradutor. Sendo a Culinária uma área que proporciona vários tipos de intercâmbios, como linguístico, cultural, mercantil, etc. e, dessa forma, necessitando trocar conhecimentos, nosso estudo propõe, através de uma perspectiva interdisciplinar que engloba a Terminologia, numa ótica variacionista, a Fraseologia e a Linguística de Corpus, estabelecer critérios para identificar, emparelhar, contrastar e descrever as unidades fraseoterminológicas (UFT) da Culinária do PB e do PE, almejando, por conseguinte, estruturá-las numa ferramenta que seja útil aos especialistas, estudantes e tradutores dessa área. O desenvolvimento deste trabalho está organizado em sete capítulos. O primeiro, apresenta a Culinária, traçando um panorama histórico dessa área, e estabelece o mapa conceitual da Culinária que, além de servir para a organização das relações conceituais no dicionário, limita o universo da pesquisa. O segundo aborda a variação em Terminologia, bem como as principais tendências da Terminologia que aceitam a variação terminológica. O terceiro explana a Fraseologia, desde a língua corrente até à língua de especialidade, e estabelece os critérios para recolha dos candidatos a UFT da Culinária. O quarto apresenta brevemente a Linguística de Corpus e traça os caminhos seguidos para a constituição dos dois corpora textuais da Culinária, compostos de receitas culinárias e técnicas de preparo, os quais serviram para o levantamento da terminologia. O quinto trata da coleta e organização das unidades fraseoterminológicas da Culinária em PB bem como das respectivas variantes em PE e seu armazenamento em Base de Dados. O sexto, analisa a variação entre os pares de UFT selecionados para esse fim, descreve os contrastes detectados, e apresenta uma tipologia contrastiva dessas UFT variantes entre PB e PE. O sétimo apresenta o projeto do Dicionário Fraseológico Contrastivo de Culinária: Português Brasileiro - Português Europeu, descrevendo suas partes e o sistema de remissivas. Com base nas reflexões teóricas e na análise dos dados recolhidos, pudemos, além de identificar, emparelhar e descrever as diferentes formas assumidas do discurso da Culinária pelas UFT, chegar a um projeto de dicionário fraseoterminológico, cuja microestrutura possibilitará, mais que compreender o significado da UT, encontrar elementos para produzir um texto, visando, desse modo, as necessidades reais de tradutores e redatores, que carecem de recursos para o uso adequado das UFT presentes nas línguas de especialidade. Os resultados obtidos reafirmam que a variação terminológica é um fenômeno inerente aos domínios de especialidade, assim como às línguas naturais em que estão inseridas e, portanto, não deve ser ignorado na hora de elaborar dicionários terminológicos.

Cellular reprogramming strategies for degenerative disorders involving the retinal pigment epithelium

RESUMO: A reprogramação celular permite que uma célula somática seja reprogramada para outra célula diferente através da expressão forçada de factores de transcrição (FTs) específicos de determinada linhagem celular, e constitui uma área de investigação emergente nos últimos anos. As células somáticas podem ser experimentalmente manipuladas de modo a obter células estaminais pluripotentes induzidas (CEPi), ou convertidas directamente noutro tipo de célula somática. Estas descobertas inovadoras oferecem oportunidades promissoras para o desenvolvimento de novas terapias de substituição celular e modelos de doença, funcionando também como ferramentas valiosas para o estudo dos mecanismos moleculares que estabelecem a identidade celular e regulam os processos de desenvolvimento. Existem várias doenças degenerativas hereditárias e adquiridas da retina que causam deficiência visual devido a uma disfunção no tecido de suporte da retina, o epitélio pigmentar da retina (EPR). Uma destas doenças é a Coroideremia (CHM), uma doença hereditária monogénica ligada ao cromossoma X causada por mutações que implicam a perda de função duma proteína com funções importantes na regulação do tráfico intracelular. A CHM é caracterizada pela degenerescência progressiva do EPR, assim como dos foto-receptores e da coróide. Resultados experimentais sugerem que o EPR desempenha um papel importante na patogénese da CHM, o que parece indicar uma possível vantagem terapêutica na substituição do EPR nos doentes com CHM. Por outro lado, existe uma lacuna em termos de modelos in vitro de EPR para estudar a CHM, o que pode explicar o ainda desconhecimento dos mecanismos moleculares que explicam a patogénese desta doença. Assim, este trabalho focou-se principalmente na exploração das potencialidades das técnicas de reprogramação celular no contexto das doenças de degenerescência da retina, em particular no caso da CHM. Células de murganho de estirpe selvagem, bem como células derivadas de um ratinho modelo de knockout condicional de Chm, foram convertidos com sucesso em CEPi recorrendo a um sistema lentiviral induzido que permite a expressão forçada dos 4 factores clássicos de reprogramação, a saber Oct4, Sox2, Klf4 e c-Myc. Estas células mostraram ter equivalência morfológica, molecular e funcional a células estaminais embrionárias (CES). As CEPi obtidas foram seguidamente submetidas a protocolos de diferenciação com o objectivo final de obter células do EPR. Os resultados promissores obtidos revelam a possibilidade de gerar um valioso modelo de EPR-CHM para estudos in vitro. Em alternativa, a conversão directa de linhagens partindo de fibroblastos para obter células do EPR foi também abordada. Uma vasta gama de ferramentas moleculares foi gerada de modo a implementar uma estratégia mediada por FTs-chave, seleccionados devido ao seu papel fundamental no desenvolvimento embrionário e especificação do EPR. Conjuntos de 10 ou menos FTs foram usados para transduzir fibroblastos, que adquiriram morfologia pigmentada e expressão de alguns marcadores específicos do EPR. Adicionalmente, observou-se a activação de regiões promotoras de genes específicos de EPR, indicando que a identidade transcricional das células foi alterada no sentido pretendido. Em conclusão, avanços significativos foram atingidos no sentido da implementação de tecnologias de reprogramação celular já estabelecidas, bem como na concepção de novas estratégias inovadoras. Metodologias de reprogramação, quer para pluripotência, quer via conversão directa, foram aplicadas com o objectivo final de gerar células do EPR. O trabalho aqui descrito abre novos caminhos para o estabelecimento de terapias de substituição celular e, de uma maneira mais directa, levanta a possibilidade de modelar doenças degenerativas da retina com disfunção do EPR numa placa de petri, em particular no caso da CHM.---------------ABSTRACT: Cellular reprogramming is an emerging research field in which a somatic cell is reprogrammed into a different cell type by forcing the expression of lineage-specific transcription factors (TFs). Cellular identities can be manipulated using experimental techniques with the attainment of pluripotency properties and the generation of induced Pluripotent Stem (iPS) cells, or the direct conversion of one somatic cell into another somatic cell type. These pioneering discoveries offer new unprecedented opportunities for the establishment of novel cell-based therapies and disease models, as well as serving as valuable tools for the study of molecular mechanisms governing cell fate establishment and developmental processes. Several retinal degenerative disorders, inherited and acquired, lead to visual impairment due to an underlying dysfunction of the support cells of the retina, the retinal pigment epithelium (RPE). Choroideremia (CHM), an X-linked monogenic disease caused by a loss of function mutation in a key regulator of intracellular trafficking, is characterized by a progressive degeneration of the RPE and other components of the retina, such as the photoreceptors and the choroid. Evidence suggest that RPE plays an important role in CHM pathogenesis, thus implying that regenerative approaches aiming at rescuing RPE function may be of great benefit for CHM patients. Additionally, lack of appropriate in vitro models has contributed to the still poorly-characterized molecular events in the base of CHM degenerative process. Therefore, the main focus of this work was to explore the potential applications of cellular reprogramming technology in the context of RPE-related retinal degenerations. The generation of mouse iPS cells was established and optimized using an inducible lentiviral system to force the expression of the classic set of TFs, namely Oct4, Sox2, Klf4 and c-Myc. Wild-type cells, as well as cells derived from a conditional knockout (KO) mouse model of Chm, were successfully converted into a pluripotent state, that displayed morphology, molecular and functional equivalence to Embryonic Stem (ES) cells. Generated iPS cells were then subjected to differentiation protocols towards the attainment of a RPE cell fate, with promising results highlighting the possibility of generating a valuable Chm-RPE in vitro model. In alternative, direct lineage conversion of fibroblasts into RPE-like cells was also tackled. A TF-mediated approach was implemented after the generation of a panoply of molecular tools needed for such studies. After transduction with pools of 10 or less TFs, selected for their key role on RPE developmental process and specification, fibroblasts acquired a pigmented morphology and expression of some RPE-specific markers. Additionally, promoter regions of RPE-specific genes were activated indicating that the transcriptional identity of the cells was being altered into the pursued cell fate. In conclusion, highly significant progress was made towards the implementation of already established cellular reprogramming technologies, as well as the designing of new innovative ones. Reprogramming into pluripotency and lineage conversion methodologies were applied to ultimately generate RPE cells. These studies open new avenues for the establishment of cell replacement therapies and, more straightforwardly,raise the possibility of modelling retinal degenerations with underlying RPE defects in apetri dish, particularly CHM.

Reformulação da definição: conceito de "equação" para os alunos do 1º ciclo do ensino secundário em Angola

A presente dissertação intitulada Reformulação da definição: conceito de «equação» para os alunos do 1.º Ciclo do Ensino Secundário em Angola tem como objectivo analisar as definições que se encontram nos manuais do aluno de Matemática do ciclo em referência. Para materialização deste desiderato organizamos um corpus constituído por textos dos três manuais que constituem o 1.º Ciclo, designadamente, manual do aluno da 7.ª, 8.ª e 9.ª classe. A análise da definição foi feita com base nas linhas orientadoras para a elaboração de uma definição terminológica. Estas linhas orientadoras correspondem aos procedimentos que adoptámos nesta dissertação, para a análise e para a proposta de reformulação da definição terminológica. O interesse pelo tema surgiu da necessidade de contribuir para a melhoria do processo de ensino-aprendizagem da disciplina de Matemática. Tendo em conta que a definição terminológica visa em primeiro lugar estabilizar o conceito por meio da identificação de características que lhes são peculiares permitindo a diferenciação entre conceitos no seio de outros conceitos. É a partir das definições que os alunos terão acesso aos conceitos, podendo até relacionar os vários conceitos do domínio. Desta feita, tanto o professor como o aluno beneficiarão da existência de uma boa definição. O aluno, por intermédio da definição, chegará ao conceito; o professor, por sua vez, terá melhores ferramentas – as definições – para transmitir conhecimentos.

O Ciclo Vicioso do Satisfatório na Gestão de Terminologia em Contexto Empresarial: problemas e oportunidades

É objetivo geral deste trabalho perceber o modo como as empresas gerem as terminologias e as línguas de especialidade em contextos de comunicação multilingues, especialmente quando mediada por tradução. Com base num suporte teórico da Terminologia aplicada à tradução e, sempre que necessário, dado o teor interdisciplinar do tema, em pressupostos da Gestão e da Tradução especializada, desenvolvemos a pesquisa no âmbito de um quadro metodológico descritivo, sustentado em vários métodos qualitativos e quantitativos de recolha primária e secundária de dados. Temos, por pano de fundo, um cenário aparentemente paradoxal. Por um lado, para os clientes (empresas e consumidores), a língua é vista como um ativo e um recurso funcional e de apoio: serve como meio para atingir um objetivo, não é o objetivo em si. Do outro lado, da indústria da língua, a língua é matéria-prima e o bem final, ou seja, é o objetivo, o seu produto final, pelo que a preocupação com a qualidade linguística é muito maior. A investigação foi desenvolvida em dois ciclos de pesquisa. No primeiro, o trabalho centra-se na língua portuguesa, como língua de chegada, no mercado global da tradução especializada da CPLP, do qual apresentamos um contorno possível. No segundo ciclo, descrevemos a forma como as línguas são geridas nas empresas internacionalizadas, com destaque para a prática de tradução empresarial ad hoc – e discutimos o status quo da gestão terminológica na generalidade das empresas. Mais do que apontar falhas, apesar de termos identificado a terminologia como um dos fatores críticos do processo, tentamos perceber a causa do ciclo do satisfatório mantido nas empresas, que os melhores argumentos e estudos dos agentes da indústria da língua, nomeadamente da terminologia, não têm conseguido mudar. Numa abordagem, sempre que possível, abrangente e integradora à questão, tentamos desmistificar a clivagem entre fornecedores e clientes e a ideia tout court de más-práticas das empresas, vendo-as à luz das políticas linguísticas da Comunidade Europeia, mas também das caraterísticas da sociedade global do conhecimento. Aí identificamos algumas oportunidades, que exigem não só o investimento da cultura empresarial, mas também uma atitude mais pró-ativa dos agentes da Terminologia, de forma a agilizar o processo de mudança baseado na educação para a qualidade. Deste modo, pensamos ser mais fácil criar uma “cultura favorável” à gestão de terminologia, e à qualidade da língua de especialidade em geral, baseada na confiança e na competência, com atitudes e comportamentos cooperantes ao nível de todas as partes interessadas.

Variação terminológica formal no diploma regulador do subsistema e no estatuto orgânico do Ministério do Ensino Superior - Angola

O presente trabalho aborda o tema das variações terminológicas formais presentes no diploma regulador do subsistema do ensino superior e no estatuto orgânico do Ministério do Ensino Superior (MES). Partímos do princípio de que as variações terminológicas formais são fenómenos que resultam da actividade discursiva, pelo que devem ser vistos de forma natural. Os fundamentos teóricos que suportaram o presente trabalho foram: a Teoria Geral da Terminologia (TGT), a Teoria Comunicativa da Terminologia (TCT) e a Socioterminologia que se dedica à análise das unidades terminológicas do ponto de vista funcional. Uma determinada unidade terminológica é funcional porque pode assumir determinadas formas mediante o contexto discursivo, sem que o conceito se altere. Nesta medida, a posse de um corpus é imprescindível. O corpus de análise com o qual trabalhámos diz respeito à legislação do subsistema do ensino superior, onde pudemos identificar 25.489 formas, através do programa CONCAPP. Posteriormente, fizemos o levantamento das formas de alta e baixa frequência, que nos permitiu fazer o levantamento das concordâncias. A partir desse momento, identificámos os casos de variação formal morfossintáctica e lexical. Na análise dos dados, procedémos à caracterização dos tipos de variação e apresentámos a tipologia das estruturas das variantes concorrentes. Por fim, terminámos o trabalho com a proposta de elaboração de uma base de dados para o grupo técnico para eleboração dos projectos de lei do subsistema do ensino superior, em jeito de recomendação.

Estrutura Conceptual do Relato Financeiro : Da Definição de um Domínio à Sua Análise para uma Sociedade em Rede

Considerando a língua como um produto da sociedade, mas também como um meio fundamental para o estabelecimento de relações entre os homens, procuramos perceber o seu lugar na sociedade globalizada, com o objectivo de desenvolver uma metodologia de análise terminológica que contribua para uma maior qualidade da comunicação especializada na sociedade em rede. Este trabalho está organizado em duas partes, sendo a primeira dedicada à reflexão sobre o papel da língua na sociedade em rede, focando questões essenciais em torno da tensão existente entre o multilinguismo e a hegemonia do inglês enquanto lingua franca, sobretudo no espaço europeu. Interessa-nos, por um lado, reflectir sobre a definição de políticas linguísticas, concretamente na Europa multilingue dos 28, e, por outro, salientar o papel preponderante que a língua tem na transmissão do conhecimento. A segunda parte deste trabalho concretiza a investigação efectuada na primeira com base na análise do relato financeiro, um domínio do saber que não só é inerentemente multilingue ¾ porque a sua aplicação é transnacional ¾ mas também reflecte a tensão identificada na primeira parte, na medida em que o inglês assume, no mundo dos negócios em geral e nos mercados financeiros em particular, o papel hegemónico de lingua franca. A abordagem terminológica que defendemos é semasiológica para fins onomasiológicos, pelo que partimos da análise do texto de especialidade, organizado em corpora de especialidade. Discutimos subsequentemente os resultados da nossa análise com os especialistas que os irão validar e cuja colaboração em diversos vi momentos do processo de análise terminológica e conceptual é fundamental para garantir a qualidade dos recursos terminológicos produzidos. Nesta óptica, exploramos um corpus de textos legislativos no âmbito do Sistema de Normalização Contabilística (SNC), de modo a delinearmos uma metodologia de trabalho que, no futuro, conduzirá à construção de uma base de dados terminológica do relato financeiro. Concomitantemente, efectuamos também um estudo sobre a Estrutura Conceptual do SNC, para o qual elaboramos uma comparação ao nível da tradução especializada no relato financeiro, com base num corpus paralelo composto pela legislação contabilística internacional endossada pela União Europeia. Utilizamos o corpus paralelo constituído por textos redigidos originalmente em inglês e traduzidos para português, em articulação com o corpus de especialidade criado com a legislação relativa ao normativo contabilístico português, para testar uma metodologia de extracção de equivalentes. Defendemos, por fim, que a harmonização no relato financeiro para além de se reger por políticas contabilísticas comuns, deve ter subjacentes questões terminológicas. É necessário, portanto, harmonizar a terminologia do relato financeiro, possibilitando aos especialistas uma comunicação em português isenta da interferência do inglês herdado das normas internacionais, através dos dois processos que identificamos: a tradução e a adaptação das Normas Internacionais de Contabilidade.

Terminologia em uso na Direcção Nacional de Desenvolvimento Tecnológico e Inovação: a variação nos termos complexos

Inserido no âmbito do Projecto “Terminologia da Administração Pública – TERMAP”, o presente trabalho constitui uma análise descritiva de elementos discursivos que nos permitem dar conta da terminologia produzida na Direcção Nacional de Desenvolvimento Tecnológico e Inovação, do Ministério da Ciência e Tecnologia. Temos como objectivo a organização da terminologia da área, tendo em vista a fixação dos termos, permitindo assim uma melhor comunicação e transferência de conhecimento, quer a nível intra-institucional quer a nível interinstitucional, bem como a nível externo. Neste trabalho, partimos de uma abordagem semasiológica, e procuramos sempre ter em foco as especificidades discursivas, não pondo de parte, quando necessário, uma perspectiva mais onomasiológica. A abordagem proposta desenvolve-se em torno de cinco capítulos: a) o primeiro traz em revisão aspectos da organização e funcionamento da Administração Pública Central em Angola, na qual se insere o domínio de análise; b) o segundo consiste na análise dos aspectos relativos à constituição do corpus textual; c) os pressupostos teóricos apresentados no terceiro capítulo dizem respeito à formação dos termos complexos e aos fenómenos de variação em terminologia; d) no quarto capítulo, a análise volta ao corpus textual, mais propriamente ao seu tratamento. Neste capítulo apresentam-se os processos relativos à extracção e selecção dos candidatos a termos, e o levantamento dos casos de variação; e) o quinto capítulo é reservado à apresentação e análise dos dados. Fazemos uma proposta de um modelo de base de dados terminológica multilingue. Esta proposta surge na sequência da necessidade de fixar os termos, com vista à transferência de conhecimento.