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)

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)

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.

As many moral problems have a very complex nature, moral reasoning towards a justified decision in such cases may be as difficult. Many considerations have to be taken into account in order to reach a judgement based on good reasons. May the computer, as a tool in data processing, be of use for ethical decision-making? In this paper I will argue that we should be very careful in developing and using ethical expert-systems. Next, I will explain how the (...) class='Hi'>computer may be a useful ‘tool’ for instruction in moral reasoning. This will be done by presenting a model for Computer Assisted Instruction in ethics. Finally, I will describe the outline of a CAI program according to this model and discuss some problems which are encountered in designing this program. (shrink)

As many moral problems have a very complex nature, moral reasoning towards a justified decision in such cases may be as difficult. Many considerations have to be taken into account in order to reach a judgement based on good reasons. May the computer, as a tool in data processing, be of use for ethical decision-making? In this paper I will argue that we should be very careful in developing and using ethical expert-systems. Next, I will explain how the (...) class='Hi'>computer may be a useful ‘tool’ for instruction in moral reasoning. This will be done by presenting a model for Computer Assisted Instruction in ethics. Finally, I will describe the outline of a CAI program according to this model and discuss some problems which are encountered in designing this program. (shrink)

The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students enrolled in (...) computer science curriculum at Al-Azhar University, Gaza. The results showed a positive impact on the evaluators. (shrink)

This paper considers the issue of computer-assisted composition in formal music education settings from the perspective of critical theory. The author examines the case of MIDI-based software applications and suggests that the greatest danger from the standpoint of ideology critique is not the potential for circumventing a traditional understanding of theoretical knowledge and notation when composing. Instead, it is false subjectivity, or the potential belief that what one creates is free from the mediation of tacit musical conventions and (...) the ideological biases of the technology itself. Developing a framework for critique that is partially based on the writings of Theodor Adorno and draws on a dialectical conception of composing, the author applies this framework to the issue of MIDI-based composition in order to make this case. (shrink)

Many of our daily activities are now made more convenient and efficient by virtual assistants, and the day when they can be designed to instruct us in certain skills, such as those needed to make moral judgements, is not far off. In this paper we ask to what extent it would be ethically acceptable for these so-called virtual assistants for moral enhancement to use subtle strategies, known as “nudges”, to influence our decisions. To achieve our goal, we will first characterise (...) nudges in their standard use and discuss the debate they have generated around their possible manipulative character, establishing three conditions of manipulation. Secondly, we ask whether nudges can occur in moral virtual assistants that are not manipulative. After critically analysing some proposed virtual assistants, we argue in favour of one of them, given that by pursuing an open and neutral moral enhancement, it promotes and respects the autonomy of the person as much as possible. Thirdly, we analyse how nudges could enhance the functioning of such an assistant, and evaluate them in terms of their degree of threat to the subject’s autonomy and their level of transparency. Finally, we consider the possibility of using motivational nudges, which not only help us in the formation of moral judgements but also in our moral behaviour. (shrink)

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)

Hypertext can be used--in nearly any type of computer-assisted class--to allow students to engage in collaborative, socially-constructed composition and meaning-making; this essay considers both the underlying theory which supports the use of hypertext in composition instruction and provides a range of pedagogical approaches. Various classroom arrangements are considered, from standalone computers with no internet connections to networked, internet accessible workstations; for each type of classroom a different hypertext assignment which emphasizes collaboration is provided as an example.

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)

In response to concern over the numeracy skills deficit displayed by student nurses, an online computer programme, ?Authentic World??, which aims to simulate a real-life clinical environment and improve the medication dosage calculation skills of users, was developed (Founded in 2004 Authentic World Ltd is a spin out company of Glarmorgan and Cardiff Universities, Cardiff, Wales UK.). Two randomised controlled trials were conducted, each at a UK University, in order to investigate the impact of Authentic World? on student nurses? (...) general numeracy abilities. All first year nursing students who gave consent were randomised equally into an intervention or control group. The intervention group were given access to Authentic World?. The primary outcome measure was the students? scores on a general numeracy test. The Intention to Treat (ITT) analysis in both trials revealed a small negative effect of Authentic World? on general numeracy, which was statistically significant in one trial. However, compliance with the intervention was very low in both trials, with only 24 and 12% of students allocated to the intervention groups spending more than 15 minutes using the programme. Providing nursing students with access to Authentic World? is not an effective use of resources since use of the programme appears to be very low. (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)

Las ontologías y el aprendizaje significativo - Sistemas de marcos y representación del conocimiento - El aprendizaje significativo - Clima, PIB y geografía electoral como sub-dominios de conocimientos - Análisis estadísticos de datos - Ontologías y formación de profesores de geografía.

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.

The purpose is to improve the teaching and learning efficiency of college Innovation and Entrepreneurship Education. Firstly, from the perspective of aesthetic education, this work designs the teacher and student sides of the Computer-aided Instruction system. Secondly, the CAI model is implemented based on the weight sharing and local perception of the Convolutional Neural Network. Finally, the performance of the CNN-based CAI model is tested. Meanwhile, it analyses students’ IEE experience under the proposed CAI model through a case (...) study of Music Majors from Xi’an Conservatory of Music. The experimental data show that the CNN-based CAI model can respond quickly and stably when users access different functional modules, such as webpage browsing. The proposed CAI model increases students’ entrepreneurial interest, skills, and knowledge by 55.62, 57.32, and 72.12%, respectively. Students’ entrepreneurial practice ability has been improved by over 50.00%; such an increase in entrepreneurial practice ability has also shown individual differences. Thus, the proposed Music Majors-oriented IEE-infiltrated CAI model based on CNN improves students’ entrepreneurial practice ability and reflects the positive experience of Music Majors on IEE. The finding provides references for the step-by-step identification of the CNN-based CAI model and has certain guiding significance for analyzing the effect of college IEE. (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)

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)

La métamorphose numérique des savoirs et de l'enseignement constitue un enjeu majeur du 21e siècle et se place au premier rang des priorités des universités et des organismes de recherche. De nouvelles conditions de publication, de certification et d'éditorialisation se mettent en place. Des règles et des méthodes pédagogiques inédites forment un processus dynamique qui doit pousser les institutions académiques, l'industrie et le monde économique à coopérer au-delà de la modernisation de la pédagogie ou du développement de compétences nouvelles. Mais (...) beaucoup d'initiatives apparaissent comme des tendances en vogue sujettes à tous les vents et contrevents médiatiques, et vite dépassées par la dernière nouveauté, à l'exemple des MOOC déjà remplacés par les SPOC. Bernard Steigler a fait appel aux meilleurs spécialistes mondiaux pour démontrer que ce n'est pas seulement la pédagogie qui est bouleversée mais ce sont les savoirs eux-mêmes, depuis la recherche de pointe jusqu'aux formes les plus élémentaires de l'enseignement. L'ouvrage dresse un panorama complet des technologies réflexives et contributives, analyse en profondeur le principe de gouvernementalité algorithmique considéré désormais comme "régime de vérité" et "tournant computationnel" de la société hyperindustrielle. Il propose une méthodologie novatrice de gestion de débats et de communautés, construite sur un autre modèle que celui des réseaux sociaux actuels. Cet ouvrage de référence pose les bases d'une nouvelle industrie éditoriale numérique et audiovisuelle. (shrink)

This book disseminates practical solutions to the automation of open and distance learning. It discusses computational methods, algorithms, implemented prototype systems, and applications of open and distance learning. It also provides state-of-the-art research on the impact and general principles of ethical computer use in academics, while also emphasizing the cyber philosophical aspect of human-computer interaction.