Naslov
Automating the formal logic course

Autori
Molnar, Goran ; Omrčen, Vjera ; Čupić, Marko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
MIPRO, 2012 Proceedings of the 35th International Convention / - , 2012

ISBN
978-1-4673-2577-6

Skup
MIPRO

Mjesto i datum
Opatija, Hrvatska, 21.05.2012. - 25.05.2012

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
artificial intelligence; computer science education; teaching; formal logic

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA