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.

Environmental indicator frameworks to design and assess environmental monitoring programs

Impact Assessment and Project Appraisal, vol. 22, n.1, March 2004, p. 47–62

Contributos para a educação ambiental no Pré- Escolar: promoção de parcerias comunitárias no planeamento de um projecto de educação não-formal a implementar no Parque das Conchas e dos Lilases - Lumiar

Na década que foi proclamada como a “Década da Educação para o Desenvolvimento Sustentável” (DEDS), a sensibilização para a problemática ambiental deverá assumir crescente importância e ser desenvolvida o mais precocemente possível, no sentido de se contribuir para melhorar a “literacia ambiental”. Pretende-se que esta possa concorrer para uma elevada competência de acção e participação, atendendo à mudança de atitudes e aquisição de valores pró-ambientais. No presente trabalho de investigação pretendemos planificar um Projecto a que chamamos “EcoConchas”- Centro de Recursos de Educação Ambiental, a desenvolver no Parque da Quinta das Conchas e dos Lilases, Freguesia do Lumiar, Lisboa, com o intuito de promover a consciência para a Educação Ambiental (EA) em crianças do Ensino Pré-escolar. Queremos ainda averiguar se um Projecto de Educação Ambiental, de carácter não-formal, poderá ser facilitador da criação de sinergias entre um espaço verde, famílias, escolas, agentes de Administração Local e Regional (Junta de Freguesia, CML) e Organismos Públicos (como a Agência Portuguesa do Ambiente). Partimos de um breve historial relativo à EA, delimitando o tema atendendo à sua abordagem na Infância, considerando as Orientações e Metas para a Educação Pré-Escolar em Portugal (1997, 2010). Após essa breve introdução ao tema da EA, perspectivámos abordagens relativas à dimensão não-formal e à importância do estabelecimento de parcerias, para o desenvolvimento de Projectos e maximização da oferta de serviços de sensibilização ambiental junto da população. Debruçámo-nos sobre os processos de apreensão do conhecimento pela criança (Teoria do Desenvolvimento Social ou Sócio-Constructivista de Vygotsky, 1988), as características da criança em idade pré-escolar, bem como os conteúdos de sensibilização ambiental, transmitidos neste nível de ensino. Pretendeu-se compatibilizar constructos e processos teóricos, enquadrando-os no Modelo da Ecologia do Desenvolvimento Humano de Bronfenbrenner (1979/2000), que considera a acção das crianças como catalisadoras de mudança ambiental, na família, na escola (“microssistemas”) e na sociedade/comunidade. Foram realizadas 23 entrevistas a Crianças, Pais, Educadores, Presidente da Junta de Freguesia do Lumiar, Assistente Técnico de Projectos Ambientais da D.S.E.S.A- Câmara Municipal de Lisboa e à equipa Responsável pelo Departamento de Comunicação e Cidadania Ambiental da Agência Portuguesa do Ambiente para saber da sua opinião sobre o projecto. A análise de conteúdo dessas entrevistas permitiu perceber o interesse dos possíveis implicados na implementação deste Projecto, no Parque das Conchas e dos Lilases, que apresenta inúmeras potencialidades para o desenvolvimento de actividades de EA, com os mais novos. Também foi considerada de elevada importância o estabelecimento de parcerias entre todos os actores sociais que de alguma forma podem vir a contribuir e beneficiar da sua implementação, sendo que o trabalho desenvolvido em conjunto pode ter resultados mais eficazes. Este estudo permitiu reflectir sobre a pertinência do desenvolvimento da temática ambiental junto das crianças pré-escolares, concluindo que sendo iniciada nesta faixa etária, trará no presente e futuro, inúmeros benefícios não só para as próprias crianças, mas também para os pais, a comunidade em geral e todo o Planeta.

Educação ambiental e empoderamento: construindo cidadania através do ensino não-formal – o caso do projecto “HISTÓRIAS DE QUINTAL”

