On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge

In this thesis we discuss in what ways computational logic (CL) and data science (DS) can jointly contribute to the management of knowledge within the scope of modern and future artificial intelligence (AI), and how technically-sound software technologies can be realised along the path. An agent-oriented mindset permeates the whole discussion, by stressing pivotal role of autonomous agents in exploiting both means to reach higher degrees of intelligence. Accordingly, the goals of this thesis are manifold. First, we elicit the analogies and differences among CL and DS, hence looking for possible synergies and complementarities along 4 major knowledge-related dimensions, namely representation, acquisition (a.k.a. learning), inference (a.k.a. reasoning), and explanation. In this regard, we propose a conceptual framework through which bridges these disciplines can be described and designed. We then survey the current state of the art of AI technologies, w.r.t. their capability to support bridging CL and DS in practice. After detecting lacks and opportunities, we propose the notion of logic ecosystem as the new conceptual, architectural, and technological solution supporting the incremental integration of symbolic and sub-symbolic AI. Finally, we discuss how our notion of logic ecosys- tem can be reified into actual software technology and extended towards many DS-related directions.

Integration of heterogeneous data sources and automated reasoning in healthcare and domotic IoT systems

In recent years, IoT technology has radically transformed many crucial industrial and service sectors such as healthcare. The multi-facets heterogeneity of the devices and the collected information provides important opportunities to develop innovative systems and services. However, the ubiquitous presence of data silos and the poor semantic interoperability in the IoT landscape constitute a significant obstacle in the pursuit of this goal. Moreover, achieving actionable knowledge from the collected data requires IoT information sources to be analysed using appropriate artificial intelligence techniques such as automated reasoning. In this thesis work, Semantic Web technologies have been investigated as an approach to address both the data integration and reasoning aspect in modern IoT systems. In particular, the contributions presented in this thesis are the following: (1) the IoT Fitness Ontology, an OWL ontology that has been developed in order to overcome the issue of data silos and enable semantic interoperability in the IoT fitness domain; (2) a Linked Open Data web portal for collecting and sharing IoT health datasets with the research community; (3) a novel methodology for embedding knowledge in rule-defined IoT smart home scenarios; and (4) a knowledge-based IoT home automation system that supports a seamless integration of heterogeneous devices and data sources.

Development of machine learning methods for multi-modal biomarkers detection and integration

In medicine, innovation depends on a better knowledge of the human body mechanism, which represents a complex system of multi-scale constituents. Unraveling the complexity underneath diseases proves to be challenging. A deep understanding of the inner workings comes with dealing with many heterogeneous information. Exploring the molecular status and the organization of genes, proteins, metabolites provides insights on what is driving a disease, from aggressiveness to curability. Molecular constituents, however, are only the building blocks of the human body and cannot currently tell the whole story of diseases. This is why nowadays attention is growing towards the contemporary exploitation of multi-scale information. Holistic methods are then drawing interest to address the problem of integrating heterogeneous data. The heterogeneity may derive from the diversity across data types and from the diversity within diseases. Here, four studies conducted data integration using customly designed workflows that implement novel methods and views to tackle the heterogeneous characterization of diseases. The first study devoted to determine shared gene regulatory signatures for onco-hematology and it showed partial co-regulation across blood-related diseases. The second study focused on Acute Myeloid Leukemia and refined the unsupervised integration of genomic alterations, which turned out to better resemble clinical practice. In the third study, network integration for artherosclerosis demonstrated, as a proof of concept, the impact of network intelligibility when it comes to model heterogeneous data, which showed to accelerate the identification of new potential pharmaceutical targets. Lastly, the fourth study introduced a new method to integrate multiple data types in a unique latent heterogeneous-representation that facilitated the selection of important data types to predict the tumour stage of invasive ductal carcinoma. The results of these four studies laid the groundwork to ease the detection of new biomarkers ultimately beneficial to medical practice and to the ever-growing field of Personalized Medicine.

Mind the gaps: cognitive-inspired AI for high-level visual sensemaking. Towards abstract concept image classification

