Computational Logic and Connectionist Systems

Prof. Dr. Steffen Hölldobler

Lecture, SS 2004

Tutorials: Dr. Pascal Hitzler

Last update: 14.07.04.

Topics

1. Introduction and Connectionist Models
2. Neuroscience: The Brain and Cognition
3. McCulloch-Pitts Networks
4. Hopfield Networks
5. Reflexive Reasoning
6. Perceptrons
7. Backpropagation
8. Recurrent Networks
9. First Order Logic and Connectionism

Dates

Lecture: Mondays, 2. DS, GRU 350.
Tutorial: Wednesdays, 2. DS, GRU 350.

Announcements and Update History

• (14.07.04) Lecture script for last part added
• (06.07.04) Final update of the folder with course material has been done. It is now as complete as it will get.
• (21.06.04) Folder with course material updated. I plan to do only one further update, after the lecturing period.
• (21.06.04) Chances in schedule:
  Wed. 23.06.04: lecture.
  Mon. 28.06.04: no meeting.
  Wed. 30.06.04: tutorial.
  Thu. 01.07.04, 2. DS, GRU 356: lecture.
• (21.06.04) Posted further exercises for Part 8 (below).
• (21.06.04) Updated slides on Recurrent Networks.
• (11.06.04) Posted exercises for Part 8 (below).
• (11.06.04) Posted slides on Recurrent Networks.
• (09.06.04) Updated file with collected exercises (below).
• (08.06.04) Added link to the Stuttgart Neural Network Simulator (below).
• (07.06.04) We recommend to visit the following talks:
  Representing first-order knowledge by artificial neural networks by Pascal Hitzler, Dresden
  (Tuesday, 8th of June, 2.15pm, Hörsaalzentrum Room 401). abstract
  Distributed Knowledge Representation in Neural-Symbolic Learning Systems by Artur d'Avila Garcez, London
  (Wednesday, 9th of June, 3.20pm, GRU 350). abstract
• (07.06.04) Posted slides on backpropagation.
• (24.05.04) Next Wednesday, there will be the last tutorial session on Hopfield Networks. After the break we will continue with Section 5.
• (24.05.04) Added postscript with collected exercises (below) which will be updated frequently.
• (21.05.04) Folder with course material updated.
• (20.05.04) There will be a joint lecture/tutorial on Monday, 24th of May.
• (19.05.04) Posted slides on Reflexive Reasoning.
• (19.05.04) Posted final version of slides on Hopfield Networks.
• (19.05.04) I hope the problem with the website is fixed now.
• (12.05.04) I was told today that there recently was a problem with accessing the subpages of this page. I could not locate a reason for this and couldn't replicate the problem. If you encounter further problems please let me know with a detailed and precise description of what happened.
• (12.05.04) A folder with a collection of original research literature on which the lecture is based, is now available. The folder is located in room GRU 219 - Mrs. Epp's office. The folder should not be taken away for longer than is necessary to copy the papers. Please make sure that the material remains complete and that it remains in the same order in which you find it. The current material is as of 11th of May 2004 - I will announce it here whenever I make a new update/extension.
• (11.05.04) There will be a joint lecture/tutorial on Wednesday, 12th of May.
• (11.05.04) We are preparing a folder with a collection of some of the original research literature on which the lecture is based. We will let you know when it is ready.
• (03.05.05) There will be a tutorial instead of a lecture on Monday, 10th of May.
• (03.05.05) Updated slides on Symmetric Networks
• (27.04.04) Added slides on Symmetric Networks.
• (19.04.04) There will be a lecture on Wednesday, 21.04.04 instead of a tutorial.
• (18.04.04) Added three sets of slides.
• (05.04.04) There will be a lecture on Wednesday, 14.04.04 instead of a tutorial.
• (29.03.04) The first lecture will be on Wednesday, 07.04.04, instead of a tutorial.
• (29.03.04) No lecture on Monday, 05.04.04. Instead there will be an opening session for all students by Prof. Hölldobler.
• (29.03.04) It will be decided later whether there will be a lecture or a tutorial on Wednesday, 14.04.04.

Slides

1. Introduction and Connectionist Models
2. Neuroscience: The Brain and Cognition
3. McCulloch-Pitts Networks
4. Hopfield Networks
5. Reflexive Reasoning
6. Perceptrons
7. Backpropagation
8. Recurrent Networks
9. First Order Logic and Connectionism

Collected Exercises (09.06.04)

Exercises on Part 8 (11.06.04)

Further Exercises on Part 8 (21.06.04)

Stuttgart Neural Network Simulator

Examination

There will be oral exams.

All questions should be directed to Pascal Hitzler under .