Em tempos nos quais muito se discute acerca dos reflexos da crise ambiental na educação, e dos valores, princípios e objetivos que melhor lhe caberiam para proporcionar caminhos inovadores à superação da problemática ecológica, em toda a sua complexidade, esta pesquisa buscou investigar as contribuições da edição de 2012 do projecto de educação ambiental não-formal “Histórias de Quintal”, da Organização Não-Governamental EMCANTAR, para o empoderamento de seu público-alvo. Num primeiro momento, elaboramos um mosaico teórico acerca da educação ambiental emancipatória, a única que, a nosso ver, revela os verdadeiros sentidos da educação ambiental. Para isso, (i) promovemos um breve resgate histórico da educação ambiental no cenário mundial; (ii) oferecemos uma visão geral da perspectiva emancipatória da educação ambiental (pressupostos e fundamentos, princípios, características gerais e objetivos); (iii) estabelecemos um corte diferencial entre as perspectivas convencional e emancipatória; (iv) ofertamos uma crítica à expressão “Educação para o desenvolvimento sustentável”; (v) realizamos um voo panorâmico sobre a dimensão não-formal da educação ambiental; (vi) discutimos o empoderamento sob a óptica da pedagogia libertária de Freire (1987); e (vii) concatenamos essas ideias entre si e com outras correlatas, como desigualdade social, cidadania e participação social. Num momento seguinte, apresentamos o projecto em estudo e discorremos acerca de seus pontos principais, bem como das atividades que foram realizadas em seu âmbito no ano de 2012. Por último, realizámos entrevistas com os participantes nas actividades e confrontamos os dados colhidos com o que fora apresentado sobre a educação ambiental emancipatória para, assim, apresentar as conclusões alcançadas. Constatamos que a educação ambiental promovida pelo “Histórias em Quintal”, em 2012, teve um perfil emancipatório e que, enquanto projecto de educação não-formal, ele teve também as características, princípios, objetivos e metodologias que permitem a promoção de uma educação ambiental verdadeiramente compromissada com a libertação dos oprimidos (Freire, 1987) e com a transformação da sociedade, e que, por isso, contribuiu para um empoderamento inicial e a nível individual do grupo-alvo.

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.

Fostering e-participation sustainability through a BPM-driven semantic model

According to a recent Eurobarometer survey (2014), 68% of Europeans tend not to trust national governments. As the increasing alienation of citizens from politics endangers democracy and welfare, governments, practitioners and researchers look for innovative means to engage citizens in policy matters. One of the measures intended to overcome the so-called democratic deficit is the promotion of civic participation. Digital media proliferation offers a set of novel characteristics related to interactivity, ubiquitous connectivity, social networking and inclusiveness that enable new forms of societal-wide collaboration with a potential impact on leveraging participative democracy. Following this trend, e-Participation is an emerging research area that consists in the use of Information and Communication Technologies to mediate and transform the relations among citizens and governments towards increasing citizens’ participation in public decision-making. However, despite the widespread efforts to implement e-Participation through research programs, new technologies and projects, exhaustive studies on the achieved outcomes reveal that it has not yet been successfully incorporated in institutional politics. Given the problems underlying e-Participation implementation, the present research suggested that, rather than project-oriented efforts, the cornerstone for successfully implementing e-Participation in public institutions as a sustainable added-value activity is a systematic organisational planning, embodying the principles of open-governance and open-engagement. It further suggested that BPM, as a management discipline, can act as a catalyst to enable the desired transformations towards value creation throughout the policy-making cycle, including political, organisational and, ultimately, citizen value. Following these findings, the primary objective of this research was to provide an instrumental model to foster e-Participation sustainability across Government and Public Administration towards a participatory, inclusive, collaborative and deliberative democracy. The developed artefact, consisting in an e-Participation Organisational Semantic Model (ePOSM) underpinned by a BPM-steered approach, introduces this vision. This approach to e-Participation was modelled through a semi-formal lightweight ontology stack structured in four sub-ontologies, namely e-Participation Strategy, Organisational Units, Functions and Roles. The ePOSM facilitates e-Participation sustainability by: (1) Promoting a common and cross-functional understanding of the concepts underlying e-Participation implementation and of their articulation that bridges the gap between technical and non-technical users; (2) Providing an organisational model which allows a centralised and consistent roll-out of strategy-driven e-Participation initiatives, supported by operational units dedicated to the execution of transformation projects and participatory processes; (3) Providing a standardised organisational structure, goals, functions and roles related to e-Participation processes that enhances process-level interoperability among government agencies; (4) Providing a representation usable in software development for business processes’ automation, which allows advanced querying using a reasoner or inference engine to retrieve concrete and specific information about the e-Participation processes in place. An evaluation of the achieved outcomes, as well a comparative analysis with existent models, suggested that this innovative approach tackling the organisational planning dimension can constitute a stepping stone to harness e-Participation value.

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.