There are at least two reasons for the wide spread of CAI: 1. that the student is able to control his own process of learning due to immediate evaluation of his work and progress and 2. that evaluation is homogeneous, i.e. independent of subjective fac- tors, which compensates for possible lack of depth. Also, the psychology of man is such that he is less ashamed to be reprimanded for his errors by a machine than by another human being. It is (...) a specic feature of computer aided instruction of logic, particulary the art of proving, that such a system cannot be made other than open. Fortunately, in the case of logic its language makes such a creation possible. An open system is a system that permits arbitrary proof of theorems as long as the former conform to the requirement of a given formal language. The discussed system, Mizar-MSE, evolved, roughly speaking, the above line of thought. It is a natural deduction system practically applied to student instruction. Here I would like to present some of more specic features. (shrink)

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)

This paper is in two parts. Part I outlines three traditional approaches to the teaching of critical thinking: the normative, cognitive psychology, and educational approaches. Each of these approaches is discussed in relation to the influences of various methods of critical thinking instruction. The paper contrasts these approaches with what I call the “visualisation” approach. This approach is explained with reference to computer-aided argument mapping (CAAM) which uses dedicated computer software to represent inferences between premise and (...) conclusions. The paper presents a detailed account of the CAAM methodology, and theoretical justification for its use, illustrating this with the argument mapping software Rationale™. A number of Rationale™ design conventions and logical principles are outlined including the principle of abstraction, the MECE principle, and the “Holding Hands” and “Rabbit Rule” heuristics. Part II of this paper outlines the growing empirical evidence for the effectiveness of CAAM as a method of teaching critical thinking. (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.

Study was born in the construction of problem concepts in the deployment of a governance strategy in institutions under digital environments, a technical position of understanding from South America is raised, the initial hypothesis of knowing aspects and determining requirements, an efficient model of governance can be achieved from the use and application of ICT, which allow to argue the as of the process, The use ICT, TAC, TEP as change managers in virtuality, to interact in a disruptive way, the (...) most important achievements of research to recognize the legal, digital and technological resource environment. (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)

Part I of this paper outlined the three standard approaches to the teaching of critical thinking: the normative (or philosophical), cognitive psychology, and educational taxonomy approaches. The paper contrasted these with the visualisation approach; in particular, computer-aided argument mapping (CAAM), and presented a detailed account of the CAAM methodology and a theoretical justification for its use. This part develops further support for CAAM. A case is made that CAAM improves critical thinking because it minimises the cognitive burden of (...) prose and the demands that arguments in prose typically place on memory. CAAM also has greater usability, complements the imperfect human cognitive system, and adopts a logic of semi-formality which is both natural and intuitive. The paper claims that CAAM is an important advance given that traditional stand-alone critical thinking courses do not teach critical thinking as well as they as they are assumed to do. It is also important given that tertiary education fails to deliver improvements in critical thinking gains for too many students. The paper outlines results from a number of empirical studies that demonstrate that CAAM yields robust gains in critical thinking as measured by independent tests. Students themselves also believe CAAM to be beneficial as noted in coded responses to surveys. I conclude the paper by comparing the traditional approaches to the teaching of critical thinking to the visualisation approach. I argue that CAAM should taken seriously in the context of contemporary educational practices. (shrink)

The acceptance or rejection of computer aids to clinical reasoning is determined not only by the preferences and prejudices of potential users, but also by whether the output generated by the computer aid represents sound clinical judgment. This paper deals with the issue of the appropriate criteria for evaluating the clinical ‘reasoning’ of computer aids. Evaluation of a computer aid should include an assessment of the accuracy or appropriateness of its conclusions and an assessment of the (...) scope of its considerations. In order to use a conclusion generated by a computer aid as a basis for clinical action, information must be available on the alternative conclusions that might have been drawn, the degree of confidence in each conclusion, and the consequences that may result from acting upon the wrong conclusion. If this information is not generated as part of the output of a computer aid, it may be obtained through the use of its explanation and display capabilities, if the aid has such capabilities. Explanation and display capabilities permit the examination of the operations of the computer aid. Examination of a computer's operations is also the most feasible means to evaluate the soundness of its ‘reasoning’. (shrink)

In the paper, we tackle the matter of non-classical logics, in particular, paraconsistent ones, for which not every formula follows in general from inconsistent premisses. Our benchmark is Jaśkowski’s logic, modeled with the help of discussion. The second key origin of this paper is the matter of being tabular, i.e. being adequately expressible by finitely many finite matrices. We analyse Jaśkowski’s non-tabular discussive (discursive) logic $ \textbf {D}_{2}$, one of the first paraconsistent logics, from the perspective of a trivalent tabular (...) logic. We are motivated to step down from the ongoing modal $ \textbf {S5}$-perspective of developing $ \textbf {D}_{2}$ both by certain mysteries that have been surrounding it and by gaps in Jaśkowski’s arguments contra the multivalent tabular perspective. Although Jaśkowski’s idea to use $ \textbf {S5}$ in order to define $ \textbf {D}_{2}$ is very attractive since it allows one to benefit from the tools and results of modal logic, it also gives a ‘non-direct’ formulation and, as it appeared later, is superfluous with respect to what is meant to be achieved since one can define the very same logic but using modal logics weaker than S5. It is also known, due to Kotas, that discussive logic is not finite-valued. So, in light of Kotas’s result that $ \textbf {D}_{2}$ is non-tabular, we propose to associate it with a few dozen discussive formulae that Jaśkowski unequivocally and illustratively suggests to be its theorems or non-theorems rather than with axioms of its modern axiomatizations (one of which Kotas employs) in order to be capable of performing a computer-aided brute-force search for suitable trivalent matrices in the cases of one and two designated values. As a result, we find trivalent matrices with two designated values that might be dubbed ‘discussive’ because they meet Jaśkowski’s suggestion to validate and invalidate the litmus theorems and non-theorems, respectively, despite the fact that none of them validates all the negation axioms in the modern axiomatizations of $ \textbf {D}_{2}$. The matrices found are then analysed along with highlighting the ones that were previously mentioned in the literature. We conclude the paper with a comparative analysis of Omori’s results and a test of Karpenko’s hypothesis. (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)

In the 1980s, computer-aided experimental research became standard in the majority of leading research laboratories. Unfortunately, this shift was not adequately reflected in the professional literature related to the philosophy and methodology of science. A new experimentalism did emerge, aimed at adequately describing experimental practice (to be discussed in the first part of this article); however, in its initial phase, it failed to consider the role of computers in experimental research (discussed in the second part). This oversight by (...) the philosophers of science, the proponents of the new experimentalism, is significant and calls for supplementation (addressed in the fourth part). By the turn of the 20 th and 21 st centuries, there were numerous philosophical analyses related to computer experiments, such as computer simulations. However, this article focuses only on classic experiments facilitated by various computer systems (e.g., LHC at CERN). In the final part of this article, I will present examples of aspects of experimental work that have not yet been analyzed and could potentially enhance new experimentalism with insights from computer-aided experiments. (shrink)

Sometimes in the course of image-making, images are asked to represent unusual things. Around 1960, scientists and engineers working on the Computer-Aided Design Project at MIT began imagining that computers could be “active partners” to human designers. They began talking about a future of “human-computer symbiosis.” And they created a new type of image—the screenshot—that represented this new possibility. This paper describes early CAD research as a site for the emergence of the ideal of the interactive (...) class='Hi'>computer and how this ideal was described and distributed through screenshots.Though we now routinely associate computers with interactivity, interactivity was beyond the average user’s experience in 1960.... (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)

This paper explores the application of an affective content analysis to a selection of nanotechnology news articles gathered from selected newspapers. Thematic content analyses dominate current efforts to mine large text collections of popular science media; the addition of an affective analysis element can yield useful information to supplement future content analysis efforts. Using Whissell’s Dictionary of Affect in Language , the analysis rates news articles gathered over a twenty-two year period for their pleasantness, activeness, and imagery, determining the mean (...) affective tone in each category for the entire collection, four ‘content themes’ (business, national security, health, and environment), and the change in affective tone over the twenty-two year period these articles represent. Whereas the entire collection analyzed as a whole rates very similarly to the average found for everyday English language use and the ‘content themes’ show similar results, the change in affective tone over the years has been both significant and striking. A sample of results from three years of the twenty-two year period is then qualitatively explored to demonstrate to the reader the connection between the quantitative results of the Dictionary and the qualitative effect of the article’s word use and phrasing. The paper ends with a review of the technique’s success, implications for policymaking and public dialogue, and avenues for future use. (shrink)

As individuals we often face complex issues about which we must weigh evidence and come to conclusions. Corporations also have to make decisions on the basis of strong and compelling arguments. Legal practitioners, compelled by arguments for or against a proposition and underpinned by the weight of evidence, are often required to make judgments that affect the lives of others. Medical doctors face similar decisions. Governments make purchasing decisions—for example, for expensive military equipment—or decisions in the areas of public or (...) foreign policy. These issues involve many arguments on all sides of difficult debates. These issues involve understanding the arguments of others and being able to make objections and provide rebuttals to objections. Students in universities deal with arguments all the time. A major purpose of a university education—regardless of subject matter—is to teach students how to read, understand, and respond to complex arguments. The ability to do this makes for highly employable, adaptable, and reflectively critical individuals. We often call the skill of marshaling arguments and assessing them “critical thinking.” All universities claim to instill the skill of critical thinking in their graduates and routinely note this in their advertising and promotional documents. This short paper outlines one way this skill can be taught. (shrink)

The present article examines the potential effects on the translation process of working interactively with a translation memory system, a tool for storing and sharing previous translations. A TM system automatically divides the source text into sentences presented to the translator one-by-one. Based on observations made in an empirical study of six professional translators and six translation students, it is argued that full sentences do not constitute a central cognitive processing category in translation, and that the sentence-by-sentence presentation inherent in (...) TM systems therefore creates an unnaturally strong focus on the sentence, which affects the very task of translation. Particular attention is given to the impact of the use of TM systems on the informants’ revision behaviour and their tendency to change the sentence structure. (shrink)

This paper describes COMET, the first 'expert' computer system to incorporate a comprehensive set of the rules of law and medical ethics relating to consent to medical treatment.

In this work, a system for the classification of liver dynamic contest- enhanced CT images is presented. The system simultaneously analyzes the images with the same slice location, corresponding to three typical acquisition moments. At first, the texture features are extracted separately for each acquisition mo- ment. Afterwards, they are united in one “multiphase” vector, characterizing a triplet of textures. The work focuses on finding the most appropriate features that characterize a multi-image texture. At the beginning, the features which are (...) unstable and dependent on ROI size are eliminated. Then, a small subset of remaining features is selected in order to guarantee the best possible classification accuracy. In total, 9 extraction methods were used, and 61 features were calculated for each of three acquisition moments. 1511 texture triplets, corresponding to 4 hepatic tissue classes were recognized. As a classifier, an adaptive boosting algorithm with a C4.5 tree was used. Experiments show that a small set of 12 features is able to ensure classification accuracy exceeding 90%, while all of the 183 features provide an accuracy rate of 88.94%. (shrink)

In recent years, with the development of construction industry, more scientific, systematic, fast, and intelligent calculation methods are needed to coordinate urban development and fierce market competition, and mathematical algorithm library plays an important role in artificial intelligence. Therefore, the author uses computer mathematical algorithm and extension theory to study and analyze the residential building design and intelligent data mining. It is found that the research of the computer-aided expression method of extension building planning is mainly the (...) expression of the input and output system of extension building planning. It includes knowledge representation, system outline design, system flow, and interface expression based on the mathematical database. (shrink)

In his Languages of Art, Nelson Goodman proposes a theory of artistic notation that includes foundational requirements for any system of symbols we might use to specify and communicate the features of an artwork, in architecture or any other art form. Goodmans' theory usefully explains how notation can reveal linguistic-like phenomena of various art forms. But not all art forms can enjoy benefits of a full-blown notational system, in Goodman's view, and he suggests that architecture's symbol systems fall short in (...) this regard. It is a shortcoming of architecture, he believes, that its notation cannot communicate the sum of a given work's essential features. Against this view it may be argued that artworks are generally and inimically historical in character, such that an inability to capture this dimension may result in a failure to pick out the identity of a work. As a consequence, the suggestion of that inability looks like a shortcoming of the general notational theory rather than of the art form or its notation per se. I defend Goodman's background formalism against the criticism that an ahistoricist notation cannot possibly be adequate. But I reject his view that no actual architectural notation can satisfy the formal criteria of his theory. In particular, I propose that the foundational theory for Computer Aided Design (CAD) described by the architect William Mitchell satisfies Goodman's criteria and so yields a notation that enables communication of an architectural work's essential features. If, as I suggest, such a notation is feasible, then we have an additional result that Goodman foresees: a means of abstracting future architectural works from their historical contexts. This in turn yields a consequence at which Goodman only hints-that such architectural works can be intellectually grasped and physically constructed along purely formalist lines. One practical result here is that we introduce economical solutions to architectural design. On a theoretical level, we also expose the inessential character of historical properties to creating or understanding architecture, at least with respect to future possible works. (shrink)

Attempts to formalize the diagnostic process are by no means a recent undertaking; what is new is the availability of an engine to process these formalizations. The digital computer has therefore been increasingly turned to in the expectation of developing systems which will assist or replace the physician in diagnosis. Such efforts involve a number of assumptions regarding the nature of the diagnostic process: e.g. where it begins, and where it ends. ‘Diagnosis’ appears to include a number of quite (...) different cognitive processes, some of which seem more subject to formalization than others. Underlying the difficulties inherent in these efforts at formalization, is the hierarchical structure of medical knowledge including that of diseases. (By ‘hierarchical structure’, I mean no more than that our descriptions of clinical objects necessarily refer to different levels of organization; atomic, molecular, cellular, physiological system, entire patient.) Since diagnosis is in part a form of classification, measures of similarity between the clinical findings of a particular patient and a potential disease, are needed. This is complicated by the fact that some diseases are described using the vocabularies of physics and chemistry, others with the vocabulary of psychology, and most, with terms taken from a number of different hierarchical levels. The differences between the descriptions made using these vocabularies will be seen to exert systematic (if not uniform) influences upon the diagnostic process. CiteULike Connotea Del.icio.us What's this? (shrink)

Profound changes in world markets are resulting in conflict between traditional structures of production and new market requirements. The right answers to this challenge are heavily disputed. One option is to replace human work still further by artificially intelligent technology without changing basic structures of production. In contrast to this strategy, alternative production concepts seek to combine the unique human capabilities of perception, evaluation and decision making in unstructured situations with appropriately designed computer systems. Empirical evidence from the use (...) of NC technology indicates that sensual experience and practical knowledge are necessary ingredients rather than disappearing residuals of efficient production. By far their tacit dimension does not allow complete transformation into objectified, scientific knowledge. In the field of metal cutting it is the skilled workers themselves who constitute the primary source of productivity. In order to overcome their traditionally problematic and uncomfortable working situation, shop-floor programming methods have been developed that are adapted to their concrete and graphic mode of thinking and acting. These allow workers to make their own efficient NC programs, thus maintaining their practical competence. This paper illustrates a necessary new perspective in system design: away from developing computer programs for imitating and replacing human expertise and towards designing computers as a useful tool for human experts. (shrink)

Pathological tremor is a common but highly complex movement disorder, affecting ~5% of population older than 65 years. Different methodologies have been proposed for its quantification. Nevertheless, the discrimination between Parkinson’s disease tremor and essential tremor remains a daunting clinical challenge, greatly impacting patient treatment and basic research. Here, we propose and compare several movement-based and electromyography-based tremor quantification metrics. For the latter, we identified individual motor unit discharge patterns from high-density surface electromyograms and characterized the neural drive to a (...) single muscle and how it relates to other affected muscles in 27 Parkinson’s disease and 27 essential tremor patients. We also computed several metrics from the literature. The most discriminative metrics were the symmetry of the neural drive to muscles, motor unit synchronization, and the mean log power of the tremor harmonics in movement recordings. Noteworthily, the first two most discriminative metrics were proposed in this study. We then used decision tree modelling to find the most discriminative combinations of individual metrics, which increased the accuracy of tremor type discrimination to 94%. In summary, the proposed neural drive-based metrics were the most accurate at discriminating and characterizing the two most common pathological tremor types. (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)

A sample of 671 secondary school students in 24 classes was involved in investigating not only the relative effectiveness of computer-assisted instruction (CAI) and traditional expository teaching, but also the differential effectiveness of the two teaching methods for boys and girls. Both achievement and attitude outcomes were investigated. The difference in mean scores between CAI and traditional classes was 3.5 standard deviations for achievement and 1.4 standard deviations for attitude. Although there was no overall effect of gender on (...) either outcome, a significant treatment-gender interaction occurred for the achievement outcome (but not for the attitude outcome). Boys achieved a little better than girls in the CAI group, but boys and girls achieved similarly in the control group. (shrink)