Computer-Assisted Argument Mapping (CAAM) is a new way of understanding arguments. While still embryonic in its development and application, CAAM is being used increasingly as a training and development tool in the professions and government. Inroads are also being made in its application within education. CAAM claims to be helpful in an educational context, as a tool for students in responding to assessment tasks. However, to date there is little evidence from students that this is the case. This paper outlines (...) the use of CAAM as an educational tool within an Economics and Commerce Faculty in a major Australian research university. Evaluation results are provided from students from a CAAM pilot within an upper-level Economics subject. Results indicate promising support for the use of CAAM and its potential for transferability within the disciplines. If shown to be valuable with further studies, CAAM could be included in capstone subjects, allowing computer technology to be utilised in the service of generic skill development. (shrink)

Argument mapping is a way of diagramming the logical structure of an argument to explicitly and concisely represent reasoning. The use of argument mapping in critical thinking instruction has increased dramatically in recent decades. This paper overviews the innovation and provides a procedural approach for new teaches wanting to use argument mapping in the classroom. A brief history of argument mapping is provided at the end of this paper.

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted (...) in larger scale by philosophers. (shrink)

A study is described in which the effectiveness of a computer program (Hermes) on improving argumentative writing is tested. One group of students was randomly assigned to a control group and the other was assigned to the experimental group where they are asked to use the Hermes program. All students were asked to write essays on controversial topics to an opposed audience. Their essays were content-analysed for dialectical traits. Based on this analysis, it was concluded that the experimental group wrote (...) more dialectically effective essays than the control group, and the amount of difference between the control and experimental groups was related to the students' intellectual developmental level, as assessed by the Measure of Epistemological Reflection (MER). It is concluded that argumentative writing, operationalized here as dialectical writing, can be improved by computer-assisted instruction, but that attempts to teach such forms of thinking and writing need to take into account students' capacity to benefit from such instruction. Such capacity is defined here as intellectual development. (shrink)

The size and variation in both meaning-making and populations that characterize much contemporary text data demand research processes that support both discovery, interpretation and measurement. We assess one dominant strategy within the social sciences that takes a computer-led approach to text analysis. The approach is coined computational grounded theory. This strategy, we argue, relies on a set of unwarranted assumptions, namely, that unsupervised models return natural clusters of meaning, that the researcher can understand text with limited immersion and that indirect (...) validation is sufficient for ensuring unbiased and precise measurement. In response to this criticism, we develop a framework that is computer assisted. We argue that our reformulation of computational grounded theory better aligns with the principles within grounded theory, anthropological theory generation and ethnography. (shrink)

In her 2010 study of the Shi zhu duan jie jing T309, Jan Nattier found that several passages in T309 were copied from earlier Chinese Buddhist texts. She thus proposed that T309 is not a translation from an Indian text, but a “forgery” by Zhu Fonian. Extending Nattier’s analysis with the help of TACL, a tool for computational textual analysis, we conducted a more thorough analysis of Zhu Fonian’s four Mahayana texts, namely, T309, the Pusa chu tai jing T384, the (...) Zhongyin jin T385, and the Pusa yingluo jing T656, and found in T309 and T656 additional content deriving from earlier Chinese texts. On the basis of this analysis of these features of the texts, we propose that all four were likely compiled by Zhu Fonian himself. (shrink)

This article reviews the strengths and limitations of five major paradigms of medical computer-assisted decision making (CADM): (1) clinical algorithms, (2) statistical analysis of collections of patient data, (3) mathematical models of physical processes, (4) decision analysis, and (5) symbolic reasoning or artificial intelligence (Al). No one technique is best for all applications, and there is recent promising work which combines two or more established techniques. We emphasize both the inherent power of symbolic reasoning and the promise of artificial intelligence (...) and the other techniques to complement each other. (shrink)

This article reviews the strengths and limitations of five major paradigms of medical computer-assisted decision making (CADM): (1) clinical algorithms, (2) statistical analysis of collections of patient data, (3) mathematical models of physical processes, (4) decision analysis, and (5) symbolic reasoning or artificial intelligence (Al). No one technique is best for all applications, and there is recent promising work which combines two or more established techniques. We emphasize both the inherent power of symbolic reasoning and the promise of artificial intelligence (...) and the other techniques to complement each other. Keywords: Diagnosis, Computer Assisted Decision Making, Artificial Intelligence * Current address: Intelligenetics, 124 University Avenue, Palo Alto, CA. 94301, U.S.A. ** Dr. Shortliffe is a Henry J. Kaiser Family Foundation Faculty Scholar in General Internal Medicine and recipient of research career development award LM0048 from the National Library of Medicine. CiteULike Connotea Del.icio.us What's this? (shrink)

Certainty (and the lack thereof) is a major issue in mathematics and computer science. Mathematicians strongly believe in a special kind of certainty for their theorems.

278 non-freshman university students taking a l2-week critical thinking course in a large single-section class, with computer-assisted guided practice as a replacement for small-group discussion, and all testing in machine-scored multiple-choice format, improved their critical thinking skills, as measured by the California Critical Thinking Skills Test, by half a standard deviation, a moderate improvement. The improvement was more than that reported with a traditional format without computer-assisted instruction, but less than that reported with a format using both computer-assisted instruction and (...) essay-type assignments. Further studies are needed to test hypotheses suggested by these results. (shrink)

There has been increasing use of argument-based approaches in the development of safety-critical systems. Within this approach, a safety case plays a key role in the system development life cycle. The key components in a safety case are safety arguments, which are designated to demonstrate that the system is acceptably safe. Inappropriate reasoning in safety arguments could undermine a system's safety claims which in turn contribute to safety-related failures of the system. The review of safety arguments is therefore a crucial (...) step in the development of safety-critical systems. Reviews are conducted using dialogues where elements of the argument and their relations are proposed and scrutinised. This paper investigates an approach of conducting argument review using dialectical models. After studying five established dialectical models with varying strengths and drawbacks, a new dialectical model specially designed to support persuasion and information-seeking dialogues has been proposed to suit the requir... (shrink)

The comments accompanying Proposition (Prop.) 11 (“God... necessarily exists”) in Part I of Spinoza’s The Ethics contain sketches of what appear to be at least three more or less distinct ontological arguments. The first of these is problematic even on its own terms. More is true: even the proposition “God exists” (GE), a consequence of Prop. 11, cannot be derived from the definitions and axioms of Part I (the “DAPI”) of The Ethics; thus, Prop. 11 cannot be derived from the (...) DAPI, either. To prove these claims, I use an automated deduction system (ADS) to show that Prop. 11 is independent of the DAPI. I then augment the DAPI with some auxiliary assumptions I believe Spinoza would accept and that sustain an automated derivation of (GE). The results illustrate how an ADS can facilitate the analysis of arguments and yield an apparently novel argument cast in the style of Spinoza. (shrink)

Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of these arguments withstands (...) scrutiny, and so there is no reason to believe that computer-assisted proofs are not a priori. Thanks are due to Michael Levin, David Corfield, and an anonymous referee for Philosophia Mathematica for their helpful comments. Earlier versions of this paper were presented at the Hofstra University Department of Mathematics colloquium series, and at the 2005 New Jersey Regional Philosophical Association; I am grateful to both audiences for their comments. CiteULike Connotea Del.icio.us What's this? (shrink)

In contemporary global knowledge based society there are scorching needs for new knowledge and unprecedented vision of future development. Author is focuses attention to new possibilities of fostering creative abilities and gaining new socio-economic knowledge by the assistance of ICT, Internet and mainly by using products and services of computational intelligence. His method used is prevailingly new knowledge creation by experimentation in virtual laboratories. In using conventional methods, he combines inductive and deductive methods as set up for developing mental models (...) from up to down and bottom to up. Because in socio-economic branches it is very difficult and even almost wholly impossible to do experiments in objective reality the experimentation by the assistance of computational intelligence is promising advance in gaining new socioeconomic knowledge in contemporary complex world. Using such new approaches, methods and tools is the main scientific aim of the author. He uses convictive demonstration of successful using these unprecedented possibilities in gaining deeper knowledge about complex evolutionary phenomena. The distinction of such knowledge is against conventional one is consisting in very deep understanding of complex socio-economic dynamics. Using meant knowledge acquisition approaches is promising in quality and in abiding knowledge and skill of single individuals but the extraordinary progress of creative knowledge based society fostered by using them in advanced webs is useful for whole society. (shrink)

