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

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.

Content

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.

Levels
AI-B3

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

Prerequisites
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: o.scharenborg@let.ru.nl

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

Instructional modes
Discussion

Lecture

Modeling project

Practical sessions

Tests
Exam
Test weight1
OpportunitiesBlock PER2, Block PER2