Human Reasoning and the Weak Completion Semantics

TU Dresden | Wintersemester 2020 / 2021

Human Reasoning and the Weak Completion Semantics

In the lecture Human Reasoning and Computational Logic, we present a new cognitive theory — the weak completion semantics — for selected human reasoning tasks. The weak completion semantics is based on logic programs, the three-valued Łukasiewicz logic, an appropriate fixed point operator, abduction and revision. It can be mapped onto an artificial neural network based on the core method. The networks can be trained by (deep) learning.

The language of instruction is English. If, however, only German speaking students are in the lecture hall, then the language of instruction is German. The slides will be in English. The literature is usually in English.

1 Introduction
2 Foundations
3 Theory
4 Applications and Extensions
5 A Connectionist Realization
6 Outlook

Hybrid Course:



Regular Course Dates:



13:00 - 14:30
13:00 - 14:30
14:50 - 14:30

APB/2008 (WV LAB)
APB/2008 (WV LAB)
Online (Starting Nov 6, 2020)


Course Lectures will take part on site until further notice in room APB/2008
(due to missing ventilators and air cleaners in the originally planned room).


Enrolment is mandatory.
Remember to register your on site visits with the TUD tool.

Access to this course has been restricted. Please login. Login
Information about access
You do not have enough rights to start this resource.