720473 SE Seminar on basic- and practice deepening: Cognitive Modelling with Prolog
summer semester 2024 | Last update: 07.03.2024 | Place course on memo listThe students acquire basic skills in programming knowledge-based systems. They can use these skills to implement models of cognitive skills and for knowledge diagnoses in e-learning systems.
In this seminar, we will learn symbolic programming in Prolog which has been developed in the 1970 at the University of Marseille by Alain Colmerauer. Prolog (Programmation en Logique) was primarily developed for language processing, but it can readily be used to represent logical relations, conclusions and other things which are often described as artificial intelligence ("symbolic" AI - not neural networks or deep learning).
We will use the system to implement simple models from cognitive psychology (semantic networks, search problems, General Problem Solver, production systems, knowledge diagnosis). In a practical session, participants will develop a little e-learning module that can be used to detect recurrent mistakes in statistics exams and provide constructive feedback.
During the course, we will mostly work on litte programming exercises, so please have your laptop with you and install SWI-Prolog from www.swi-prolog.org.
Demonstrations and exercises
Graded written assignment
Opwis, K., & Plötzner, R. (1996). Kognitive Psychologie mit dem Computer. Ein Einführungskurs zur Simulation geistiger Leistungen mit Prolog. Heidelberg: Spektrum.
Merritt, D. (o.D.). An adventure in Prolog. Amzi. Online verfügbar.
Weiterführende Literatur
Clocksin, W. F., & Mellish, C. S. (2003). Programming in Prolog using the ISO standard. Berlin: Springer.
Levesque, H. J. (2012). Thinking as Computation. MIT Press.
Deutlich fortgeschrittener
Sterling, L. S., & Shapiro, E. Y. (1994). The Art of Prolog. MIT Press.
O'Keefe, R. A. (2009). The Craft of Prolog. MIT Pre