Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

A simple logical approach to questioned envelopes examination.

This case report outlines research undertaken as the result of a document examination case in which two envelopes were involved. The combination of the circumstances of the case and the results of the examination allows a simple application of a logical approach to pre-assess the probability that an envelope (or a package) potentially recovered at a suspect's home comes from the same batch (same source) as questioned envelopes. This highlights that it is useful to examine envelopes.

Automatic self-configuration of the logical network using distributed software agents

We present a system for dynamic network resource configuration in environments with bandwidth reservation. The proposed system is completely distributed and automates the mechanisms for adapting the logical network to the offered load. The system is able to manage dynamically a logical network such as a virtual path network in ATM or a label switched path network in MPLS or GMPLS. The system design and implementation is based on a multi-agent system (MAS) which make the decisions of when and how to change a logical path. Despite the lack of a centralised global network view, results show that MAS manages the network resources effectively, reducing the connection blocking probability and, therefore, achieving better utilisation of network resources. We also include details of its architecture and implementation

Diagnosing Patients Combining Principal Components Analysis and Case Based Reasoning

This paper addresses the application of a PCA analysis on categorical data prior to diagnose a patients data set using a Case-Based Reasoning (CBR) system. The particularity is that the standard PCA techniques are designed to deal with numerical attributes, but our medical data set contains many categorical data and alternative methods as RS-PCA are required. Thus, we propose to hybridize RS-PCA (Regular Simplex PCA) and a simple CBR. Results show how the hybrid system produces similar results when diagnosing a medical data set, that the ones obtained when using the original attributes. These results are quite promising since they allow to diagnose with less computation effort and memory storage

Argumentation and education. Theoretical foundations and practices

During the last decade, argumentation has attracted growing attention as a means to elicit processes (linguistic, logical, dialogical, psychological, etc.) that can sustain or provoke reasoning and learning. Constituting an important dimension of daily life and of professional activities, argumentation plays a special role in democracies and is at the heart of philosophical reasoning and scientific inquiry. Argumentation, as such, requires specific intellectual and social skills. Hence, argumentation will have an increasing importance in education, both because it is a critical competence that has to be learned, and because argumentation can be used to foster learning in philosophy, history, sciences and in many other domains. Argumentation and Education answers these and other questions by providing both theoretical backgrounds, in psychology, education and theory of argumentation, and concrete examples of experiments and results in school contexts in a range of domains. It reports on existing innovative practices in education settings at various levels.

Does Reasoning Enhance Learning?

Utilizing the well-known Ultimatum Game, this note presents the following phenomenon. If we start with simple stimulus-response agents, learning through naive reinforcement, and then grant them some introspective capabilities, we get outcomes that are not closer but farther away from the fully introspective game-theoretic approach. The cause of this is the following: there is an asymmetry in the information that agents can deduce from their experience, and this leads to a bias in their learning process.

O Processo de Raciocínio na Teoria dos Constrangimentos Aplicado numa Instituição de Ensino Superior

A Teoria dos Constrangimentos (TOC) ou das Restrições tem-se mostrado uma valiosa ferramenta de gestão, auxiliando na identificação dos constrangimentos que limitem a capacidade das empresas na prossecução da sua meta. Assim, para as restrições não físicas, a TOC desenvolveu o Processo de Raciocínio que é composto por ferramentas de análise lógica que dão subsídios para o diagnóstico de problemas bem como a formulação de soluções e planos de acção para implementá-las. Neste contexto, este trabalho se propõe a determinar a adequação do Processo de Raciocínio da Teoria dos Constrangimentos numa Instituição de Ensino Superior (IES) como forma de diagnosticar os problemas e propor soluções capazes de permitir a empresa uma melhoria contínua do seu desempenho. Serão avaliadas as ferramentas que compõem o Processo de Raciocínio, que são: Árvore de Realidade Actual, Diagrama de Dispersão de nuvens, Árvore de Realidade Futura, Árvore de Pré-Requisitos e Árvore de Transição. O trabalho inicia-se com uma pesquisa bibliográfica seguida de uma pesquisa de campo e finalizando com uma aplicação do PR numa IES localizada na ilha de São Vicente. A colecta de informações para a análise processou-se mediante a aplicação de um questionário fechado aos discentes e funcionários, questionário aberto aos docentes e entrevista estruturada aos dirigentes, elaborados em coerência com os objectivos que este estudo pretende atingir. Os resultados da aplicação do método aqui apresentado permitiram chegar as conclusões apontadas no capítulo final deste trabalho The Theory of Constraints (TOC) or Restriction Theory has proved to be a valuable management tool, assisting in the identification of constraints that restrict the ability of companies in the pursuit of its goals. Therefore, for the nonphysical constraints, TOC developed the Thinking Process (TP) that consists of logical analysis tools that provide a basis for diagnosing problems and formulating solutions and action plans to implement them. This study aims, thus, to determine the suitability of the use of the Thinking Process of the Theory of Constraints in a Higher Education Institution (HEI) as a way to diagnose problems and propose solutions that enable the firm to continually improve their performance. We will evaluate the tools that make up the TP, which are: Current Reality Tree, Evaporating Cloud Diagram, Future Reality Tree, Prerequisites Tree and Transition Tree. The work starts with a literature review, followed by a field search, and finishes with an application of the reasoning process in a higher education institution, located in São Vicente. The collection of the data for the analysis was processed through the application of a closed questionnaire to students and staff, opened questionnaire to teachers and interviews to management, drafted in line with the objectives that this study aims to reach. The results of the application of the method presented here, allowed us to reach the conclusions drawn in the final chapter of this work.

Clinical reasoning in undergraduate nursing education: a scoping review

Abstract OBJECTIVE This study aimed at analyzing the current state of knowledge on clinical reasoning in undergraduate nursing education. METHODS A systematic scoping review through a search strategy applied to the MEDLINE database, and an analysis of the material recovered by extracting data done by two independent reviewers. The extracted data were analyzed and synthesized in a narrative manner. RESULTS From the 1380 citations retrieved in the search, 23 were kept for review and their contents were summarized into five categories: 1) the experience of developing critical thinking/clinical reasoning/decision-making process; 2) teaching strategies related to the development of critical thinking/clinical reasoning/decision-making process; 3) measurement of variables related to the critical thinking/clinical reasoning/decision-making process; 4) relationship of variables involved in the critical thinking/clinical reasoning/decision-making process; and 5) theoretical development models of critical thinking/clinical reasoning/decision-making process for students. CONCLUSION The biggest challenge for developing knowledge on teaching clinical reasoning seems to be finding consistency between theoretical perspectives on the development of clinical reasoning and methodologies, methods, and procedures in research initiatives in this field.