Teaching Syllogistics Through Gamification and Interactive Proofs

Peter Øhrstrøm; Ulrik Sandborg-Petersen; Steinar Thorvaldsen; Thomas Ploug

doi:10.1007/978-3-319-24258-3_70

Teaching Syllogistics Through Gamification and Interactive Proofs

Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug

Institut for Kommunikation og Psykologi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

4 Citationer (Scopus)

Abstract

This paper is a continuation of earlier studies involving experiments with Communication students using a Java-Applet running in the student’s browser, developed using the Prolog programming language as embodied in a Java implementation called Prolog+CG. This makes it possible to support logic teaching through the use of interactive systems and also to do learning analytics based on the log-data from the use of the systems. The aim of the present paper is to investigate whether the use of gamification and an interactive proof system formulated in terms of controlled natural language can be helpful in logic teaching in order to obtain a better understanding of syllogistic reasoning.

Originalsprog	Engelsk
Titel	Design for Teaching and Learning in a Networked World : 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings
Redaktører	Gráinne Conole, Tomaž Klobučar, Christoph Rensing, Johannes Konert, Élise Lavoué
Antal sider	4
Forlag	Springer
Publikationsdato	2015
Sider	609-612
ISBN (Trykt)	978-3-319-24257-6
ISBN (Elektronisk)	978-3-319-24258-3
DOI	https://doi.org/10.1007/978-3-319-24258-3_70
Status	Udgivet - 2015
Begivenhed	10th European Conference on Technology Enhanced Learning - Toledo, Spanien Varighed: 15 sep. 2015 → 18 sep. 2015 Konferencens nummer: 10th

Konference

Konference	10th European Conference on Technology Enhanced Learning
Nummer	10th
Land/Område	Spanien
By	Toledo
Periode	15/09/2015 → 18/09/2015

Navn	Lecture Notes in Computer Science
Nummer	9307
ISSN	0302-9743

Emneord

Syllogisms
Gamification
Teaching

Adgang til dokumentet

10.1007/978-3-319-24258-3_70

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., & Ploug, T. (2015). Teaching Syllogistics Through Gamification and Interactive Proofs. I G. Conole, T. Klobučar, C. Rensing, J. Konert, & É. Lavoué (red.), Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings (s. 609-612). Springer. https://doi.org/10.1007/978-3-319-24258-3_70

Øhrstrøm, Peter ; Sandborg-Petersen, Ulrik ; Thorvaldsen, Steinar et al. / Teaching Syllogistics Through Gamification and Interactive Proofs. Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. red. / Gráinne Conole ; Tomaž Klobučar ; Christoph Rensing ; Johannes Konert ; Élise Lavoué. Springer, 2015. s. 609-612 (Lecture Notes in Computer Science; Nr. 9307).

@inproceedings{f855972c34b749ada1ad341c8f50fe7d,

title = "Teaching Syllogistics Through Gamification and Interactive Proofs",

abstract = "This paper is a continuation of earlier studies involving experiments with Communication students using a Java-Applet running in the student{\textquoteright}s browser, developed using the Prolog programming language as embodied in a Java implementation called Prolog+CG. This makes it possible to support logic teaching through the use of interactive systems and also to do learning analytics based on the log-data from the use of the systems. The aim of the present paper is to investigate whether the use of gamification and an interactive proof system formulated in terms of controlled natural language can be helpful in logic teaching in order to obtain a better understanding of syllogistic reasoning.",

keywords = "Syllogisms, Gamification, Teaching",

author = "Peter {\O}hrstr{\o}m and Ulrik Sandborg-Petersen and Steinar Thorvaldsen and Thomas Ploug",

year = "2015",

doi = "10.1007/978-3-319-24258-3_70",

language = "English",

isbn = "978-3-319-24257-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "9307",

pages = "609--612",

editor = "Conole, {Gr{\'a}inne } and Klobu{\v c}ar, {Toma{\v z} } and Rensing, {Christoph } and Konert, {Johannes } and Lavou{\'e}, {{\'E}lise }",

booktitle = "Design for Teaching and Learning in a Networked World",

address = "Germany",

note = "10th European Conference on Technology Enhanced Learning, EC-TEL 2015 ; Conference date: 15-09-2015 Through 18-09-2015",

}

Øhrstrøm, P, Sandborg-Petersen, U, Thorvaldsen, S & Ploug, T 2015, Teaching Syllogistics Through Gamification and Interactive Proofs. i G Conole, T Klobučar, C Rensing, J Konert & É Lavoué (red), Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Springer, Lecture Notes in Computer Science, nr. 9307, s. 609-612, 10th European Conference on Technology Enhanced Learning, Toledo, Spanien, 15/09/2015. https://doi.org/10.1007/978-3-319-24258-3_70

Teaching Syllogistics Through Gamification and Interactive Proofs. / Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar et al.
Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. red. / Gráinne Conole; Tomaž Klobučar; Christoph Rensing; Johannes Konert; Élise Lavoué. Springer, 2015. s. 609-612 (Lecture Notes in Computer Science; Nr. 9307).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Teaching Syllogistics Through Gamification and Interactive Proofs

AU - Øhrstrøm, Peter

AU - Sandborg-Petersen, Ulrik

AU - Thorvaldsen, Steinar

AU - Ploug, Thomas

N1 - Conference code: 10th

PY - 2015

Y1 - 2015

N2 - This paper is a continuation of earlier studies involving experiments with Communication students using a Java-Applet running in the student’s browser, developed using the Prolog programming language as embodied in a Java implementation called Prolog+CG. This makes it possible to support logic teaching through the use of interactive systems and also to do learning analytics based on the log-data from the use of the systems. The aim of the present paper is to investigate whether the use of gamification and an interactive proof system formulated in terms of controlled natural language can be helpful in logic teaching in order to obtain a better understanding of syllogistic reasoning.

AB - This paper is a continuation of earlier studies involving experiments with Communication students using a Java-Applet running in the student’s browser, developed using the Prolog programming language as embodied in a Java implementation called Prolog+CG. This makes it possible to support logic teaching through the use of interactive systems and also to do learning analytics based on the log-data from the use of the systems. The aim of the present paper is to investigate whether the use of gamification and an interactive proof system formulated in terms of controlled natural language can be helpful in logic teaching in order to obtain a better understanding of syllogistic reasoning.

KW - Syllogisms

KW - Gamification

KW - Teaching

U2 - 10.1007/978-3-319-24258-3_70

DO - 10.1007/978-3-319-24258-3_70

M3 - Article in proceeding

SN - 978-3-319-24257-6

T3 - Lecture Notes in Computer Science

SP - 609

EP - 612

BT - Design for Teaching and Learning in a Networked World

A2 - Conole, Gráinne

A2 - Klobučar, Tomaž

A2 - Rensing, Christoph

A2 - Konert, Johannes

A2 - Lavoué, Élise

PB - Springer

T2 - 10th European Conference on Technology Enhanced Learning

Y2 - 15 September 2015 through 18 September 2015

ER -

Øhrstrøm P, Sandborg-Petersen U, Thorvaldsen S, Ploug T. Teaching Syllogistics Through Gamification and Interactive Proofs. I Conole G, Klobučar T, Rensing C, Konert J, Lavoué É, red., Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Springer. 2015. s. 609-612. (Lecture Notes in Computer Science; Nr. 9307). doi: 10.1007/978-3-319-24258-3_70