Generalização matemática baseada na análise de padrões numa turma de 3.º ano

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º ciclo do Ensino Básico

Prescribed burning impact on forest soil properties – a fuzzy boolean nets approach

The Portuguese northern forests are often and severely affected by wildfires during the Summer season. These occurrences significantly affect and negatively impact all ecosystems, namely soil, fauna and flora. In order to reduce the occurrences of natural wildfires, some measures to control the availability of fuel mass are regularly implemented. Those preventive actions concern mainly prescribed burnings and vegetation pruning. This work reports on the impact of a prescribed burning on several forest soil properties, namely pH, soil moisture, organic matter content and iron content, by monitoring the soil self-recovery capabilities during a one year span. The experiments were carried out in soil cover over a natural site of Andaluzitic schist, in Gramelas, Caminha, Portugal, which was kept intact from prescribed burnings during a period of four years. Soil samples were collected from five plots at three different layers (0–3, 3–6 and 6–18) 1 day before prescribed fire and at regular intervals after the prescribed fire. This paper presents an approach where Fuzzy Boolean Nets (FBN) and Fuzzy reasoning are used to extract qualitative knowledge regarding the effect of prescribed fire burning on soil properties. FBN were chosen due to the scarcity on available quantitative data. The results showed that soil properties were affected by prescribed burning practice and were unable to recover their initial values after one year.

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

Additive adaptive thinking in 1st and 2nd grades pupils

This paper is part of the Project “Adaptive thinking and flexible computation: Critical issues”. It discusses what is meant by adaptive thinking and presents the results of individual interviews with four pupils. The main goal of the study is to understand pupils’ reasoning when solving numerical tasks involving additive situations, and identify features associated with adaptive thinking. The results show that, in the case of first grade pupils, the semantic aspects of the problem are involved in its resolution and the pupils’ performance appears to be related to the development of number sense. The 2nd grade pupils seem to see the quantitative difference as an invariant numerical relationship.

Interação social entre agentes em ambientes de recursos limitados

Trabalho final de Mestrado para obtenção do grau de Mestre em Engenharia de Redes de Comunicação e Multimédia

Intelligent Micro Grid Management using a Multi-Agent approach

Recent changes in electricity markets (EMs) have been potentiating the globalization of distributed generation. With distributed generation the number of players acting in the EMs and connected to the main grid has grown, increasing the market complexity. Multi-agent simulation arises as an interesting way of analysing players’ behaviour and interactions, namely coalitions of players, as well as their effects on the market. MASCEM was developed to allow studying the market operation of several different players and MASGriP is being developed to allow the simulation of the micro and smart grid concepts in very different scenarios This paper presents a methodology based on artificial intelligence techniques (AI) for the management of a micro grid. The use of fuzzy logic is proposed for the analysis of the agent consumption elasticity, while a case based reasoning, used to predict agents’ reaction to price changes, is an interesting tool for the micro grid operator.

Adaptive Learning in Games: Defining Profiles of Competitor Players

Artificial Intelligence has been applied to dynamic games for many years. The ultimate goal is creating responses in virtual entities that display human-like reasoning in the definition of their behaviors. However, virtual entities that can be mistaken for real persons are yet very far from being fully achieved. This paper presents an adaptive learning based methodology for the definition of players’ profiles, with the purpose of supporting decisions of virtual entities. The proposed methodology is based on reinforcement learning algorithms, which are responsible for choosing, along the time, with the gathering of experience, the most appropriate from a set of different learning approaches. These learning approaches have very distinct natures, from mathematical to artificial intelligence and data analysis methodologies, so that the methodology is prepared for very distinct situations. This way it is equipped with a variety of tools that individually can be useful for each encountered situation. The proposed methodology is tested firstly on two simpler computer versus human player games: the rock-paper-scissors game, and a penalty-shootout simulation. Finally, the methodology is applied to the definition of action profiles of electricity market players; players that compete in a dynamic game-wise environment, in which the main goal is the achievement of the highest possible profits in the market.

Intelligent decision support systems for collaboration in industrial plants

Dissertação apresentada para obtenção do Grau de Doutor em Sistemas de Informação Industriais, Engenharia Electrotécnica, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

Sistema de Informação no auxílio à comunicação Escola-Família

Mestrado em Engenharia Informática

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

CDIO and the European Project Semester: a match for capstone projects?

