Teaching Syllogistics Through Gamification and Interactive Proofs

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

Resumé

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.

OriginalsprogEngelsk
TitelDesign 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ørerGráinne Conole, Tomaž Klobučar, Christoph Rensing, Johannes Konert, Élise Lavoué
Antal sider4
ForlagSpringer
Publikationsdato2015
Sider609-612
ISBN (Trykt)978-3-319-24257-6
ISBN (Elektronisk) 978-3-319-24258-3
DOI
StatusUdgivet - 2015
Begivenhed10th European Conference on Technology Enhanced Learning - Toledo, Spanien
Varighed: 15 sep. 201518 sep. 2015
Konferencens nummer: 10th

Konference

Konference10th European Conference on Technology Enhanced Learning
Nummer10th
LandSpanien
ByToledo
Periode15/09/201518/09/2015
NavnLecture Notes in Computer Science
Nummer9307
ISSN0302-9743

Emneord

  • Syllogisms
  • Gamification
  • Teaching

Citer dette

Ø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. Lecture Notes in Computer Science, Nr. 9307 https://doi.org/10.1007/978-3-319-24258-3_70
Øhrstrøm, Peter ; Sandborg-Petersen, Ulrik ; Thorvaldsen, Steinar ; Ploug, Thomas. / 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’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čar, {Tomaž } and Rensing, {Christoph } and Konert, {Johannes } and Lavou{\'e}, {{\'E}lise }",
booktitle = "Design for Teaching and Learning in a Networked World",
address = "Germany",

}

Ø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, 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; Ploug, Thomas.

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 proceedingKonferenceartikel i proceedingForskningpeer 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

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

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). https://doi.org/10.1007/978-3-319-24258-3_70