Unnatural language processing

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.
Keywords cognitive styles  diagrammatic reasoning  logic teaching
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1008388812468
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,440
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Numbers and Proofs.R. B. J. T. Allenby - 1997 - Copublished in North, South, and Central America by John Wiley & Sons.
Blind Men, Elephants, and Dancing Information Processors.Chris Westbury - 2002 - Behavioral and Brain Sciences 25 (5):645-646.
Querying Linguistic Trees.Catherine Lai & Steven Bird - 2010 - Journal of Logic, Language and Information 19 (1):53-73.
Proof Nets and the Complexity of Processing Center Embedded Constructions.Mark Johnson - 1998 - Journal of Logic, Language and Information 7 (4):433-447.
Text Structure and Proof Structure.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (3):273-311.
Added to PP index
2009-01-28

Total downloads
14 ( #338,786 of 2,180,170 )

Recent downloads (6 months)
1 ( #303,871 of 2,180,170 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums