Logic and Connectionist Systems

Dr. Pascal Hitzler and Prof. Dr. Steffen Hölldobler

Seminar, SS 2002

In Artificial Intelligence, we are very much interested in learning and representing knowledge, and in reasoning with it. Logic provides a convenient framework for doing this. An important alternative to logic is provided by connectionist systems, i.e. artificial neural networks. It turns out that both frameworks have advantages and disadvantages, and that they are rather different in nature. Researchers have therefore set out to study relationships between Logic and Connectionist Systems. In this seminar, we will study some of the recent results on this topic, taken from scientific publications of the last few years.

Prerequisite: Passed exam in ICL or Logik.

Assessment: Each student is required to ...

...give a presentation lasting 60 minutes plus discussion/questions.
...deliver a L^ATEXed manuscript before the presentation.
...participate frequently and actively in the seminar meeting, which includes participation in the discussion.

Each student will get a mark based on the presentation (2/3) and the manuscript (1/3).

Organization:

Prof. Hölldobler will give an introductory talk on the 28th of January 2002, 16.40-18.10, GRU 350.
At this event, topics for the talks will be distributed and the timetable for the summer will be fixed.
The whole group will meet weekly, for 90 minutes. (Presumably Mondays, DS6, but we can try to find a more convenient spot.)
There is a maximum of 11 slots available. More students will not be accomodated, but the seminar will take place with a minimum of 6 students.

Registration: If you want to participate, it is necessary that you attend the (above mentioned) meeting on the 28th of January 2002, 16.40-18.10, GRU 350. If this is impossible for you, contact Pascal Hitzler before this date.

If you have any questions concerning this seminar, please do not hesitate to contact me in Room 422 or under
phitzler@inf.tu-dresden.de

There is the possibility of doing projects or theses in the subject area building on the topics of the seminar.

Back to my home page. Back to the seminar page.