Distributed Computing and Artificial Intelligence pp 209-217 | Cite as
A MAS for Teaching Computational Logic
Conference paper
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.
Keywords
Multi-Agent Systems Intelligent Tutoring Systems Computational Logic Model Based Diagnosis Knowledge Based DiagnosisPreview
Unable to display preview. Download preview PDF.
References
- 1.Bundy, A., Moore, J.D., Zinn, C.: An Intelligent Tutoring System for Induction Proofs. In: Melis, E., Scott, D., et al. (eds.) CADE-17 Workshop on Automated Deduction in Education, pp. 4–13 (2000)Google Scholar
- 2.Sutcliffe, G.: The CADE-23 Automated Theorem Proving System Competition - CASC-23. AI Communications 25, 49–63 (2012)Google Scholar
- 3.Aspinall, D., Lüth, C., Winterstein, D.: A Framework for Interactive Proof. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 161–175. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 4.Barker-Plummer, D., Etchemendy, J., Liu, A., Murray, M., Swoboda, N.: Openproof - A Flexible Framework for Heterogeneous Reasoning. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 347–349. Springer, Heidelberg (2008)CrossRefGoogle Scholar
- 5.Aitken, J.: Problem Solving in Interactive Proof: A Knowledge-Modelling Approach. In: Wahlster, W. (ed.) Proceedings of the 12th European Conference on Artificial Intelligence, pp. 335–339. John Wiley & Sons, Budapest (1996)Google Scholar
- 6.Driscoll, M.P.: Psychological foundations of instructional design. In: Trends and Issues in Instructional Design and Technology, 2nd edn., pp. 36–44. Pearson Education, Inc., Upper Saddle River (2007)Google Scholar
- 7.Jennings, N.R., Wooldridge, M.: Agent-Oriented Software Engineering. In: Bradshaw, J. (ed.). AAAI/MIT Press (2000)Google Scholar
- 8.Rodríguez, S., Pérez-Lancho, B., de Paz, J., Bajo, J., Corchado, J.: Ovamah: Multiagent-based Adaptive Virtual Organizations. In: Proceedings of the 12th International Conference on Information Fusion, Seattle, USA, pp. 990–997 (2009)Google Scholar
- 9.Cheikes, B.: GIA: An agent-based architecture for Intelligent Tutoring Systems. In: Proceedings of the CIKM 1995 Workshop on Intelligent Information Agents (1995)Google Scholar
- 10.Capuano, N., Marsella, M., Salerno, S.: ABITS: An Agent Based Intelligent Tutoring System for Distance Learning. In: Proceedings of the International Workshop in Adaptative and Intelligent Web-based Educational Systems, pp. 17–28 (2000)Google Scholar
- 11.Hospers, M., Kroezen, E., Nijholt, A., op den Akker, R.: Developing a generic agent-based intelligent tutoring system. In: Devedzic, V., Spector, M., Sampson, D., Kinshuk, M. (eds.) The 3rd IEEE International Conference on Advanced Learning Technologies. IEEE Computer Society, Los Alamitos (2003)Google Scholar
- 12.Fernández-Caballero, A., Gascueña, J., Botella, F., Lazcorreta, E.: Distance learning by intelligent tutoring system. Part I: Agent-based architecture for user-centred adaptivity. In: Proceedings of the 7th International Conference on Enterprise Information Systems, pp. 75–82 (2005)Google Scholar
- 13.González, C., Burguillo, J., Vidal, J.C., Llamas, M., Rodríguez, D.: ITS-TB: An Intelligent Tutoring System to provide e-Learning in Public Health. In: Proceedings of the 16th EAEEIE Annual Conference on Innovation in Education for Electrical and Information Engineering, EIE (2005)Google Scholar
- 14.Association for Computing Machinery (ACM): Computer Science Curriculum 2008: An Interim Revision of the CS 2001 (2008)Google Scholar
- 15.Mayer, R.E., Moreno, R.: Nine Ways to Reduce Cognitive Load in Multimedia Learning. Educational Psychologist 38, 43–52 (2003)CrossRefGoogle Scholar
- 16.Clark, R., Mayer, R.: e-Learning and the Science of Instruction: Proven Guidelines for Consumers and Designers of Multimedia Learning, 3rd edn. Pfeiffer (2011)Google Scholar
- 17.Mondshein, L., Sattar, A., Lorenzen, T.: Visualizing prolog: a “jigsaw puzzle” approach. ACM Inroads 1, 43–48 (2010)CrossRefGoogle Scholar
- 18.Stenning, K., Cox, R., Oberlander, J.: Contrasting the Cognitive Effects of Graphical and Sentential Logic Teaching: Reasoning, Representation and Individual Differences. Language and Cognitive Processes 3, 333–354 (1995)CrossRefGoogle Scholar
- 19.Croy, M.J.: Graphic Interface Design and Deductive Proof Construction. Journal of Computers in Mathematics and Science Teaching 18, 371–385 (1999)Google Scholar
- 20.Endriss, U.: The interactive learning environment winke for teaching deductive reasoning. In: Manzano, M. (ed.) Proceedings of the 1st International Congress on Tools for Teaching Logic. University of Salamanca (2000) (invited talk abstract)Google Scholar
- 21.Hatzilygeroudis, I., Giannoulis, C., Koutsojannis, C.: A Web-Based Education System for Predicate Logic. In: Proceedings of the IEEE International Conference on Advanced Learning Technologies, pp. 106–110. IEEE Computer Society, Washington, DC (2004)Google Scholar
- 22.Mitrovic, A., Martin, B., Suraweera, P.: Intelligent tutors for all: The constraint-based approach. IEEE Intelligent Systems 22, 38–45 (2007)CrossRefGoogle Scholar
- 23.Ferrero, B., Fernández-Castro, I., Urretavizcaya, M.: Multiple Paradigms for a Generic Diagnostic Proposal. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol. 1839, p. 653. Springer, Heidelberg (2000)CrossRefGoogle Scholar
- 24.Finin, T., Weber, J., Wiederhold, G., Genesereth, M., Fritzson, R., McGuire, J., Pelavin, R., Shapiro, S., Beck, C.: Specification of the KQML Agent-Communication Language. Technical Report, DARPA, DRAFT (1993)Google Scholar
Copyright information
© Springer International Publishing Switzerland 2013