Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Visual and verbal processing effects on human memory

In this study in the field of Consumer Behavior, brand name memory of consumers with regard to verbal and visual incongruent and congruent information such as memory structure of brands was tested. Hence, four experimental groups with different constellations of verbal and visual congruity and incongruity were created to compare their brand name memory performance. The experiment was conducted in several classes with 128 students, each group with 32 participants. It was found that brands, which are presented in a congruent or moderately incongruent relation to their brand schema, result in a better brand recall than their incongruent counterparts. A difference between visual congruity and moderately incongruity could not be confirmed. In contrast to visual incongruent information, verbal incongruent information does not result in a worse brand recall performance.

Improving practical reasoning and argumentation

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7).

Validade discriminante do Teste de Aprendizagem Auditivo-Verbal de Rey: comparação entre idosos normais e idosos na fase inicial da doença de Alzheimer

Objetivo: Este estudo transversal visa avaliar a validade discriminante do Teste de Aprendizagem Auditivo-Verbal de Rey (RAVLT), ao comparar uma amostra de idosos normais com uma de pacientes na fase inicial da doença de Alzheimer (DA). Métodos: Pacientes na fase inicial da DA (n = 35) e controles saudáveis (n = 35) pareados de acordo com a idade e a escolaridade foram submetidos ao Teste de Aprendizagem Auditivo-Verbal de Rey, ao Miniexame do Estado Mental e à Escala de Depressão Geriátrica. O desempenho dos dois grupos foi comparado por meio do teste de Mann-Whitney em cada etapa do RAVLT e, mediante a análise ROC, foi avaliada a validade discriminante do teste nas duas populações estudadas. Resultados: O grupo na fase inicial da DA teve desempenho significativamente pior em todas as etapas do RAVLT quando comparado ao grupo controle, e as etapas demonstraram bom poder diagnóstico, com áreas sobre a curva ROC oscilando entre 0,806 e 0,989 (A1 = 0,806; A2 = 0,869; A3 = 0,958; A4 = 0,947; A5 = 0,989; A6 = 0,962; A7 = 0,985; TOTAL = 0,975; LOT = 0,895; REC = 0,915). Conclusão: Os resultados sugerem que o Teste de Aprendizagem Auditivo-Verbal de Rey é eficaz para discriminar idosos normais de idosos na fase inicial da doença de Alzheimer.

The use of canonical correlation analysis to assess the relationship between executive functioning and verbal memory in older adults

Executive functioning (EF), which is considered to govern complex cognition, and verbal memory (VM) are constructs assumed to be related. However, it is not known the magnitude of the association between EF and VM, and how sociodemographic and psychological factors may affect this relationship, including in normal aging. In this study, we assessed different EF and VM parameters, via a battery of neurocognitive/psychological tests, and performed a Canonical Correlation Analysis (CCA) to explore the connection between these constructs, in a sample of middle- aged and older healthy individuals without cognitive impairment (N = 563, 50+ years of age). The analysis revealed a positive and moderate association between EF and VM independently of gender, age, education, global cognitive performance level, and mood. These results confirm that EF presents a significant association with VM performance.

Poder e valores da linguagem verbal na publicidade

A publicidade sabe que tem de procurar as estratégias mais diretas e mais eficientes na construção das suas mensagens. A ser assim, pode parecer que o imediatismo das imagens ligado às facilidades tecnológicas tenderá a secundarizar o poder da componente verbal na elaboração dos anúncios. O presente texto procura mostrar como a componente verbal é uma dimensão imprescindível da linguagem publicitária, utilizando estratégias diversificadas que podem ir da ausência (quase) absoluta de palavras até a usos em que é a própria mensagem verbal o principal elemento estruturador do anúncio.

Resposta cardiovascular ao Stroop: comparação entre teste computadorizado e verbal

