A Case Based Methodology for Problem Solving aiming at Knee Osteoarthritis Detection

Knee osteoarthritis is the most common type of arthritis and a major cause of impaired mobility and disability for the ageing populations. Therefore, due to the increasing prevalence of the malady, it is expected that clinical and scientific practices had to be set in order to detect the problem in its early stages. Thus, this work will be focused on the improvement of methodologies for problem solving aiming at the development of Artificial Intelligence based decision support system to detect knee osteoarthritis. The framework is built on top of a Logic Programming approach to Knowledge Representation and Reasoning, complemented with a Case Based approach to computing that caters for the handling of incomplete, unknown, or even self-contradictory information.

Age Prediction through Pelvis X-Ray Images - A Case Based approach to Problem Solving

It is well known that the dimensions of the pelvic bones depend on the gender and vary with the age of the individual. Indeed, and as a matter of fact, this work will focus on the development of an intelligent decision support system to predict individual’s age based on pelvis’ dimensions criteria. On the one hand, some basic image processing technics were applied in order to extract the relevant features from pelvic X-rays. On the other hand, the computational framework presented here was built on top of a Logic Programming approach to knowledge representation and reasoning, that caters for the handling of incomplete, unknown, or even self-contradictory information, complemented with a Case Base approach to computing.

O papel das representações na resolução de problemas de Matemática: um estudo no 1º ano de escolaridade

Este estudo tem como objectivo investigar o papel que as representações, construídas por alunos do 1.o ano de escolaridade, desempenham na resolução de problemas de Matemática. Mais concretamente, a presente investigação procura responder às seguintes questões: Que representações preferenciais utilizam os alunos para resolver problemas? De que forma é que as diferentes representações são influenciadas pelas estratégias de resolução de problemas utilizadas pelos alunos? Que papéis têm os diferentes tipos de representação na resolução dos problemas? Nesta investigação assume-se que a resolução de problemas constitui uma actividade muito importante na aprendizagem da Matemática no 1.o Ciclo do Ensino Básico. Os problemas devem ser variados, apelar a estratégias diversificadas de resolução e permitir diferentes representações por parte dos alunos. As representações cativas, icónicas e simbólicas constituem importantes ferramentas para os alunos organizarem, registarem e comunicarem as suas ideias matemáticas, nomeadamente no âmbito da resolução de problemas, servindo igualmente de apoio à compreensão de conceitos e relações matemáticas. A metodologia de investigação segue uma abordagem interpretativa tomando por design o estudo de caso. Trata-se simultaneamente de uma investigação sobre a própria prática, correspondendo os quatro estudos de caso a quatro alunos da turma de 1.0 ano de escolaridade da investigadora. A recolha de dados teve lugar durante o ano lectivo 2007/2008 e recorreu à observação, à análise de documentos, a diários, a registos áudio/vídeo e ainda a conversas com os alunos. A análise de dados que, numa primeira fase, acompanhou a recolha de dados, teve como base o problema e as questões da investigação bem como o referencial teórico que serviu de suporte à investigação. Com base no referencial teórico e durante o início do processo de análise, foram definidas as categorias de análise principais, sujeitas posteriormente a um processo de adequação e refinamento no decorrer da análise e tratamento dos dados recolhidos -com vista à construção dos casos em estudo. Os resultados desta investigação apontam as representações do tipo icónico e as do tipo simbólico como as representações preferenciais dos alunos, embora sejam utilizadas de formas diferentes, com funções distintas e em contextos diversos. Os elementos simbólicos apoiam-se frequentemente em elementos icónicos, sendo estes últimos que ajudam os alunos a descompactar o problema e a interpretá-lo. Nas representações icónicas enfatiza-se o papel do diagrama, o qual constitui uma preciosa ferramenta de apoio ao raciocínio matemático. Conclui-se ainda que enquanto as representações activas dão mais apoio a estratégias de resolução que envolvem simulação, as representações icónicas e simbólicas são utilizadas com estratégias diversificadas. As representações construídas, com papéis e funções diferentes entre si, e que desempenham um papel crucial na correcta interpretação e resolução dos problemas, parecem estar directamente relacionadas com as caraterísticas da tarefa proposta no que diz respeito às estruturas matemáticas envolvidas. ABSTRACT; The objective of the present study is to investigate the role of the representations constructed by 1st grade students in mathematical problem solving. More specifically, this research is oriented by the following questions: Which representations are preferably used by students to solve problems? ln which way the strategies adopted by the students in problem solving influence those distinct representations? What is the role of the distinct types of representation in the problems solving process? ln this research it is assumed that the resolution of problems is a very important activity in the Mathematics learning at the first cycle of basic education. The problems must be varied, appealing to diverse strategies of resolution and allow students to construct distinct representations. The active, iconic and symbolic representations are important tools for students to organize, to record and to communicate their mathematical ideas, particularly in problem solving context, as well as supporting the understanding of mathematical concepts and relationships. The adopted research methodology follows an interpretative approach, and was developed in the context of the researcher classroom, originating four case studies corresponding to four 1 st grade students of the researcher's class. Data collection was carried out during the academic year of 2007/2008 and was based on observation, analysis of documents, diaries, audio and video records and informal conversations with students. The initial data analysis was based on the problems and issues of research, as well in the theoretical framework that supports it. The main categories of analysis were defined based on the theoretical framework, and were subjected to a process of adaptation and refining during data processing and analysis aiming the -case studies construction. The results show that student's preferential representations are the iconic and the symbolic, although these types of representations are used in different ways, with different functions and in different contexts. The symbolic elements are often supported by iconic elements, the latter helping students to unpack the problem and interpret it. ln the iconic representations the role of the diagrams is emphasized, consisting in a valuable tool to support the mathematical reasoning. One can also conclude that while the active representations give more support to the resolution strategies involving simulation, the iconic and symbolic representations are preferably used with different strategies. The representations constructed with distinct roles and functions, are crucial in the proper interpretation and resolution of problems, and seem to be directly related to the characteristics of the proposed task with regard to the mathematical structures involved.

