The national physics and chemistry exams and the learning of sciences

Dissertação apresentada para obtenção do Grau de Doutor em Ciências da Educação, pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Dengue in Brazil and Colombia: a study of knowledge, attitudes, and practices

Introduction This study was conducted in Brazil and Colombia,where dengue is endemic and vector control programs use chemical insecticides. Methods We identified knowledge, attitudes, and practices about dengue and determined the infestation levels of Aedes aegypti in one Brazilian and four Colombian communities. Results The surveys show knowledge of the vector, but little knowledge about diagnosis, prognosis, and treatment. Vector infestation indices show Brazil to have good relative control, while Colombia presents a high transmission risk. Conclusions Given the multidimensionality of dengue control, vertical control strategies are inadequate because they deny contextualized methods, alternative solutions, and local empowerment.

Interdisciplinary knowledge transfer and technological applications for assessment, strengthening and monitoring of timber structures in Europe

COST (European Co-operation in the field of scientific and technical research) is the longest running framework for research co-operation iri Europe, having been established in 1971 by a Ministerial Conference attended by Ministers for Science and Technology from 19 countries. Today COST is used by the scientific communities of 35 European countries to cooperate in exchanging knowledge and technology developed within research projects supported by national or European funds. The main objective of COST is to contribute to the realization of the European Research Área (ERA) anticipating and complementing the activities of the' Framework Programmes, constituting a "bridge" towards the scientific communities of emerging countries, increasing the mobility of researchers across Europe and fostering the establishment of "Networks of Excelience". Another essential objective is the knowledge transfer between the scientific soc'iety and industry. It is widely acknowledged that European scientific performance in relation to investment in science is excellent but technological and commercial performance has steadily worsened. The present paper discusses how the COST Action's instruments, from training schools to short scientific missions and workshops have been used within The COST ACTION FP11O1 Assessment, Reinforcement and Monitoring of Timber Structures to achieve such objectives.

[An editorial to] Recent Advances on Knowledge Discovery and Business Intelligence

Special issue guest editorial, June, 2015.

Generic system for human-computer gesture interaction: applications on sign language recognition and robotic soccer refereeing

Hand gestures are a powerful way for human communication, with lots of potential applications in the area of human computer interaction. Vision-based hand gesture recognition techniques have many proven advantages compared with traditional devices, giving users a simpler and more natural way to communicate with electronic devices. This work proposes a generic system architecture based in computer vision and machine learning, able to be used with any interface for human-computer interaction. The proposed solution is mainly composed of three modules: a pre-processing and hand segmentation module, a static gesture interface module and a dynamic gesture interface module. The experiments showed that the core of visionbased interaction systems could be the same for all applications and thus facilitate the implementation. For hand posture recognition, a SVM (Support Vector Machine) model was trained and used, able to achieve a final accuracy of 99.4%. For dynamic gestures, an HMM (Hidden Markov Model) model was trained for each gesture that the system could recognize with a final average accuracy of 93.7%. The proposed solution as the advantage of being generic enough with the trained models able to work in real-time, allowing its application in a wide range of human-machine applications. To validate the proposed framework two applications were implemented. The first one is a real-time system able to interpret the Portuguese Sign Language. The second one is an online system able to help a robotic soccer game referee judge a game in real time.

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Juventud vulnerable y escuela media: representaciones y experiencias sobre la autoridad escolar. Vulnerable youth and high school: representation and experiences on scholastic authority.

