A construção do projecto educativo de escola: contributo para o estudo dos processos de definição da lógica de funcionamento da escola

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Mecanismos de suporte à execução concorrente de programas em lógica

Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

O fundamento hegeliano do direito penal e a lógica da pena

pp. 235-259

Curiosidade sobre a teoria lógica da identidade

pp. 61-75

Detecção remota em meio urbano: teste com classificadores supervisionados a nível do pixel sobre imagens de alta resolução espacial aplicados numa lógica hierárquica de classes

Dissertação de Mestrado em Gestão do Território, Área de Especialização em Detecção Remota e Sistemas de Informação Geográfica

A ideia de forma lógica e a sua aplicação ao estudo das linguagens naturais

A linguagem é, para os humanos, um órgão privilegiado de comunicação e de conhecimento. Como é que este órgão realiza essa sua dupla função, comunicar e conhecer, é uma questão difícil e fascinante, cuja resposta envolve inúmeros aspectos. Destes aspectos, a Lógica apenas fornece elementos para esclarecer aqueles que dependem das noções de verdade, consistência e conseqüência, ou de noções derivadas destas. E mesmo relativamente a estas noções, a Lógica apenas determina a relação que elas têm com a forma lógica das frases (ver §2). Apesar da contribuição da Lógica para a questão de saber como é que a linguagem realiza as suas funções de comunicar e conhecer ser, assim, restrita, ela não é menor. A Lógica é uma disciplina científica, formulável como uma teoria sistematizada, teoria cujas propriedades são (na sua maioria) conhecidas através de resultados demonstrados.

Formalização lógica da narrativa e força referencial

A pretensa formalização lógico-gramatical da narrativa (Propp 1928; Todorov 1969; Genette 1972; Bremond 1973; Chatman 1978; Prince 1973 e 1980), que não deixa de estar infectada de psicologismo - terá cometido Antígona, ao enterrar o seu irmão Polineices, em obediência à "lei não escrita" que negava a autoridade positiva do rei Creonte, uma transgressão ou uma restituição! -, passou por alto a sua estmtura referencial. Bremond, que lida com grupos abertos como se estivesse a lidar com grupos fechados, fundamenta a sua tipologia narrativa nos diferentes meios de realização de processos de mediação ou transformação, tratando de formalizar "le réseau complet des options logiquement offertes à un narrateur, pour continuer Thistoire commencée" (1973: 8), conquanto tal formalização, ao depender de um grupo aberto de variáveis livres, não possa ser devidamente estmturada. Acresce que os processos de melhoramento ou de empioramento apontados por Bremond não nos parecem corresponder a paradigmas estritamente lógicos, e consequentemente abstractos, das situações narrativas. Trata-se de paradigmas psicológicos e culturais convencionalmente determinados e, por conseguinte, sumidos na relatividade. E difícil encerrar as opções pragmáticas nos conjuntos fechados exigidos por qualquer tipo de formalização lógica.

Os morgadios dos Nogueiras: entre a estratégia de poder e a lógica documental

Fundação para a Ciência e a Tecnologia Fundação Casa de Mateus

Análise de Contexto e Lógica do Projecto Europeu "Investigação epidemiológica e prevenção do VIH/ISTs entre Homens que têm sexo com Homens - SIALON II". Estudo de caso na Região de Lisboa e Península de Setúbal.

A avaliação de projectos na área do VIH permite gerar informação pertinente para que os gestores consigam adaptar as intervenções ao tipo de população-alvo. Organizações internacionais como a ONUSIDA e a OMS têm trabalhado na elaboração de documentos de referência que orientem os processos de avaliação, mas continua a existir escassez de estudos sobre os efeitos e impacto das intervenções no âmbito do VIH. À semelhança de muitos países europeus, em Portugal tem-se registado um aumento da proporção de casos de infecção pelo VIH na comunidade de HSH. Este panorama alerta para a necessidade de se investir na intervenção, nomeadamente no acesso à informação, à prevenção da doença e ao acesso aos cuidados de saúde. O presente trabalho teve como principal objectivo realizar um estudo de avaliabilidade do projecto europeu “Investigação epidemiológica e prevenção do VIH/ISTs entre Homens que têm Sexo com Homens – SIALON II”. Para a elaboração deste estudo recorreu-se a uma abordagem de estudo de caso, uma vez que é o tipo de estudo mais indicado na pesquisa qualitativa para a elaboração de avaliações em saúde. A recolha de dados para a realização da análise de contexto, construção do modelo lógico do projecto e respectiva validação foi feita através da análise de dados secundários recolhidos na fase de pesquisa formativa do projecto, de análise documental e da realização de entrevistas a informadores-chave. Da análise de contexto foi possível verificar que as associações da comunidade local têm tido um papel activo na participação em projectos que proporcionaram, nos últimos anos, a recolha de dados bio-comportamentais e na organização de campanhas de prevenção junto da comunidade HSH. A par do contexto legislativo nacional alguns estudos desenvolvidos na temática da discriminação e estigma indicam que ainda existem problemas desta índole contra a comunidade LGBT em Portugal. A construção do modelo lógico e a respectiva validação junto de informadores-chave representou a coerência lógica entre os recursos, as actividades, os produtos e os resultados intermédios e finais do projecto europeu. Os recursos financeiros são escassos e apesar da sobrecarga de trabalho os recursos humanos encontram-se motivados. O ponto forte do projecto é a oportunidade de se conhecer melhor a população HSH, enquanto as fragilidades passam pela questão do financiamento e dos problemas de estigma e preconceito face à homossexualidade e ao VIH. O principal factor do contexto apresentado que podia influenciar a implementação do projecto na área de estudo foi a questão da mentalidade e da pouca abertura por parte da comunidade em falar da sua saúde sexual. Com a implementação do projecto espera-se que a população HSH se sinta sensibilizada para esta problemática e que o teste ao VIH comece a fazer parte de uma rotina de controlo e acompanhamento regular. Recomenda-se o estudo da não aceitação em participar no projecto por parte dos proprietários dos locais de encontro gay; a introdução de avaliação contínua no ciclo de vida dos projectos; a promoção do envolvimento da comunidade na avaliação de impacto das intervenções em saúde; e a reavaliação da alocação de recursos para a sustentabilidade da participação das organizações da comunidade nos projectos. Palavras-chave: VIH, Estudo de avaliabilidade, Análise de Contexto, Análise Lógica, Modelo Lógico.

Tecnologia, educação e cidadania: (re)pensar projectos educacionais numa abordagem compreensiva da contemporaneidade

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Dos percursos de autoformação aos processos de transformação: uma produção singular de sucesso educativo em meio rural

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Construção de um centro de recursos educativos num estabelecimento de ensino: estudo de um caso de formação acção

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Internet na educação: contributo para a construção de redes educativas com suporte computacional

Tese de doutoramento em Ciências da Educação

Sucesso profissional, formação formal e experiencial: estudo de factores-chave no itinerário de um agricultor

Dissertação de mestrado em Ciências da Educação, na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa e do Diplôme d' Université François Rabelais de Tours

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.