CS Colloquium Series @ UCY
The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:List RSS Directions
Colloquium Coordinator: Demetris Zeinalipour
Colloquium: Non-monotonic Reasoning, Skeptical Abduction and Artificial Neural Network Realization, Dr. Emmanuelle-Anna Dietz Saldanha (Technical University of Dresden, Germany), Thursday, February 15, 2018, 15:00-16:00 EET.
The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:
Non-monotonic Reasoning, Skeptical Abduction and Artificial Neural Network Realization
Speaker: Dr. Emmanuelle-Anna Dietz Saldanha
In this talk, I will present a novel cognitive theory, the Weak Completion Semantics, which is a logic programming approach, based on the three-valued Łukasiewicz Semantics. This theory seems to adequately model various human reasoning tasks in spatial reasoning, syllogistic reasoning and reasoning with conditionals. We will discuss one psychological experiment, the suppression task, which shows that humans suppress previously drawn conclusions, that is, they seem to reason non-monotonically. In order to adequately model this task, skeptical abduction is required. However, skeptical abduction is computationally expensive and does not seem to be cognitively plausible. Therefore, we investigate a neural network realization, and discuss possible ways towards bounded skeptical abduction.
Emmanuelle-Anna Dietz Saldanha is a researcher at the Knowledge Representation and Reasoning group at TU Dresden in Germany. After completing her master's degree in Computer Science at Utrecht University, she registered in the European PhD Program in Computational Logic at TU Dresden and received her PhD in June 2017. During her PhD studies she stayed at the Centre for Artificial Intelligence at UNL in Portugal and at the Computational Logic Laboratory at SFU in Canada. Her research interest covers areas from Cognitive Science and Computational Logic, such as human reasoning, three-valued logics, logic programming and abduction.
|Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium|