Children’s reasoning about other’s intentions: False-belief and counterfactual conditional inferences

Dados suplementares associados com o artigo e epígrafe estão disponíveis em: http://dx.doi.org/10.1016/j.cogdev.2016.08.007

Zig-zagging in geometrical reasoning in technological collaborative environments: a Mathematical Working Space-framed study concerning cognition and affect

This study highlights the importance of cognition-affect interaction pathways in the construction of mathematical knowledge. Scientific output demands further research on the conceptual structure underlying such interaction aimed at coping with the high complexity of its interpretation. The paper discusses the effectiveness of using a dynamic model such as that outlined in the Mathematical Working Spaces (MWS) framework, in order to describe the interplay between cognition and affect in the transitions from instrumental to discursive geneses in geometrical reasoning. The results based on empirical data from a teaching experiment at a middle school show that the use of dynamic geometry software favours students’ attitudinal and volitional dimensions and helps them to maintain productive affective pathways, affording greater intellectual independence in mathematical work and interaction with the context that impact learning opportunities in geometric proofs. The reflective and heuristic dimensions of teacher mediation in students’ learning is crucial in the transition from instrumental to discursive genesis and working stability in the Instrumental-Discursive plane of MWS.

Motivated reasoning in the prediction of sports outcomes and the belief in the “hot hand”

The present paper explores the role of motivation to observe a certain outcome in people's predictions, causal attributions, and beliefs about a streak of binary outcomes (basketball scoring shots). In two studies we found that positive streaks (points scored by the participants' favourite team) lead participants to predict the streak's continuation (belief in the hot hand), but negative streaks lead to predictions of its end (gambler's fallacy). More importantly, these wishful predictions are supported by strategic attributions and beliefs about how and why a streak might unfold. Results suggest that the effect of motivation on predictions is mediated by a serial path via causal attributions to the teams at play and belief in the hot hand.

Moral reasoning in sport: validation of the Portuguese version of the RSBH value-judgement inventory in adolescents

The purpose of this study was to examine the validity and reliability of the Portuguese version of the Rudd Stoll Beller Hahm Value-judgement Inventory (RSBHVI) in a sample of adolescents. The RSBHVI, which measures moral and social reasoning, was translated using a back translation method. A sample of 238 10th to 12th grade high school students (age mean value 16.93 years, s = 1.34) completed the Portuguese versions of RSBH, and the Task and Ego-orientation Questionnaire. Partial support for the original structure of the moral reasoning scale, but not the social reasoning scale, was found. Females, and non-athletes and individual sport athletes scored significantly higher than males and team sport athletes in moral reasoning, respectively. Moral reasoning was negatively correlated with ego-orientation (r = −30; p <. 001) and uncorrelated with task-orientation (r = .10, p > .05). Participants who were low-ego scored higher in moral reasoning than those who were high-ego. It is suggested that decreasing levels of ego-orientation may be necessary to improve athletes’ moral reasoning.

Prediction of Length of Hospital Stay in Preterm Infants - A Case-Based Reasoning View

The length of stay of preterm infants in a neonatology service has become an issue of a growing concern, namely considering, on the one hand, the mothers and infants health conditions and, on the other hand, the scarce healthcare facilities own resources. Thus, a pro-active strategy for problem solving has to be put in place, either to improve the quality-of-service provided or to reduce the inherent financial costs. Therefore, this work will focus on the development of a diagnosis decision support system in terms of a formal agenda built on a Logic Programming approach to knowledge representation and reasoning, complemented with a case-based problem solving methodology to computing, that caters for the handling of incomplete, unknown, or even contradictory in-formation. The proposed model has been quite accurate in predicting the length of stay (overall accuracy of 84.9%) and by reducing the computational time with values around 21.3%.

A case-based reasoning view of thrombophilia risk