FUNDAMENTO: O teste de Stroop requer que o indivíduo responda a elementos específicos de um estímulo enquanto inibe processos mais automatizados. OBJETIVO: Comparar a reatividade cardiovascular induzida pela versão computadorizada do teste palavra-cor de Stroop - TESTINPACS® com versão tradicional baseada na leitura de palavras impressas. MÉTODOS: A amostra de conveniência foi constituída por 20 mulheres (22,4 ± 4,1 anos). Análises de variância com medidas repetidas foram utilizadas para comparar efeitos principais entre testes (computadorizado, verbal), assim como entre etapas do teste (linha de base, Stroop 1, Stroop 3) das variáveis fisiológicas (pressão arterial, arritmia sinusal respiratória, frequência cardíaca e frequência respiratória). Testes t para amostras pareadas foram utilizados para comparar as médias pressóricas entre o Stroop 3 e a linha de base. Ademais, a magnitude dos efeitos (d') foi estimada a fim avaliar o impacto das diferenças entre as medidas fisiológicas relativas ao Stroop 3 e a linha de base. RESULTADOS: As duas versões do instrumento produziram elevação significativa em frequência cardíaca (p<0,01) e pressão arterial sistólica (p<0,05) quando medidas resultantes do Stroop 3 foram comparadas às de base. Não se verificaram, contudo, diferenças significativas produzidas pelas diferentes versões do teste sobre as demais variáveis investigadas. Estatísticas d' confirmaram a grande magnitude dos efeitos (-1,04 a +1,49) entre as medidas do Stroop 3 e da linha de base. CONCLUSÃO: Conclui-se que a presente versão computadorizada TESTINPACS® do teste de Stroop constitui instrumento útil para induzir reatividade cardiovascular em mulheres.

Effect of levodopa on both verbal and motor representations of action in Parkinson's disease: a fMRI study.

Previous studies have demonstrated that non-demented Parkinson's disease (PD) patients have a specific impairment of verb production compared with noun generation. One interpretation of this deficit suggested the influence of striato-frontal dysfunction on action-related verb processing. The aim of our study was to investigate cerebral changes after motor improvement due to dopaminergic medication on the neural circuitry supporting action representation in the brain as mediated by verb generation and motor imagery in PD patients. Functional magnetic resonance imaging on 8 PD patients in "ON" dopaminergic treatment state (DTS) and in "OFF" DTS was used to explore the brain activity during three different tasks: Object Naming (ObjN), Generation of Action Verbs (GenA) in which patients were asked to overtly say an action associated with a picture and mental simulation of action (MSoA) was investigated by asking subjects to mentally simulate an action related to a depicted object. The distribution of brain activities associated with these tasks whatever DTS was very similar to results of previous studies. The results showed that brain activity related to semantics of action is modified by dopaminergic treatment in PD patients. This cerebral reorganisation concerns mainly motor and premotor cortex suggesting an involvement of the putaminal motor loop according to the "motor" theory of verb processing.

Programme de remédiation cognitive pour patients présentant une schizophrénie ou un trouble associé (Recos) : résultats préliminaires [Cognitive remediation program for individuals living with schizophrenia (Recos): preliminary results].

BACKGROUND: Nowadays, cognitive remediation is widely accepted as an effective treatment for patients with schizophrenia. In French-speaking countries, techniques used in cognitive remediation for patients with schizophrenia have been applied from those used for patients with cerebral injury. As cognitive impairment is a core feature of schizophrenia, the Département de psychiatrie du CHUV in Lausanne (DP-CHUV) intended to develop a cognitive remediation program for patients with a schizophrenia spectrum disease (Recos-Vianin, 2007). Numerous studies show that the specific cognitive deficits greatly differ from one patient to another. Consequently, Recos aims at providing individualized cognitive remediation therapy. In this feasibility trial, we measured the benefits of this individualized therapy for patients with schizophrenia. Before treatment, the patients were evaluated with a large battery of cognitive tests in order to determine which of the five specific training modules - Verbal memory, visuospatial memory and attention, working memory, selective attention, reasoning - could provide the best benefit depending on their deficit. OBJECTIVES: The study was designed to evaluate the benefits of the Recos program by comparing cognitive functioning before and after treatment. METHOD: Twenty-eight patients with schizophrenia spectrum disorders (schizophrenia [n=18], schizoaffective disorder [n=5], schizotypal disorder [n=4], schizophreniform disorder [n=1], DSM-IV-TR) participated in between one and three of the cognitive modules. The choice of the training module was based on the results of the cognitive tests obtained during the first evaluation. The patients participated in 20 training sessions per module (one session per week). At the end of the training period, the cognitive functioning of each patient was reevaluated by using the same neuropsychological battery. RESULTS: The results showed a greater improvement in the cognitive functions, which were specifically trained, compared to the cognitive functions, which were not trained. However, an improvement was also observed in both types of cognitive functions, suggesting an indirect cognitive gain. CONCLUSION: In our view, the great heterogeneity of the observed cognitive deficits in schizophrenia necessitates a detailed neuropsychological investigation as well as an individualized cognitive remediation therapy. These preliminary results need to be confirmed with a more extended sample of patients.

Interactive Epistemology and Reasoning: On the Foundations of Game Theory

Game theory describes and analyzes strategic interaction. It is usually distinguished between static games, which are strategic situations in which the players choose only once as well as simultaneously, and dynamic games, which are strategic situations involving sequential choices. In addition, dynamic games can be further classified according to perfect and imperfect information. Indeed, a dynamic game is said to exhibit perfect information, whenever at any point of the game every player has full informational access to all choices that have been conducted so far. However, in the case of imperfect information some players are not fully informed about some choices. Game-theoretic analysis proceeds in two steps. Firstly, games are modelled by so-called form structures which extract and formalize the significant parts of the underlying strategic interaction. The basic and most commonly used models of games are the normal form, which rather sparsely describes a game merely in terms of the players' strategy sets and utilities, and the extensive form, which models a game in a more detailed way as a tree. In fact, it is standard to formalize static games with the normal form and dynamic games with the extensive form. Secondly, solution concepts are developed to solve models of games in the sense of identifying the choices that should be taken by rational players. Indeed, the ultimate objective of the classical approach to game theory, which is of normative character, is the development of a solution concept that is capable of identifying a unique choice for every player in an arbitrary game. However, given the large variety of games, it is not at all certain whether it is possible to device a solution concept with such universal capability. Alternatively, interactive epistemology provides an epistemic approach to game theory of descriptive character. This rather recent discipline analyzes the relation between knowledge, belief and choice of game-playing agents in an epistemic framework. The description of the players' choices in a given game relative to various epistemic assumptions constitutes the fundamental problem addressed by an epistemic approach to game theory. In a general sense, the objective of interactive epistemology consists in characterizing existing game-theoretic solution concepts in terms of epistemic assumptions as well as in proposing novel solution concepts by studying the game-theoretic implications of refined or new epistemic hypotheses. Intuitively, an epistemic model of a game can be interpreted as representing the reasoning of the players. Indeed, before making a decision in a game, the players reason about the game and their respective opponents, given their knowledge and beliefs. Precisely these epistemic mental states on which players base their decisions are explicitly expressible in an epistemic framework. In this PhD thesis, we consider an epistemic approach to game theory from a foundational point of view. In Chapter 1, basic game-theoretic notions as well as Aumann's epistemic framework for games are expounded and illustrated. Also, Aumann's sufficient conditions for backward induction are presented and his conceptual views discussed. In Chapter 2, Aumann's interactive epistemology is conceptually analyzed. In Chapter 3, which is based on joint work with Conrad Heilmann, a three-stage account for dynamic games is introduced and a type-based epistemic model is extended with a notion of agent connectedness. Then, sufficient conditions for backward induction are derived. In Chapter 4, which is based on joint work with Jérémie Cabessa, a topological approach to interactive epistemology is initiated. In particular, the epistemic-topological operator limit knowledge is defined and some implications for games considered. In Chapter 5, which is based on joint work with Jérémie Cabessa and Andrés Perea, Aumann's impossibility theorem on agreeing to disagree is revisited and weakened in the sense that possible contexts are provided in which agents can indeed agree to disagree.

How to improve the formal analytic reasoning and scientific motivation in the intellectual training of medical students

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)

