By Topic

A Web-based education system for predicate logic

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Hatzilygeroudis, I. ; Dept. of Comput. Engin. & Informatics, Patras Univ., Greece ; Giannoulis, C. ; Koutsojannis, C.

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.

Published in:

Advanced Learning Technologies, 2004. Proceedings. IEEE International Conference on

Date of Conference:

30 Aug.-1 Sept. 2004