A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Socrates on the Moral Mischief of Misology

In Plato’s dialogues, the Phaedo, Laches, and Republic, Socrates warns his interlocutors about the dangers of misology. Misology is explained by analogy with misanthropy, not as the hatred of other human beings, but as the hatred of the logos or reasonable discourse. According to Socrates, misology arises when a person alternates between believing an argument to be correct, and then refuting it as false. If Socrates is right, then misanthropy is sometimes instilled when a person goes from trusting people to learning that others sometimes betray our reliance and expectations, and finally not to placing any confidence whatsoever in other people, or, in the case of misology, in the correctness or trustworthiness of arguments. A cynical indifference to the soundness of arguments generally is sometimes associated with Socrates’ polemical targets, the Sophists, at least as Plato represents Socrates’ reaction to these itinerant teachers of rhetoric, public speaking and the fashioning of arguments suitable to any occasion. Socrates’ injunctions against misology are largely moral, pronouncing it ‘shameful’ and ‘very wicked’, and something that without further justification we must ‘guard against’, maintaining that we will be less excellent persons if we come to despise argument as lacking the potential of leading to the truth. I examine Socrates’ moral objections to misology which I show to be inconclusive. I consider instead the problem of logical coherence in the motivations supposedly underlying misology, and conclude that misology as Socrates intends the concept is an emotional reaction to argumentation on the part of persons who have not acquired the logical dialectical skills or will to sort out good from bad arguments. We cannot dismiss argument as directed toward the truth unless we have a strong reason for doing so, and any such argument must itself presuppose that at least some reasoning can be justified in discovering and justifying belief in interesting truths. The relevant passages from Socrates’ discussion of the soul’s immortality in the Phaedo are discussed in detail, and set in scholarly background against Socrates’ philosophy more generally, as represented by Plato’s dialogues. I conclude by offering a suggestive list of practical remedies to avoid the alienation from argument in dialectic with which Socrates is concerned.

Exploring the validity and reliability of a questionnaire for evaluating virtual patient design with a special emphasis on fostering clinical reasoning

Background: Virtual patients (VPs) are increasingly used to train clinical reasoning. So far, no validated evaluation instruments for VP design are available. Aims: We examined the validity of an instrument for assessing the perception of VP design by learners. Methods: Three sources of validity evidence were examined: (i) Content was examined based on theory of clinical reasoning and an international VP expert team. (ii) The response process was explored in think-aloud pilot studies with medical students and in content analyses of free text questions accompanying each item of the instrument. (iii) Internal structure was assessed by exploratory factor analysis (EFA) and inter-rater reliability by generalizability analysis. Results: Content analysis was reasonably supported by the theoretical foundation and the VP expert team. The think-aloud studies and analysis of free text comments supported the validity of the instrument. In the EFA, using 2547 student evaluations of a total of 78 VPs, a three-factor model showed a reasonable fit with the data. At least 200 student responses are needed to obtain a reliable evaluation of a VP on all three factors. Conclusion: The instrument has the potential to provide valid information about VP design, provided that many responses per VP are available.

Predicting the onset of psychosis in patients at clinical high risk: practical guide to probabilistic prognostic reasoning

Prediction of psychosis in patients at clinical high risk (CHR) has become a mainstream focus of clinical and research interest worldwide. When using CHR instruments for clinical purposes, the predicted outcome is but only a probability; and, consequently, any therapeutic action following the assessment is based on probabilistic prognostic reasoning. Yet, probabilistic reasoning makes considerable demands on the clinicians. We provide here a scholarly practical guide summarising the key concepts to support clinicians with probabilistic prognostic reasoning in the CHR state. We review risk or cumulative incidence of psychosis in, person-time rate of psychosis, Kaplan-Meier estimates of psychosis risk, measures of prognostic accuracy, sensitivity and specificity in receiver operator characteristic curves, positive and negative predictive values, Bayes’ theorem, likelihood ratios, potentials and limits of real-life applications of prognostic probabilistic reasoning in the CHR state. Understanding basic measures used for prognostic probabilistic reasoning is a prerequisite for successfully implementing the early detection and prevention of psychosis in clinical practice. Future refinement of these measures for CHR patients may actually influence risk management, especially as regards initiating or withholding treatment.

William Harvey revisited