The abundance of visual data and the push for robust AI are driving the need for automated visual sensemaking. Computer Vision (CV) faces growing demand for models that can discern not only what images "represent," but also what they "evoke." This is a demand for tools mimicking human perception at a high semantic level, categorizing images based on concepts like freedom, danger, or safety. However, automating this process is challenging due to entropy, scarcity, subjectivity, and ethical considerations. These challenges not only impact performance but also underscore the critical need for interoperability. This dissertation focuses on abstract concept-based (AC) image classification, guided by three technical principles: situated grounding, performance enhancement, and interpretability. We introduce ART-stract, a novel dataset of cultural images annotated with ACs, serving as the foundation for a series of experiments across four key domains: assessing the effectiveness of the end-to-end DL paradigm, exploring cognitive-inspired semantic intermediaries, incorporating cultural and commonsense aspects, and neuro-symbolic integration of sensory-perceptual data with cognitive-based knowledge. Our results demonstrate that integrating CV approaches with semantic technologies yields methods that surpass the current state of the art in AC image classification, outperforming the end-to-end deep vision paradigm. The results emphasize the role semantic technologies can play in developing both effective and interpretable systems, through the capturing, situating, and reasoning over knowledge related to visual data. Furthermore, this dissertation explores the complex interplay between technical and socio-technical factors. By merging technical expertise with an understanding of human and societal aspects, we advocate for responsible labeling and training practices in visual media. These insights and techniques not only advance efforts in CV and explainable artificial intelligence but also propel us toward an era of AI development that harmonizes technical prowess with deep awareness of its human and societal implications.

Carotenoids Are Effective Inhibitors Of In Vitro Hemolysis Of Human Erythrocytes, As Determined By A Practical And Optimized Cellular Antioxidant Assay.

β-Carotene, zeaxanthin, lutein, β-cryptoxanthin, and lycopene are liposoluble pigments widely distributed in vegetables and fruits and, after ingestion, these compounds are usually detected in human blood plasma. In this study, we evaluated their potential to inhibit hemolysis of human erythrocytes, as mediated by the toxicity of peroxyl radicals (ROO•). Thus, 2,2'-azobis (2-methylpropionamidine) dihydrochloride (AAPH) was used as ROO• generator and the hemolysis assay was carried out in experimental conditions optimized by response surface methodology, and successfully adapted to microplate assay. The optimized conditions were verified at 30 × 10(6) cells/mL, 17 mM of AAPH for 3 h, at which 48 ± 5% of hemolysis was achieved in freshly isolated erythrocytes. Among the tested carotenoids, lycopene (IC(50) = 0.24 ± 0.05 μM) was the most efficient to prevent the hemolysis, followed by β-carotene (0.32 ± 0.02 μM), lutein (0.38 ± 0.02 μM), and zeaxanthin (0.43 ± 0.02 μM). These carotenoids were at least 5 times more effective than quercetin, trolox, and ascorbic acid (positive controls). β-Cryptoxanthin did not present any erythroprotective effect, but rather induced a hemolytic effect at the highest tested concentration (3 μM). These results suggest that selected carotenoids may have potential to act as important erythroprotective agents by preventing ROO•-induced toxicity in human erythrocytes.

[strategies For Integration Of Health Care Practices And Sanitary Surveillance In The Context Of The Implementation Of Rede Cegonha - A Brazilian Mother And Infant Health Care Network].

Mother and infant mortality has been the scope of analysis throughout the history of public health in Brazil and various strategies to tackle the issue have been proposed to date. The Ministry of Health has been working on this and the Rede Cegonha strategy is the most recent policy in this context. Given the principle of comprehensive health care and the structure of the Unified Health System in care networks, it is necessary to ensure the integration of health care practices, among which are the sanitary surveillance actions (SSA). Considering that the integration of health care practices and SSA can contribute to reduce mother and infant mortality rates, this article is a result of qualitative research that analyzed the integration of these actions in four cities in the State of São Paulo/Brazil: Campinas, Indaiatuba, Jaguariúna and Santa Bárbara D'Oeste. The research was conducted through interviews with SSA and maternal health managers, and the data were evaluated using thematic analysis. The results converge with other studies, identifying the isolation of health care practices and SSA. The insertion of SSA in collectively-managed areas appears to be a potential strategy for health planning and implementation of actions in the context under scrutiny.

[between The Country And The Laboratory: The Dynamics Of The Production Of Knowledge At The Menopause Outpatients Clinic At Caism, Unicamp.]