La investigación busca responder cómo experimentan, se representan y caracterizan grupos juveniles en situación de vulnerabilidad social de la ciudad de Córdoba, la autoridad en la escuela media considerada en tres actores institucionales claves: docentes, preceptores y directores. Se propone indagar acerca de la autoridad desde dos dimensiones: las representaciones juveniles de la autoridad pedagógica (ligada al desempeño de los profesores) y la autoridad en términos de límites que reconocen en los directivos y preceptores vinculándola con el espacio institucional de la escuela. Objetivos Explorar las relaciones con la autoridad escolar vivenciadas en su tránsito por la escuela secundaria por jóvenes en condiciones de vulnerabilidad social de la ciudad de Córdoba. Indagar como vivencian los jóvenes las leyes y normativas escolares atendiendo a la cercanía o distancia con las prácticas que ellos ponen en juego en el seno de sus grupos de referencia. Identificar desde las voces de adolescentes de sectores populares los problemas de convivencia escolar más frecuentes, apuntando a reconocer qué posiciones advierten ante tales situaciones en los adultos que se desempeñan en diferentes roles en la escuela. Explorar en las interacciones y conflictos que se plantean en sus relaciones con docentes, directivos y preceptores. Conocer las valoraciones que los jóvenes efectúan sobre las estrategias de autoridad puestas en juego por profesores (vinculándolas con el desempeño cotidiano en sus asignaturas), preceptores y directivos. Materiales y métodos: Se seguirán dos etapas: a) Realización de grupos focales con adolescentes de 15-17 en situación de vulnerabilidad social que asisten a la escuela media. Se prevé la utilización de muestras intencionales. b) Aplicación de un cuestionario estandarizado a jóvenes de escuelas secundarias en situación de vulnerabilidad. Las preguntas del cuestionario serán elaboradas en forma de escalas de tipo Likert construidas a partir de la información obtenida en la primera etapa Resultados: La investigación producirá conocimientos acerca de: - formas de legitimación de la autoridad escolar por parte de jóvenes socialmente vulnerables - características de la autoridad escolar en docentes, preceptores y directores - modelos institucionales de autoridad escolar Importancia: La significatividad de los resultados se vincula con el marco de las discusiones que se vienen desarrollando en torno a las transformaciones de la educación secundaria, dentro de las cuales la recreación del vínculo docente-alumno y la redefinición de los marcos de autoridad institucionales resultan sustantivos de cara a la mejora. Pertinencia: El trabajo ayudará a identificar núcleos críticos ligados con la gestión de convivencia y de la autoridad escolar, lo que servirá para identificar aspectos de los formatos institucionales que deberían ser revisados y aquellos que podrían ser objeto de afianzamiento y multiplicación.

Robust learning in safety-related domains : machine learning methods for solving safety-related application problems

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Machine learning with Lipschitz classifiers

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2010

Knowledge representation with condensed set-valued attributes

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Vision-based representation and recognition of human activities in image sequences

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2013

Olfactory traces and spatial learning in rats.

We conducted an experiment to assess the use of olfactory traces for spatial orientation in an open environment in rats, Rattus norvegicus. We trained rats to locate a food source at a fixed location from different starting points, in the presence or absence of visual information. A single food source was hidden in an array of 19 petri dishes regularly arranged in an open-field arena. Rats were trained to locate the food source either in white light (with full access to distant visuospatial information) or in darkness (without any visual information). In both cases, the goal was in a fixed location relative to the spatial frame of reference. The results of this experiment revealed that the presence of noncontrolled olfactory traces coherent with the spatial frame of reference enables rats to locate a unique position as accurately in darkness as with full access to visuospatial information. We hypothesize that the olfactory traces complement the use of other orientation mechanisms, such as path integration or the reliance on visuospatial information. This experiment demonstrates that rats can rely on olfactory traces for accurate orientation, and raises questions about the establishment of such traces in the absence of any other orientation mechanism. Copyright 1998 The Association for the Study of Animal Behaviour.

Unilateral Emissions Mitigation, Spillovers, and Global Learning

What's the role of unilateral measures in global climate change mitigation in a post-Durban, post 2012 global policy regime? We argue that under conditions of preference heterogeneity, unilateral emissions mitigation at a subnational level may exist even when a nation is unwilling to commit to emission cuts. As the fraction of individuals unilaterally cutting emissions in a global strongly connected network of countries evolves over time, learning the costs of cutting emissions can result in the adoption of such activities globally and we establish that this will indeed happen under certain assumptions. We analyze the features of a policy proposal that could accelerate convergence to a low carbon world in the presence of global learning.