Computational and formal modeling
Course infoSchedule
Course moduleSOW-BKI211
Credits (ECTS)6
Language of instructionEnglish
Offered byRadboud University; Faculty of Social Sciences; Artificial Intelligence;
Contactperson for the course
L.E.C. Jacques
Other course modules lecturer
dr. J.H.P. Kwisthout
Other course modules lecturer
dr. O.E. Scharenborg
Other course modules lecturer
dr. O.E. Scharenborg
Other course modules lecturer
Academic year2017
PER1-PER2  (04/09/2017 to 04/02/2018)
Starting block
Course mode
Registration using OSIRISYes
Course open to students from other facultiesYes
Waiting listNo
Placement procedure-

The student will:

- Learn how to formalise informal verbal cognitive theories.
- Practice implementing and simulating computational cognitive models.
- Be able to think critically about existing computational cognitive models, their properties, and their relationships.
- Learn about some of the methodological problems and challenges in cognitive modeling.
- Learn how to relate cognitive modeling issues to the broader context of Cognitive Neuroscience, Artificial Intelligence, Psychology and Philosophy.
- Practice his/her English verbal and writing skills.
- Be able to read and think critically about original literature on cognitive modeling.


Cognitive scientists build computational models of mental processes in order to achieve understanding of how the mind/brain works. Such models try to capture in a precise (formal) language our (informal) intuitions about how aspects of human cognition may work. By systematically studying our models and comparing them to actual human cognitive behaviour, we can test our ideas about how the mind works.
The aim of this course is to introduce the student to the conceptual foundations and contemporary practice of computational modeling in Cognitive Science research. Students will learn to become critical users and designers of computational models. During supervised assignments, the student will gain hands-on experience in formalising verbal theories and with analysing and evaluating a variety of computational models (including symbolic, connectionist, dynamical, and probabilistic models). During the final modeling project, each student will have the opportunity to practice improving upon existing models and/or developing an entirely new model of a cognitive phenomenon which has captured his/her interest.


Test information
Type of Exam(s):

• Assignments
• Project
• Take-home exam
• Two practical assignments
• Two individual assignments
• A (group) poster project
• A take-home examination

This course is compulsory for third year students in the degree program Bachelor of Artificial Intelligence students. It is assumed that students have introductory-level knowledge of Artificial Intelligence, Cognitive Psychology, Formal Thinking, Programming, and The Philosophy of Cognitive Science. The course is also suitable for students who are doing a BSc, MSc or PhD in Psychology or Cognitive Neuroscience and who want to learn about computational and formal modeling.

Contact information
Dr. O.E. Scharenborg; T: 024-3612922; E:

Required materials
Course material
Course material
To be announced
Selected readings (original articles)

Instructional modes


Modeling project

Practical sessions

Test weight1
OpportunitiesBlock PER2, Block PER2