Cerebellar transcranial direct current stimulation modulates verbal working memory.

BACKGROUND: Neuroimaging studies show cerebellar activations in a wide range of cognitive tasks and patients with cerebellar lesions often present cognitive deficits suggesting a cerebellar role in higher-order cognition. OBJECTIVE: We used cathodal transcranial direct current stimulation (tDCS), known to inhibit neuronal excitability, over the cerebellum to investigate if cathodal tDCS impairs verbal working memory, an important higher-order cognitive faculty. METHOD: We tested verbal working memory as measured by forward and backward digit spans in 40 healthy young participants before and after applying cathodal tDCS (2 mA, stimulation duration 25 min) to the right cerebellum using a randomized, sham-controlled, double-blind, cross-over design. In addition, we tested the effect of cerebellar tDCS on word reading, finger tapping and a visually cued sensorimotor task. RESULTS: In line with lower digit spans in patients with cerebellar lesions, cerebellar tDCS reduced forward digit spans and blocked the practice dependent increase in backward digit spans. No effects of tDCS on word reading, finger tapping or the visually cued sensorimotor task were found. CONCLUSION: Our results support the view that the cerebellum contributes to verbal working memory as measured by forward and backward digit spans. Moreover, the induction of reversible "virtual cerebellar lesions" in healthy individuals by means of tDCS may improve our understanding of the mechanistic basis of verbal working memory deficits in patients with cerebellar lesions.