The CDIO Initiative is an open innovative educational framework for engineering graduation degrees set in the context of Conceiving – Designing – Implementing – Operating real-world systems and products, which is embraced by a network of worldwide universities, the CDIO collaborators. A CDIO compliant engineering degree programme typically includes a capstone module on the final semester. Its purpose is to expose students to problems of a greater dimension and complexity than those faced throughout the degree programme as well as to put them in contact with the so-called real world, in opposition to the academic world. However, even in the CDIO context, there are barriers that separate engineering capstone students from the real world context of an engineering professional: (i) limited interaction with experts from diverse scientific areas; (ii) reduced cultural and scientific diversity within the teams; and (iii) lack of a project supportive framework to foster the complementary technical and non-technical skills required in an engineering professional. To address these shortcomings, we propose the adoption of the European Project Semester (EPS) framework, a one semester student centred international capstone programme offered by a group of European engineering schools (the EPS Providers) as part of their student exchange programme portfolio. The EPS package is organised around a central module – the EPS project – and a set of complementary supportive modules. Project proposals refer to open multidisciplinary real world problems and supervision becomes coaching. The students are organised in teams, grouping individuals from diverse academic backgrounds and nationalities, and each team is fully responsible for conducting its project. EPS complies with the CDIO directives on Design-Implement experiences and provides an integrated framework for undertaking capstone projects, which is focussed on multicultural and multidisciplinary teamwork, problem-solving, communication, creativity, leadership, entrepreneurship, ethical reasoning and global contextual analysis. As a result, we recommend the adoption of the EPS within CDIO capstone modules for the benefit of engineering students.

Development of Biomimetic Robots in the EPS Engineering Programme Capstone Project

This paper proposes the development of biologically inspired robots as the capstone project of the European Project Semester (EPS) framework. EPS is a one semester student centred international programme offered by a group of European engineering schools (EPS Providers) as part of their student exchange programme portfolio. EPS is organized around a central module (the EPS project) and a set of complementary supportive modules. Project proposals refer to open multidisciplinary real world problems. Its purpose is to expose students to problems of a greater dimension and complexity than those faced throughout the degree programme as well as to put them in contact with the socalled real world, in opposition to the academic world. Students are organized in teams, grouping individuals from diverse academic backgrounds and nationalities, and each team is fully responsible for conducting its project. EPS provides an integrated framework for undertaking capstone projects, which is focused on multicultural and multidisciplinary teamwork, communication, problem-solving, creativity, leadership, entrepreneurship, ethical reasoning and global contextual analysis. The design and development of biologically inspired robots allows the students to fulfil the previously described requirements and objectives and, as a result, we recommend the adoption of these projects within the EPS project capstone module for the benefit of engineering students.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Perinatal Bacterial Infection: Screenning of Vertical Transmitted Infections

Perinatal bacterial infection may be caused by any microorganism colonizing the vaginal tract. Neonatologists and paediatricians are especially concerned about group B Stretpococcus (GBS). However, Enterobactereacea, mainly E.coli and Proteus, are also responsible for infection. GBS screening may be accomplished in over 90% of pregnant women. In our maternity in 2007-2008, 85% of the mothers had been screened. Screening and prophylaxis were responsible for a decreasing incidence of neonatal infection - from 0.6/1000 to 0.15/1000 live births in Portugal, from 2002 to 2007. However there are some difficulties related to screening. In the second Portuguese study 16/57 NB with early-onset infection (28%) were born to “negative” mothers. Several factors illustrate how difficult is to draw national screening policies: a wide range of carrier’s state rate throughout a country - in Portugal from 12% to 30%. The success of any screening policy may also be affected by additional technical and organizational problems. In countries where home delivery is a tradition or a trend intrapartum GBS prophylaxis requires a very well organized assistance.. Moreover factors usually accepted as protective are not so effective. In the Portuguese study 24/57 infected newborns (42%) were delivery by caesarean section. Another subject deals with the workload in the postnatal ward generated by deficient compliance to the guidelines a problem not confirm by a study of our group. Decreasing the importance of GBS, highlight the importance of E. coli in perinatal infection. From the 16 340 registrations of the National Registry 1676 were newborns with mother-related infection. Applying the same reasoning to E.coli as to GBS and Listeria monocytogenes – that is considering all of them are of maternal origin - 6.7% of these infections were due to E. coli, 4.6% to SGB and 0.5% to Listeria monocytogenes. In conclusion screening and prophylaxis may be not the best way to prevent all GBS neonatal infections but by now it is the only available procedure. The other bacteria continue to demand a high suspicion level and immediate intervention.