CS Colloquium Series @ UCY
Department of Computer Science - University of Cyprus
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 |
Abstract:
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.
Short Bio:
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.
