Title :
A Web-based education system for predicate logic
Author :
Hatzilygeroudis, Ioannis ; Giannoulis, Christos ; Koutsojannis, Constantinos
Author_Institution :
Dept. of Comput. Engin. & Informatics, Patras Univ., Greece
fDate :
30 Aug.-1 Sept. 2004
Abstract :
In this paper, we present a Web-based system teaching predicate logic as a knowledge representation and reasoning language. The system is adaptable in the sense that it allows the students to choose their own way of using it. Students can evaluate themselves, by selecting the complexity and the difficulty level of the exercises. Another interesting point of the system is its open exercising facility, by which the students can try any conversion of a FOPC formula to clause form. This is achieved by calling LISP code, which is part of an automated theorem prover. Incorporation of LISP code into the hypermedia application was an interesting implementation problem. An initial evaluation of the system showed encouraging results as far as its usability and learning are concerned.
Keywords :
Internet; LISP; computer aided instruction; computer science education; formal logic; hypermedia; knowledge representation; FOPC formula; LISP code; Web-based education system; automated theorem prover; hypermedia application; open exercising facility; predicate logic teaching; Artificial intelligence; Calculus; Computer science education; Informatics; Knowledge representation; Learning; Logic; Natural languages; Testing; Usability;
Conference_Titel :
Advanced Learning Technologies, 2004. Proceedings. IEEE International Conference on
Print_ISBN :
0-7695-2181-9
DOI :
10.1109/ICALT.2004.1357384