Unnatural language discourse: an empirical study of multimodal proof styles
نویسندگان
چکیده
Computer-based logic proofs are a form ofùnnatural' language discourse, but the structure and process of proof generation can be observed in considerable detail, and analysis is leading to a number of general insights. We have been studying how students respond to multimodallogic teaching. Performance measures have already indicated that students' pre-existing cognitive styles have a signiicant impact on teaching outcome. Furthermore, a large corpus of proofs has been gathered via automatic logging of proof development. This paper applies a series of techniques, including corpus statistical methods, to the proof logs. The results indicate that students' cognitive styles innuence the structure of their logical discourse, via their diiering methods of handling abstract information, and transferring information between modalities. As well as uncovering diierent thinking styles in this artiicial domain, the observations raise the issue of the importance of individual diierences in natural language discourses.
منابع مشابه
Proofs as discourse: an empirical study
Computer-based logic proofs are a form of ’unnatural’ language discourse, but the structure and process of proof can be observed in considerable detail, and analysis is leading to a number of general insights. We have been studying how students respond to multimodal logic teaching. First, psychological measures indicate that students’ pre-existing cognitive styles have a sigaificant impact on t...
متن کاملUnnatural Language Processing an Empirical Study of Multimodal Proof Styles
Computer-based logic proofs are a form ofùnnatural' language in which the process and structure of proof generation can be observed in considerable detail. We have been studying how students respond to multimodal logic teaching, and performance measures have already indicated that students' pre-existing cognitive styles have a signiicant impact on teaching outcome. Furthermore, a large corpus o...
متن کاملA Multimodal Discourse Analysis of Some Visual Images in the Political Rally Discourse of 2011 Electioneering Campaigns in Southwestern Nigeria
This paper presented a multimodal discourse analysis of some visual images in the political rally discourse of 2011 electioneering campaigns in Southwestern Nigeria. The data comprised purposively selected political visual artefacts from political rallies across the six Southwestern States in Nigeria (Osun, Oyo, Ondo, Ekiti, Ogun, and Lagos). The data were analyzed using Halliday’s (1985) syste...
متن کاملIndividual differences in proof structures following multimodal logic teaching
We have been studying how students respond to multimodal logic teaching with Hyperproof. Performance measures have already indicated that students’ pre-existing cognitive styles have a significant impact on teaching outcome. Furthermore, a substantial corpus of proofs has been gathered via automatic logging of proof development. We report results from analyses of final proof structure, exploiti...
متن کاملManipulation As an Ideological Tool in the Persian Translations of Ervand Abrahamian’s The Coup: A Multimodal CDA Approach
The present Critical Discourse Analysis (CDA) study aimed to explore the probable ideological manipu- lations exerted in three translations of an English political book entitled The Coup by Ervand Abraha- mian. This comparative qualitative study was conducted based on Farahzad‘s three-dimensional CDA model. The textual, paratextual, and ...
متن کامل