Thrombophilia stands for a genetic or an acquired tendency to hypercoagulable states that increase the risk of venous and arterial thromboses. Indeed, venous thromboembolism is often a chronic illness, mainly in deep venous thrombosis and pulmonary embolism, requiring lifelong prevention strategies. Therefore, it is crucial to identify the cause of the disease, the most appropriate treatment, the length of treatment or prevent a thrombotic recurrence. Thus, this work will focus on the development of a diagnosis decision support system in terms of a formal agenda built on a logic programming approach to knowledge representation and reasoning, complemented with a case-based approach to computing. The proposed model has been quite accurate in the assessment of thrombophilia predisposition risk, since the overall accuracy is higher than 90% and sensitivity ranging in the interval [86.5%, 88.1%]. The main strength of the proposed solution is the ability to deal explicitly with incomplete, unknown, or even self-contradictory information.

Healthcare Computer Reasoning Addressing Chronically Ill Societies Using IoT: Deep Learning AI to the Rescue of Home-Based Healthcare

The authors present a proposal to develop intelligent assisted living environments for home based healthcare. These environments unite the chronical patient clinical history sematic representation with the ability of monitoring the living conditions and events recurring to a fully managed Semantic Web of Things (SWoT). Several levels of acquired knowledge and the case based reasoning that is possible by knowledge representation of the health-disease history and acquisition of the scientific evidence will deliver, through various voice based natural interfaces, the adequate support systems for disease auto management but prominently by activating the less differentiated caregiver for any specific need. With these capabilities at hand, home based healthcare providing becomes a viable possibility reducing the institutionalization needs. The resulting integrated healthcare framework will provide significant savings while improving the generality of health and satisfaction indicators.

Strategies to Promote Research and Logical Reasoning in the Teaching of Mathematics in the Schools

The purpose of this paper is to raise a debate on the urgent need for teachers to generate innovative situations in the teaching-learning process, in the field of Mathematics, as a way for students to develop logical reasoning and research skills applicable to everyday situations. It includes some statistical data and possible reasons for the poor performance and dissatisfaction of students towards Mathematics. Since teachers are called to offer meaningful and functional learning experiences to students, in order to promote the pleasure of learning, teacher training should include experiences that can be put into practice by teachers in the education centers. This paper includes a work proposal for Mathematics Teaching to generate discussion, curiosity and logical reasoning in students, together with the Mathematical problem solving study.

Edge-aware Graph Attention Networks: Joint Reasoning On Text and Knowledge Graphs for Biomedical Question Answering

Much of the real-world dataset, including textual data, can be represented using graph structures. The use of graphs to represent textual data has many advantages, mainly related to maintaining a more significant amount of information, such as the relationships between words and their types. In recent years, many neural network architectures have been proposed to deal with tasks on graphs. Many of them consider only node features, ignoring or not giving the proper relevance to relationships between them. However, in many node classification tasks, they play a fundamental role. This thesis aims to analyze the main GNNs, evaluate their advantages and disadvantages, propose an innovative solution considered as an extension of GAT, and apply them to a case study in the biomedical field. We propose the reference GNNs, implemented with methodologies later analyzed, and then applied to a question answering system in the biomedical field as a replacement for the pre-existing GNN. We attempt to obtain better results by using models that can accept as input both node and edge features. As shown later, our proposed models can beat the original solution and define the state-of-the-art for the task under analysis.

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.

Weak reasoning argumentative theory. A dialogical approach for the discovery of philosophy in high schools