This study examined the effects of computer-assisted cognitive rehabilitation in a group of 16 brain-damaged patients. Therapeutic effectiveness was assessed by improvement on computer tasks, the results of neuropsychological tests and quality of life ratings. Participants suffered from mild to moderate attention and memory problems or aphasia. The procedure involved baseline assessment, a 15-week course of therapy conducted twice a week and posttest. Neuropsychological tests assessing attention, memory and language problems and quality of life ratings were administered twice: in pre- (...) and posttests. Twelve healthy controls were also examined twice using the same battery of neuropsychological tests. The RehaCom program and the Polish computer therapy program for aphasics called Afa-System were used for rehabilitation. The computer-assisted rehabilitation tasks were selected individually for each patient. The results showed significant improvement on computer-assisted tasks in all braindamaged subjects. However, none or very little improvement was observed on neuropsychological tests and quality of life ratings. The results of the study confirm the importance of using different types of measures to estimate the effectiveness of computer-assisted neuropsychological rehabilitation as well as the necessity of applying various kinds of therapy to improve cognitive, emotional and social functioning in brain-damaged patients. (shrink)

This article addresses the use of computer-assisted career guidance systems in career interventions. Major CACGS developed in the past decades were based on the trait-factor or person-environment fit approaches in their conceptualization and design. The strengths and limitations of these CACGS in addressing the career development needs of individuals are discussed. The Career Construction Theory is a promising paradigm to guide the development of new generations of CACGS. The narrative tradition, career adaptability model, and life-design interventions of CCT offer rich (...) conceptual and practical applications that could expand the scope and breadth of career exploration and identity construction through using CACGS. A digital system developed in Hong Kong called Infinity is a case-in-point of a CACGS where users could learn about career planning, engage in self and career construction through using the quantitative and qualitative assessment applications and gamified tools, take career planning actions over time, and communicate with their social supportive systems. Initial findings suggested that users of the system reported lesser decision-making difficulties, higher levels of decision clarity, and better understanding of what is career planning than non-users. Users from high academic achievement schools reported higher levels of career adaptability than their counterparts in schools of similar academic background. Users from low achievement schools reported higher intention to pursue government-supported universities than non-users from schools of similar background. Research and practice implications in schools and organizational settings are discussed. (shrink)

The aesthetically optimistic view of life in the last paragraph of Darwin’s On the Origin of Species contrasts with the evidence in his autobiography of a supposed perceptive colour blindness to the magnificence of nature. Accepting the theory of evolution as one of the scientific theories that has contributed to disenchantment, my aim is to delve into the Darwinian perception of natural beauty and solve this contrast of perceptions within the framework of the Weberian concept of “disenchantment of the world.” (...) To do this, I have carried out a computer-assisted study of Darwin’s language focusing on the frequency of aesthetic-emotional and religious adjectives and adverbs in the six editions of the Origin. A semantic analysis of the lexicon shows that, although disenchanted, Darwin perceives nature as aesthetically enhanced. I arrive at the conclusion that Darwin’s alleged colour blindness does not come from a loss of his capacity to aesthetically perceive nature, but from his loss of religious belief. (shrink)

In 2014, the worldwide context is that the population is increasingly both expanding and aging in industrial countries. In contrast, the personal health levels of individuals could decrease. Although retirement homes and health-care centers assume most of the demand, they will most probably overflow in the next few years. One of the current solutions is e-Health, which involves biomedical monitoring but also home automation functions to compensate for disabilities that tend to increase with age. In this context, several domains have (...) to be merged while respecting the entire ecosystem: the users, their needs and environment, but also all the various actors/experts involved in this process. The issue, however, is that enormous effort is required to combine the multiple expert domains because these can be antinomic. Hence, this paper proposes a collaborative workflow that brings together these different actors and generates the control/command application. Applying model-driven engineering, this workflow makes a clear distinction between people’s health requirements, the home automation functions, and the user interface points of view. Thus, it allows experts in each field to adapt their system in terms of the user’s needs, disability, and health state. (shrink)

