Unnatural Language Processing

Authors:
J. Oberlander;P. Monaghan;R. Cox;K. Stenning;R. Tobin
Affiliations:
Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, Scotland, U.K. (E-mail: J.Oberlander@ed.ac.uk);Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, Scotland, U.K. (E-mail: P.Monaghan@ed.ac.uk);Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, Scotland, U.K. (E-mail: R.Cox@ed.ac.uk);Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, Scotland, U.K. (E-mail: K.Stenning@ed.ac.uk);Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, Scotland, U.K. (E-mail: R.Tobin@ed.ac.uk)
Venue:
Journal of Logic, Language and Information
Year:
1999

Citing 2
Cited 1

Information retrieval using a hypertext-based help system

ACM Transactions on Information Systems (TOIS)
Accurate methods for the statistics of surprise and coincidence

Computational Linguistics - Special issue on using large corpora: I

Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach

CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind

Quantified Score

Hi-index	0.00

Visualization

Abstract

Computer-based logic proofs are a form of ’’unnatural‘‘ 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 significant 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 influence the structure of their logical discourse, via their differing methods of handling abstract information in diagrams, and transferring information between modalities.