Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions

  • Marta Cialdea Mayer
Conference paper

DOI: 10.1007/978-3-642-02716-1_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5607)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Marta Cialdea Mayer
    • 1
  1. 1.Dipartimento di Informatica e AutomazioneUniversità di Roma Tre 

Personalised recommendations