In this paper, we describe technological advances for supporting persons with aphasia in philosophical dialogues about personally relevant and contestable questions. A computer game-based application for iPads is developed and researched through Living Lab inspired workshops in order to promote the target group’s communicative participation during group argumentation. We outline some central parts of the background theory of the application and some of its main features, which are related to needs of the target group. Methodological issues connected to the design (...) and use of Living Labs with persons with aphasia are discussed. We describe a few problems with researching development of communicative participation during group argumentation using an app assisted intervention for the target group and suggest some possible solutions. (shrink)

(1992). Cognitive Style, Gender, Attitude toward Computer‐assisted Learning and Academic Achievement. Educational Studies: Vol. 18, No. 2, pp. 151-160.

The study of some real reasonings (observed in the Humanities) reveals the very heterogeneous nature of the arguments used in the building of scientific knowledge and the complexity of their overall architecture. The building of a formal theory of the trace of these mental processes on the classical grounds of logic seems quite impossible. Instead, we propose a flexible methodology based on some local formal models, integrated in a global strategy. This strategy allows an empirical, but systematic, description of the (...) process of reasoning as a whole.The local models can be very different, from plausible inference to conditional transitivity. Their integration is based on some argumentative markers or structures (topoï). We propose a procedural semantics for some of them.This paper is based on the AVEROES Project, a study of the sea-borne trade in the Occidental Mediterranean Sea during the Roman Empire. (shrink)

Covid-19 has occasioned ongoing shifts in discourse as language changes to reflect and shape new stages of the global pandemic and different voices weigh in on topics, such as infectious diseases and vaccine efficacy. This study looks at an instance of this that relates to the ‘global education industry’, where cancellation of the International Baccalaureate’s May 2020 high stakes examination instigated a wide-ranging discussion about the organisation. This was triggered by the publication of IB results for 174,355 students in 146 (...) countries, many of which showed large discrepancies between predicted and final grades. Using computer-assisted discourse analysis and a corpus of tweets containing the hashtag #ibscandal, patterns of language use are analysed, providing valuable new insights into the impact on students in different national contexts. (shrink)

Artificial intelligence is set to transform healthcare. Key ethical issues to emerge with this transformation encompass the accountability and transparency of the decisions made by AI-based systems, the potential for group harms arising from algorithmic bias and the professional roles and integrity of clinicians. These concerns must be balanced against the imperatives of generating public benefit with more efficient healthcare systems from the vastly higher and accurate computational power of AI. In weighing up these issues, this paper applies the deliberative (...) balancing approach of the Ethics Framework for Big Data in Health and Research. The analysis applies relevant values identified from the framework to demonstrate how decision-makers can draw on them to develop and implement AI-assisted support systems into healthcare and clinical practice ethically and responsibly. Please refer to Xafis et al. in this special issue of the Asian Bioethics Review for more information on how this framework is to be used, including a full explanation of the key values involved and the balancing approach used in the case study at the end of this paper. (shrink)

Drug abuse has been and continues to be, a common social issue worldwide, yet the efficiency of widely adopted sweeping speech for anti-drug campaigns has proven inefficient. To provide students with a safe and efficient learning situation related to drug refusal skills, we used a novel approach rooted in a serious learning game and concept map during a brief extracurricular period to help students understand drugs and their negative effects. The proposed game-based situational learning system allowed all students to participate (...) simultaneously and individually in multiple scenarios of drug temptation posed by peers and classmates to practice responding and refusing drugs in school and community settings. Moreover, to explore whether different personality traits result in different anti-drug responses, we used a serious game to conduct an anti-drug experiment on 53 junior middle school students aged 13–15. Each participant’s decision-making process was recorded in the serious game as behavioral patterns for lag sequential analysis. The outcomes revealed seven behavioral patterns including differentiation, acceptance, effective and ineffective responses, effective and ineffective solution-seeking, and failure to refuse. The GSEQ which is a computer program for analyzing sequential observational data was used. The results indicated the following: Neuroticism was performed at a relatively low level under the guidance of a concept map. “Neuroticism” was associated with the lowest risk of accepting drugs. Students with “openness to experiences” were at high risk of accepting drugs. Almost all personality behavioral transition diagrams showed that failure to refuse drugs was followed by inefficient seeking of help and inefficient refusal. These findings provide reference points for designing adaptive anti-drug education programs. (shrink)