Quality of Judgment Assessment

The intersection of Artificial Intelligence and The Law stands for a multifaceted matter, and its effects set the advances on culture, organization, as well as the social matters, when the emergent information technologies are taken into consideration. From this point of view, the weight of formal and informal Conflict Resolution settings should be highlighted, and the use of defective data, information or knowledge must be emphasized. Indeed, it is hard to do it with traditional problem solving methodologies. Therefore, in this work the focus is on the development of decision support systems, in terms of its knowledge representation and reasoning procedures, under a formal framework based on Logic Programming, complemented with an approach to computing centered on Artificial Neural Networks. It is intended to evaluate the Quality-of-Judgments and the respective Degree-of-Confidence that one has on such happenings.

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 Soft Computing Approach to Acute Coronary Syndrome

Acute Coronary Syndrome (ACS) is transversal to a broad and heterogeneous set of human beings, and assumed as a serious diagnosis and risk stratification problem. Although one may be faced with or had at his disposition different tools as biomarkers for the diagnosis and prognosis of ACS, they have to be previously evaluated and validated in different scenarios and patient cohorts. Besides ensuring that a diagnosis is correct, attention should also be directed to ensure that therapies are either correctly or safely applied. Indeed, this work will focus on the development of a diagnosis decision support system in terms of its knowledge representation and reasoning mechanisms, given here in terms of a formal framework based on Logic Programming, complemented with a problem solving methodology to computing anchored on Artificial Neural Networks. On the one hand it caters for the evaluation of ACS predisposing risk and the respective Degree-of-Confidence that one has on such a happening. On the other hand it may be seen as a major development on the Multi-Value Logics to understand things and ones behavior. Undeniably, the proposed model allows for an improvement of the diagnosis process, classifying properly the patients that presented the pathology (sensitivity ranging from 89.7% to 90.9%) as well as classifying the absence of ACS (specificity ranging from 88.4% to 90.2%).

An Evaluative Model to Assess the Organizational Efficiency in Training Corporations

In an organisation any optimization process of its issues faces increasing challenges and requires new approaches to the organizational phenomenon. Indeed, in this work it is addressed the problematic of efficiency dynamics through intangible variables that may support a different view of the corporations. It focuses on the challenges that information management and the incorporation of context brings to competitiveness. Thus, in this work it is presented the analysis and development of an intelligent decision support system in terms of a formal agenda built on a Logic Programming based methodology to problem solving, complemented with an attitude to computing grounded on Artificial Neural Networks. The proposed model is in itself fairly precise, with an overall accuracy, sensitivity and specificity with values higher than 90 %. The proposed solution is indeed unique, catering for the explicit treatment of incomplete, unknown, or even self-contradictory information, either in a quantitative or qualitative arrangement.