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:
mail List rss RSS Directions 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
Affiliation: Technical University of Dresden, Germany
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Thursday, February 15, 2018
Time: 15:00-16:00 EET
Host: Prof. Antonis Kakas (antonis-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php?speaker=cs.ucy.2018.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.

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2018.saldanha.ics