A MAS for Teaching Computational Logic

Abstract

In this paper, an Intelligent Tutoring System (ITS) for teaching computational logic called SIAL is described. Several basic topics in computational logic are covered. The more complex part in SIAL is the module in charge of the diagnosis, which performs model-based diagnosis although sometimes, a knowledge-based (expertise) model is necessary in order to yield a more accurate diagnosis. The inherent complexity of the ITS is approached using a Multi-Agent System (MAS). The classical approach in ITS, which divides them into four independent modules, is adapted to a MAS creating an agent for each module and other agent for any other subsystem needed. The results obtained from an experiment of usage of SIAL are presented.