In the literature on philosophical practices, despite the crucial role that argumentation plays in these activities, no specific argumentative theories have ever been proposed to assist the figure of the facilitator in conducting philosophical dialogue and to enhance student’s critical thinking skills. The dissertation starts from a cognitive perspective that challenges the classic Cartesian notion of rationality by focusing on limits and biases of human reasoning. An argumentative model (WRAT – Weak Reasoning Argumentative Theory) is then outlined in order to respond to the needs of philosophical dialogue. After justifying the claim that this learning activity, among other inductive methodologies, is the most suitable for critical thinking education, I inquired into the specific goal of ‘arguing’ within this context by means of the tools provided by Speech Act Theory: the speaker’s intention is to construct new knowledge by questioning her own and other’s beliefs. The model proposed has been theorized on this assumption, starting from which the goals, and, in turn, the related norms, have been pinpointed. In order to include all the epistemic attitudes required to accomplish the complex task of arguing in philosophical dialogue, I needed to integrate two opposed cognitive accounts, Dual Process Theory and Evolutionary Approach, that, although they provide incompatible descriptions of reasoning, can be integrated to provide a normative account of argumentation. The model, apart from offering a theoretical contribution to argumentation studies, is designed to be applied to the Italian educational system, in particular to classes in technical and professional high schools belonging to the newly created network Inventio. This initiative is one of the outcomes of the research project by the same name, which also includes an original Syllabus, research seminars, a monitoring action and publications focused on introducing philosophy, in the form of workshop activities, into technical and professional schools.

Bio-QA-GNN: Reasoning with Language Models and Knowledge Graphs for Interpretable Biomedical Question Answering

Nowadays the idea of injecting world or domain-specific structured knowledge into pre-trained language models (PLMs) is becoming an increasingly popular approach for solving problems such as biases, hallucinations, huge architectural sizes, and explainability lack—critical for real-world natural language processing applications in sensitive fields like bioinformatics. One recent work that has garnered much attention in Neuro-symbolic AI is QA-GNN, an end-to-end model for multiple-choice open-domain question answering (MCOQA) tasks via interpretable text-graph reasoning. Unlike previous publications, QA-GNN mutually informs PLMs and graph neural networks (GNNs) on top of relevant facts retrieved from knowledge graphs (KGs). However, taking a more holistic view, existing PLM+KG contributions mainly consider commonsense benchmarks and ignore or shallowly analyze performances on biomedical datasets. This thesis start from a propose of a deep investigation of QA-GNN for biomedicine, comparing existing or brand-new PLMs, KGs, edge-aware GNNs, preprocessing techniques, and initialization strategies. By combining the insights emerged in DISI's research, we introduce Bio-QA-GNN that include a KG. Working with this part has led to an improvement in state-of-the-art of MCOQA model on biomedical/clinical text, largely outperforming the original one (+3.63\% accuracy on MedQA). Our findings also contribute to a better understanding of the explanation degree allowed by joint text-graph reasoning architectures and their effectiveness on different medical subjects and reasoning types. Codes, models, datasets, and demos to reproduce the results are freely available at: \url{https://github.com/disi-unibo-nlp/bio-qagnn}.

Uma observação sobre o lugar da teoria da ligação e do critério temático dentro do programa minimalista

In this paper I present some evidencie that forces us to conclude that within the Minimalist Program (Chomsky 1993; 1995), Binding Theory (BT) should be computed after LF (Logical Form). I show that derivations leading to structures containing violations of BT-Principles must converge at LF, since less economical alternative derivations respecting those principles are also ungrammatical. Being irrelevant to the notion of convergence, BT must apply after LF. A similar reasoning reveals that the Theta-Criterion should have the status of a bare output condition appling at LF, since less economical derivations are allowed by the computational system to prevent violations of it.

Modelos organizadores do pensamento: uma perspectiva de pesquisa sobre o raciocínio moral com adolescentes autores de infração

This article has the aim to expand the perspective of research in the field of morality. We present a proposal of morality study of outlaw teenagers according to Thinking Organizer Models Theory. Through the idea of complexity we search to understand the cognitive process in the elaboration of moral reasoning inside situations of conflict. With this perspective, we developed a research that aimed to identify which organizer models were applied by 20 outlaw male teenagers who abide by social punishment to solve the hypothetical moral conflicts. Through interviews we told them a situation of moral conflict that involved friendship relation, physical aggression and steal. We could identified several models which were joined in three categories. Such models reflected the diversity and regularity that are present inside the elaborated reasoning to solve the conflicts shown by us. We conclude that the diversity of organizer models identified shows the importance of the contents in the construction of moral reasoning.