This study investigates the practices involved in the production of knowledge about menopause at Caism, Unicamp, a reference center for public policies for women's health. Gynecological appointments and psychological support meetings were observed, and women and doctors were interviewed in order to identify what discourse circulates there and how different actors are brought in to ensure that the knowledge produced attains credibility and travels beyond the boundaries of the teaching hospital to become universal. The analysis is based on localized studies aligned with social studies of science and technology.

[between The Country And The Laboratory: The Dynamics Of The Production Of Knowledge At The Menopause Outpatients Clinic At Caism, Unicamp].

This study investigates the practices involved in the production of knowledge about menopause at Caism, Unicamp, a reference center for public policies for women's health. Gynecological appointments and psychological support meetings were observed, and women and doctors were interviewed in order to identify what discourse circulates there and how different actors are brought in to ensure that the knowledge produced attains credibility and travels beyond the boundaries of the teaching hospital to become universal. The analysis is based on localized studies aligned with social studies of science and technology.

Motivating Medical Students To Learn Basic Science Concepts Using Chronic Myeloid Leukemia As An Integration Theme.

To report on the use of chronic myeloid leukemia as a theme of basic clinical integration for first year medical students to motivate and enable in-depth understanding of the basic sciences of the future physician. During the past thirteen years we have reviewed and updated the curriculum of the medical school of the Universidade Estadual de Campinas. The main objective of the new curriculum is to teach the students how to learn to learn. Since then, a case of chronic myeloid leukemia has been introduced to first year medical students and discussed in horizontal integration with all themes taught during a molecular and cell biology course. Cell structure and components, protein, chromosomes, gene organization, proliferation, cell cycle, apoptosis, signaling and so on are all themes approached during this course. At the end of every topic approached, the students prepare in advance the corresponding topic of clinical cases chosen randomly during the class, which are then presented by them. During the final class, a paper regarding mutations in the abl gene that cause resistance to tyrosine kinase inhibitors is discussed. After each class, three tests are solved in an interactive evaluation. The course has been successful since its beginning, 13 years ago. Great motivation of those who participated in the course was observed. There were less than 20% absences in the classes. At least three (and as many as nine) students every year were interested in starting research training in the field of hematology. At the end of each class, an interactive evaluation was performed and more than 70% of the answers were correct in each evaluation. Moreover, for the final evaluation, the students summarized, in a written report, the molecular and therapeutic basis of chronic myeloid leukemia, with scores ranging from 0 to 10. Considering all 13 years, a median of 78% of the class scored above 5 (min 74%-max 85%), and a median of 67% scored above 7. Chronic myeloid leukemia is an excellent example of a disease that can be used for clinical basic integration as this disorder involves well known protein, cytogenetic and cell function abnormalities, has well-defined diagnostic strategies and a target oriented therapy.

Electrocardiogram, Heart Movement And Heart Rate In The Awake Gecko (hemidactylus Mabouia).

The electrocardiogram (ECG) is the simplest and most effective non-invasive method to assess the electrical activity of the heart and to obtain information on the heart rate (HR) and rhythm. Because information on the HR of very small reptiles (body mass <10 g) is still scarce in the literature, in the present work we describe a procedure for recording the ECG in non-anesthetized geckos (Hemidactylus mabouia, Moreau de Jonnès, 1818) under different conditions, namely manual restraint (MR), spontaneous tonic immobility (TI), and in the non-restrained condition (NR). In the gecko ECG, the P, QRS and T waves were clearly distinguishable. The HR was 2.83 ± 0.02 Hz under MR, which was significantly greater (p < 0.001) than the HR under the TI (1.65 ± 0.09 Hz) and NR (1.60 ± 0.10 Hz) conditions. Spontaneously beating isolated gecko hearts contracted at 0.84 ± 0.03 Hz. The in vitro beating rate was affected in a concentration-dependent fashion by adrenoceptor stimulation with noradrenaline, as well as by the muscarinic cholinergic agonist carbachol, which produced significant positive and negative chronotropic effects, respectively (p < 0.001). To our knowledge, this is the first report on the ECG morphology and HR values in geckos, particularly under TI. The methodology and instrumentation developed here are useful for non-invasive in vivo physiological and pharmacological studies in small reptiles without the need of physical restraint or anesthesia.

Delivery Of A Urology Online Course Using Moodle Versus Didactic Lectures Methods.

