Automating the formal logic course (CROSBI ID 633077)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Molnar, Goran ; Omrčen, Vjera ; Čupić, Marko
engleski
Automating the formal logic course
Formal logic topics are typical parts of the introductory faculty level artificial intelligence courses. An important part of each faculty course are student quizzes and exams. Despite the fact that the propositional logic is a formal system, in many institutions exams are prepared and graded manually. This process is labour intensive and error prone. In this paper, we present two tools for automating a part of this process: the random propositional logic formula generator and the propositional logic formula parser. The random logical formula generator is used to create logical formulae with desired content and complexity and the formula parser can be used to automatically evaluate the well formedness of formulae entered by students. Together, they are used as a part of the integrated artificial intelligence course management system at the Faculty of Electrical Engineering and Computing, University of Zagrebm Croatia. Computer aided quiz assembly enables teaching staff to easily assign each student their own, unique questions in order to discourage cheating. Aside from the aforementioned purposes, they are used as a support for the mutual development of both components, using test driven development paradigm.
artificial intelligence; computer science education; teaching; formal logic
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
2012.
objavljeno
Podaci o matičnoj publikaciji
MIPRO, 2012 Proceedings of the 35th International Convention
978-1-4673-2577-6
Podaci o skupu
MIPRO 2012
predavanje
21.05.2012-25.05.2012
Opatija, Hrvatska