After successful completion of the course, students are able to study, understand, explain, and present, using properly prepared slides and handouts, scientific results in the intersection of logic and computer science. Moreover they will be able to search for related literature in a systematic fashion.
Analysis of important contributions to the debate on the possibility of artificial intelligence. To this aim classical texts in the foundational debate on the possibility of achieving artificial intelligence, but also contributions to topical areas of research in AI will be discussed. A typical example for the first mentioned type of paper is Alan Turing's "Computing Machinery and Intelligence". Possible topics for (changing) specialization are, e.g., computational linguistics, the interface between cognitive science and computer science, or methods of agent modeling.
The organisationsal meeting, orginally planned for March 16 is cancelled.
If you are interested in particpating, please register here in TISS. (No obligation or possible evaluation results from registering. It just enables us to reach you vie email.) Latest end of March, all registered candidates will be informed about the further planning of the seminar.
Relevant for the evaluation is not only a succesful presentation, but also the adequateness of prepared handouts and the active participation in the discussion of other seminar presentations.
