A Domain Reasoner for Propositional Logic

Josje Lodder*, Bastiaan Heeren, Johan Jeuring

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

An important topic in courses in propositional logic is rewriting propositional formulae with standard equivalences. This paper analyses what kind of feedback is offered by the various learning environments for rewriting propositional logic formulae, and discusses how we can provide these kinds of feedback in a learning environment. To give feedback and feed forward, we define solution strategies for several classes of exercises. We offer an extensive description of the knowledge necessary to support solving this kind of propositional logic exercises in a learning environment.

Original languageEnglish
Pages (from-to)1097-1122
Number of pages26
JournalJournal of Universal Computer Science
Volume22
Issue number8
DOIs
Publication statusPublished - 2016

Keywords

  • propositional logic
  • normal forms
  • learning environment
  • domain reasoner
  • feedback
  • feed forward
  • intelligent tutoring
  • INTELLIGENT TUTORING SYSTEMS
  • FEEDBACK

Cite this

@article{e9fc85bac4714746911b62fa8b507ac9,
title = "A Domain Reasoner for Propositional Logic",
abstract = "An important topic in courses in propositional logic is rewriting propositional formulae with standard equivalences. This paper analyses what kind of feedback is offered by the various learning environments for rewriting propositional logic formulae, and discusses how we can provide these kinds of feedback in a learning environment. To give feedback and feed forward, we define solution strategies for several classes of exercises. We offer an extensive description of the knowledge necessary to support solving this kind of propositional logic exercises in a learning environment.",
keywords = "propositional logic, normal forms, learning environment, domain reasoner, feedback, feed forward, intelligent tutoring, INTELLIGENT TUTORING SYSTEMS, FEEDBACK",
author = "Josje Lodder and Bastiaan Heeren and Johan Jeuring",
year = "2016",
doi = "10.3217/jucs-022-08-1097",
language = "English",
volume = "22",
pages = "1097--1122",
journal = "Journal of Universal Computer Science",
issn = "0948-695X",
publisher = "Graz University of Technology, Institute for Information Systems and Computer Media",
number = "8",

}

A Domain Reasoner for Propositional Logic. / Lodder, Josje; Heeren, Bastiaan; Jeuring, Johan.

In: Journal of Universal Computer Science, Vol. 22, No. 8, 2016, p. 1097-1122.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - A Domain Reasoner for Propositional Logic

AU - Lodder, Josje

AU - Heeren, Bastiaan

AU - Jeuring, Johan

PY - 2016

Y1 - 2016

N2 - An important topic in courses in propositional logic is rewriting propositional formulae with standard equivalences. This paper analyses what kind of feedback is offered by the various learning environments for rewriting propositional logic formulae, and discusses how we can provide these kinds of feedback in a learning environment. To give feedback and feed forward, we define solution strategies for several classes of exercises. We offer an extensive description of the knowledge necessary to support solving this kind of propositional logic exercises in a learning environment.

AB - An important topic in courses in propositional logic is rewriting propositional formulae with standard equivalences. This paper analyses what kind of feedback is offered by the various learning environments for rewriting propositional logic formulae, and discusses how we can provide these kinds of feedback in a learning environment. To give feedback and feed forward, we define solution strategies for several classes of exercises. We offer an extensive description of the knowledge necessary to support solving this kind of propositional logic exercises in a learning environment.

KW - propositional logic

KW - normal forms

KW - learning environment

KW - domain reasoner

KW - feedback

KW - feed forward

KW - intelligent tutoring

KW - INTELLIGENT TUTORING SYSTEMS

KW - FEEDBACK

U2 - 10.3217/jucs-022-08-1097

DO - 10.3217/jucs-022-08-1097

M3 - Article

VL - 22

SP - 1097

EP - 1122

JO - Journal of Universal Computer Science

JF - Journal of Universal Computer Science

SN - 0948-695X

IS - 8

ER -