JUCS - Journal of Universal Computer Science 22(8): 1097-1122, doi: 10.3217/jucs-022-08-1097
A Domain Reasoner for Propositional Logic
Josje Lodder‡, Bastiaan Heeren‡, Johan Jeuring§‡ Open University of The Netherlands, Heerlen, Netherlands§ Open University of The Netherlands, Utrecht, Netherlands
Corresponding author: Josje Lodder ( josje.lodder@ou.nl ) © Josje Lodder, Bastiaan Heeren, Johan Jeuring. This article is freely available under the J.UCS Open Content License. Citation:
Lodder J, Heeren B, Jeuring J (2016) A Domain Reasoner for Propositional Logic. JUCS - Journal of Universal Computer Science 22(8): 1097-1122. https://doi.org/10.3217/jucs-022-08-1097 |  |
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