Proseminar Logikbasierte Programmiersprachen

Organisatorisches

Die Vorbesprechung findet am Dienstag, 18.10.2016 um 10 Uhr in O27-121 statt.

Das Proseminar bietet eine Plattform, um neuere Forschungsansätze kennenlernen, analysieren und bewerten zu können. Es dient zudem der Förderung der Fähigkeiten im Aufbereiten und Präsentieren von fachwissenschaftlichen Inhalten. Dies geschieht durch Erarbeitung, Ausarbeitung, Vortrag und Diskussion ausgewählter Texte: Die Studierenden arbeiten sich in ihr jeweiliges Thema ein, erstellen eine schriftliche Ausarbeitung zu ihrem Thema, halten dazu einen wissenschaftlichen Vortrag und beteiligen sich an der Diskussion zu den anderen Vorträgen.

Thema: „Computational Psychology“

Computational Psychology bezeichnet ein neueres Forschungsfeld zwischen Psychologie und Informatik, in dem psychologische Modelle von kognitiven Vorgängen wie Erinnern, Sehen, Schließen, mit Computerhilfe implementiert, analysiert und simuliert werden, und die Ergebnisse dieser Simulationen mit den Ergebnissen aus der experimentellen Psychologie verglichen werden, um so neue Erkenntnisse zu gewinnen über die zugrunde liegenden kognitiven Vorgänge und ihre Modelle.

Das Proseminar soll in die Thematik einführen und beleuchtet einige grundlegende Aspekte des Felds anhand des Produktionsregelsystems ACT-R, das in den Kognitionswissenschaften sehr populär ist. Dabei handelt es sich um eine Computerumsetzung einer regel-basierten Theorie der menschlichen Kognition. Für ACT-R existieren zahlreiche Implementierungen und Modelle, die in wissenschaftlichen Publikationen und oft online dokumentiert und aufgearbeitet sind. Im Rahmen des Proseminars soll die grundlegende Vorgehensweise im Bereich der Computational Psychology untersucht werden und ein bestimmter Teil der ACT-R-Theorie anhand einfacher Beispielmodelle vorgestellt werden.