Abstract
This paper presents Logitest, a system that can be used to assist the designer of multiple-choice questions aiming at verifying logical reasoning abilities (provided they can be represented in propositional logic). Beyond allowing the designer to check the status of an option with respect to the item stem (the problem presentation), i.e. whether it is derivable or consistent with the given information, the system can accomplish generative tasks (abduction and consequence generation) that can be useful both to complete the item stem, and to generate plausible distractors (incorrect options). The provably correct and complete algorithm used to perform abduction and consequence generation finds out minimal solutions with no need to compare each of them with all the others.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8), 677–691 (1986)
Carneson, J., Delpierre, G., Masters, K.: Designing and managing multiple choice questions, http://web.uct.ac.za/projects/cbe/mcqman/mcqman01.html
Cialdea Mayer, M., Pirri, F.: First order abduction via tableau and sequent calculi. Bulletin of the Interest Group in Pure and Applied Logics (IGPL) 1, 99–117 (1993)
Clegg, V.L., Cashin, W.E.: Improving multiple-choice tests. Idea paper no. 16. Kansas State University: Center for Faculty Evaluation and Development (1986)
Eiter, T., Gottlob, G., Technische Universitt Wien: The complexity of logic-based abduction. Journal of the ACM 42, 3–42 (1995)
Leroy, X.: The Objective Caml system, release 3.11. Documentation and user’s manual (2008), http://caml.inria.fr/
Logitest web page, http://cialdea.dia.uniroma3.it/logitest/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cialdea Mayer, M. (2009). Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. In: Giese, M., Waaler, A. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2009. Lecture Notes in Computer Science(), vol 5607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02716-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-02716-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02715-4
Online ISBN: 978-3-642-02716-1
eBook Packages: Computer ScienceComputer Science (R0)