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 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 in diagrams, and transferring information between modalities.
منابع مشابه
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 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...
متن کاملOn the Link between Identity Processing and Learning Styles among Young Language learners
The present study attempted to investigate the probable relationship between Iranian young language learners’ identity processing styles and their learning styles. To this end, 29 advanced learners, 23 females and 6 males were randomly selected from an English language Institute. Twenty nine advanced young language learners were chosen randomly out of whole advanced young language learners in t...
متن کاملThe Impact of Learning Styles on the Iranian EFL Learners' Input Processing
This research study explored the impact of learning styles and input modalities on the second language (L2) learners' input processing (IP). This study also sought to appraise the usefulness of Processing Instruction (PI) and its components in relation to the learners' learning styles and input modalities. To this end, 73 male and female Iranian EFL learners from Islamic Azad University, North ...
متن کاملInteraction Styles in Use of Automotive Interfaces
Natural language speech enabled interfaces offer a compelling choice of user interaction for the automotive market. Such interfaces demand only a basic understanding of the system model instead of memorizing keywords and predefined patterns. To utilize natural language interfaces optimally, designers need to better comprehend how people communicate their requests to express their intentions and...
متن کامل