To subjectively and objectively compare an accessible interactive electronic library using Moodle with lectures for urology teaching of medical students. Forty consecutive fourth-year medical students and one urology teacher were exposed to two teaching methods (4 weeks each) in the form of problem-based learning: - lectures and - student-centered group discussion based on Moodle (modular object-oriented dynamic learning environment) full time online delivered (24/7) with video surgeries, electronic urology cases and additional basic principles of the disease process. All 40 students completed the study. While 30% were moderately dissatisfied with their current knowledge base, online learning course delivery using Moodle was considered superior to the lectures by 86% of the students. The study found the following observations: (1) the increment in learning grades ranged from 7.0 to 9.7 for students in the online Moodle course compared to 4.0-9.6 to didactic lectures; (2) the self-reported student involvement in the online course was characterized as large by over 60%; (3) the teacher-student interaction was described as very frequent (50%) and moderately frequent (50%); and (4) more inquiries and requisitions by students as well as peer assisting were observed from the students using the Moodle platform. The Moodle platform is feasible and effective, enthusing medical students to learn, improving immersion in the urology clinical rotation and encouraging the spontaneous peer assisted learning. Future studies should expand objective evaluations of knowledge acquisition and retention.

Filtros de areia aplicados à irrigação localizada: teoria e prática

The application of sand filters in localized irrigation systems is recommended in the presence of organic and algae contamination. The proper design and maintenance of these equipments are essential to assure an effective water quality control, in order to reduce the emitters clogging, to keep its water application uniformity, and to prevent increasing in the system operation costs. Despite the existence of some references about design, operation and maintenance of these filters, they are dispersed, with not enough details to guarantee the optimization of its hydraulics structure design and the proper selection of porous media to be used. Therefore, the objective of this work was to report a current literature review, relating practical information with scientific knowledge. The content of this review would help to induce and intensify the research on this subject and to contribute so the operational functions for the equipment are reached. It is also expected to assist the improvement of the filtration and flushing processes in the agricultural irrigation and the development of original design procedures and the rational use of these devices.

Escola, democracia e a construção de personalidades morais

This article intends to discuss the relationship between morality, democracy and education within the perspective of the complex thinking, pointing to paths and proposals for its effective implementation in the educational routine, under the conviction that this is an imperative of the new social demands presented to the contemporary schooling. Understanding that one of the purposes of education is the ethical development, the author proposes intentional actions such that through them the school practices can offer to the subjects of education the necessary tools to build their cognitive, affective, cultural, and organic competence, thereby enabling them to act morally in the world. To that effect, seven aspects of school reality that hamper or contribute to school democratization are identified and discussed, which must be understood from the paradigm of complexity: school contents, classroom methodology, the nature of interpersonal relationships, the values, self-esteem and self-knowledge of the school community, as well as the school management processes.

Patient education in glaucoma: what do patients know about glaucoma?

PURPOSE: To evaluate the knowledge glaucoma patients have about their disease and its treatment. METHODS: One hundred and eighty-three patients were interviewed at the Glaucoma Service of Wills Eye Hospital (Philadelphia, USA, Group 1) and 100 at the Glaucoma Service of University of Campinas (Campinas, Brazil, Group 2). An informal, relaxed atmosphere was created by the interviewer before asking a list of 18 open-ended questions. RESULTS: In Group 1, 44% of the 183 patients did not have an acceptable idea about what glaucoma is, 30% did not know the purpose of the medications they were taking, 47% were not aware of what was an average intraocular pressure, and 45% did not understand why visual fields were examined. In Group 2, 54% gave unsatisfactory answers to the question What is glaucoma?, 54% did not know the purpose of the medications they were taking, 80% were not aware of what was an average intraocular pressure, and 94% did not understand why visual fields were examined (p<0.001). Linear regression analysis demonstrated that level of education was positively correlated to knowledge about glaucoma in both groups (r=0.65, p=0.001). CONCLUSION: This study showed that patients' knowledge about glaucoma varies greatly, and that in an urban, American setting, around one third of the patients have minimal understanding, whereas in an urban setting in Brazil around two thirds of patients were lacking basic information about glaucoma. Innovative and effective methods are needed to correct this situation.

Is Misión Milagro an effective program to prevent blindness in Latin America?

397