Dear all,
Seperti tercantum dalam Jadwal Kuliah di SIAK,
Matakuliah Logika Komputasional semester genap 2018/2019
akan diisi 7 kali (dalam bahasa Inggris) oleh dosen tamu
dari Technische Universität Dresden, Germany,
yaitu Prof Steffen Hölldobler.
Jadwal kuliah Dosen tamu dari TU Dresden
11 Feb 2019 s/d 14 Feb 2019: Senin, Selasa, Rabu, Kamis
16.00-17.40 @ 2.2405
04 Mar 2019 s/d 06 Mar 2019: Senin, Selasa, Rabu
16.00-17.40 @ 2.2405
Jadwal kuliah biasa (di luar dua minggu kuliah dosen tamu tsb):
Selasa, 16.00-16.50 @ 2.2405
Kamis, 16.00-17.40 @ 2.2405
(Kuliah akan dimulai sesuai jadwal UI)
Topik yang akan dibawakan oleh Prof. Steffen Hölldobler adalah bagian
dari Logika Komputasional dalam AI (Artificial Intelligence), dengan
abstrak sebagai berikut:
-----------------------------------------------------------------------
A New Cognitive Theory: The Weak Completion Semantics
In the last 10 years, we have developed a new and computational cognitive
theory. It is based on the weak completion of logic programs, the
three-valued Lukasiewicz logic, abduction, and revision. This theory has
been successfully applied to adequately model various human reasoning tasks
such as the suppression task, the selection task, the belief-bias effect,
spatial reasoning, human syllogistic reasoning, and ethical decision making.
In the course, I will give an in-depth introduction into the new theory and
its applications to different human reasoning tasks.
-------------------------------------------------------------------------
Mahasiswa UI yang tidak mengambil Matakuliah Logika Komputasional tetapi
berminat mengikuti kuliah-kuliah tamu tsb (prasyarat: Matematika Diskret),
bisa mengajukan izin dengan mengirimkan e-mail ke yohanes@cs.ui.ac.id.
Terima kasih.
Salam,
Yohanes Stefanus
Dosen Logika Komputasional sem II 2018/2019