William Harvey's discovery of the circulation of the blood is often described as a product of the Scientific Revolution of the Seventeenth Century. Modern research has, however, shown thatHarvey followed the Aristotelian research tradition and thus tried to reveal the purpose of the organs through examination of various animals. His publication of 1628 has to be read as an argument of natural philosophy, or, more precisely, as a series of linked observations, experiments and philosophical reasonings from which the existence of circulation has to be deduced as a logical consequence. Harvey did not consider experiments as superior to philosophical reasoning nor intended he to create a new system of medicine. He believed in the vitality of the heart and the blood and rejected Francis Bacon's empirism and the mechanistic rationalism of Descartes. Harvey's contribution and originality lied less in his single observations and experiments but in the manner how he linked them with critical reasoning and how he accepted, presented and defended the ensuing radical findings.

Developing an alternative response format for the script concordance test

Introduction: Clinical reasoning is essential for the practice of medicine. In theory of development of medical expertise it is stated, that clinical reasoning starts from analytical processes namely the storage of isolated facts and the logical application of the ‘rules’ of diagnosis. Then the learners successively develop so called semantic networks and illness-scripts which finally are used in an intuitive non-analytic fashion [1], [2]. The script concordance test (SCT) is an example for assessing clinical reasoning [3]. However the aggregate scoring [3] of the SCT is recognized as problematic [4]. The SCT`s scoring leads to logical inconsistencies and is likely to reflect construct-irrelevant differences in examinees’ response styles [4]. Also the expert panel judgments might lead to an unintended error of measurement [4]. In this PhD project the following research questions will be addressed: 1. How does a format look like to assess clinical reasoning (similar to the SCT but) with multiple true-false questions or other formats with unambiguous correct answers, and by this address the above mentioned pitfalls in traditional scoring of the SCT? 2. How well does this format fulfill the Ottawa criteria for good assessment, with special regards to educational and catalytic effects [5]? Methods: 1. In a first study it shall be assessed whether designing a new format using multiple true-false items to assess clinical reasoning similar to the SCT-format is arguable in a theoretically and practically sound fashion. For this study focus groups or interviews with assessment experts and students will be undertaken. 2. In an study using focus groups and psychometric data Norcini`s and colleagues Criteria for Good Assessment [5] shall be determined for the new format in a real assessment. Furthermore the scoring method for this new format shall be optimized using real and simulated data.

Computer-based summative assessment of clinical reasoning in clerkships: A mixed-method comparison of key feature problems with case-based multiple choice questions

Background: It is yet unclear if there are differences between using electronic key feature problems (KFPs) or electronic case-based multiple choice questions (cbMCQ) for the assessment of clinical decision making. Summary of Work: Fifth year medical students were exposed to clerkships which ended with a summative exam. Assessment of knowledge per exam was done by 6-9 KFPs, 9-20 cbMCQ and 9-28 MC questions. Each KFP consisted of a case vignette and three key features (KF) using “long menu” as question format. We sought students’ perceptions of the KFPs and cbMCQs in focus groups (n of students=39). Furthermore statistical data of 11 exams (n of students=377) concerning the KFPs and (cb)MCQs were compared. Summary of Results: The analysis of the focus groups resulted in four themes reflecting students’ perceptions of KFPs and their comparison with (cb)MCQ: KFPs were perceived as (i) more realistic, (ii) more difficult, (iii) more motivating for the intense study of clinical reasoning than (cb)MCQ and (iv) showed an overall good acceptance when some preconditions are taken into account. The statistical analysis revealed that there was no difference in difficulty; however KFP showed a higher discrimination and reliability (G-coefficient) even when corrected for testing times. Correlation of the different exam parts was intermediate. Conclusions: Students perceived the KFPs as more motivating for the study of clinical reasoning. Statistically KFPs showed a higher discrimination and higher reliability than cbMCQs. Take-home messages: Including KFPs with long menu questions into summative clerkship exams seems to offer positive educational effects.

La economía y el ambiente : Ortodoxias y heterodoxias para la aplicación al territorio

El objetivo de este trabajo es discutir los enfoques principales del debate sobre el tratamiento que debe dar la economía al impacto ambiental. El tema se relaciona con toda la discusión sobre el desarrollo y sobre la relación entre territorio y desarrollo, y atraviesa la problemática de la geografía económica y regional en cuestiones como la planificación regional o el análisis de impacto, sobre todo en territorios con fuerte influencia de la explotación de recursos naturales. Se analiza la manera de incorporar el problema en las bases de la economía neoclásica aceptando sus principios y utilizando sus instrumentos. Luego se aborda la economía ecológica desde el trabajo de Georgescu-Roegen de 1971, el primero que intenta introducir en el razonamiento económico las leyes de la irreversibilidad de los procesos, por fuera de la visión neoclásica y fundando una corriente heterodoxa. Más allá de estas posiciones, están las visiones que analizan la relación entre ambiente y desarrollo manteniendo el concepto de centro-periferia o asumiendo la necesidad de construir discursos contra-hegemónicos, enmarcando la cuestión ambiental en esa lógica: se mencionan la postura del marxismo y el aporte del poscolonialismo -este último, fundamental, por la importancia que asigna a la necesidad de reconstruir la perspectiva ambiental desde las identidades y el territorio-. Las conclusiones plantean el desafío de retomar este tipo de puntos de vista -lo que limita enormemente el uso del herramental de la economía ambiental- y también algunas propuestas neoinstitucionalistas de la economía ecológica

