A MAS for Teaching Computational Logic
Fecha de publicación
Springer Science + Business Media
Distributed Computing and Artificial Intelligence Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing. Volumen 217, pp. 209-217.
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.
978-3-319-00550-8 (Print) / 978-3-319-00551-5 (Online)
- BISITE. Congresos