La economía y el ambiente : Ortodoxias y heterodoxias para la aplicación al territorio

El objetivo de este trabajo es discutir los enfoques principales del debate sobre el tratamiento que debe dar la economía al impacto ambiental. El tema se relaciona con toda la discusión sobre el desarrollo y sobre la relación entre territorio y desarrollo, y atraviesa la problemática de la geografía económica y regional en cuestiones como la planificación regional o el análisis de impacto, sobre todo en territorios con fuerte influencia de la explotación de recursos naturales. Se analiza la manera de incorporar el problema en las bases de la economía neoclásica aceptando sus principios y utilizando sus instrumentos. Luego se aborda la economía ecológica desde el trabajo de Georgescu-Roegen de 1971, el primero que intenta introducir en el razonamiento económico las leyes de la irreversibilidad de los procesos, por fuera de la visión neoclásica y fundando una corriente heterodoxa. Más allá de estas posiciones, están las visiones que analizan la relación entre ambiente y desarrollo manteniendo el concepto de centro-periferia o asumiendo la necesidad de construir discursos contra-hegemónicos, enmarcando la cuestión ambiental en esa lógica: se mencionan la postura del marxismo y el aporte del poscolonialismo -este último, fundamental, por la importancia que asigna a la necesidad de reconstruir la perspectiva ambiental desde las identidades y el territorio-. Las conclusiones plantean el desafío de retomar este tipo de puntos de vista -lo que limita enormemente el uso del herramental de la economía ambiental- y también algunas propuestas neoinstitucionalistas de la economía ecológica

La economía y el ambiente : Ortodoxias y heterodoxias para la aplicación al territorio

El objetivo de este trabajo es discutir los enfoques principales del debate sobre el tratamiento que debe dar la economía al impacto ambiental. El tema se relaciona con toda la discusión sobre el desarrollo y sobre la relación entre territorio y desarrollo, y atraviesa la problemática de la geografía económica y regional en cuestiones como la planificación regional o el análisis de impacto, sobre todo en territorios con fuerte influencia de la explotación de recursos naturales. Se analiza la manera de incorporar el problema en las bases de la economía neoclásica aceptando sus principios y utilizando sus instrumentos. Luego se aborda la economía ecológica desde el trabajo de Georgescu-Roegen de 1971, el primero que intenta introducir en el razonamiento económico las leyes de la irreversibilidad de los procesos, por fuera de la visión neoclásica y fundando una corriente heterodoxa. Más allá de estas posiciones, están las visiones que analizan la relación entre ambiente y desarrollo manteniendo el concepto de centro-periferia o asumiendo la necesidad de construir discursos contra-hegemónicos, enmarcando la cuestión ambiental en esa lógica: se mencionan la postura del marxismo y el aporte del poscolonialismo -este último, fundamental, por la importancia que asigna a la necesidad de reconstruir la perspectiva ambiental desde las identidades y el territorio-. Las conclusiones plantean el desafío de retomar este tipo de puntos de vista -lo que limita enormemente el uso del herramental de la economía ambiental- y también algunas propuestas neoinstitucionalistas de la economía ecológica

Desing and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications—it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ‘Activity Monitor’ has been designed and implemented: a personal health-persuasive application that provides feedback on the user’s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user’s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.d

Multi-agent Architecture for Heterogeneous Reasoning under Uncertainty Combining MSBN and Ontologies in Distributed Network Diagnosis

This article proposes a MAS architecture for network diagnosis under uncertainty. Network diagnosis is divided into two inference processes: hypothesis generation and hypothesis confirmation. The first process is distributed among several agents based on a MSBN, while the second one is carried out by agents using semantic reasoning. A diagnosis ontology has been defined in order to combine both inference processes. To drive the deliberation process, dynamic data about the influence of observations are taken during diagnosis process. In order to achieve quick and reliable diagnoses, this influence is used to choose the best action to perform. This approach has been evaluated in a P2P video streaming scenario. Computational and time improvements are highlight as conclusions.