Please be advised the lockingsystemintegration my not be available due to system maintenance. Please accept our apologies for any inconvenience.

# 184.188 Nonmonotonic Reasoning This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2024S 2021W 2019S 2018W 2018S 2017W 2017S 2012W 2011W 2010W 2009W 2008W 2007W 2006W 2005W 2004W 2003W 2002W

2024S, VU, 2.0h, 3.0EC, to be held in blocked form

## Properties

• Semester hours: 2.0
• Credits: 3.0
• Type: VU Lecture and Exercise
• Format: Online

## Learning outcomes

After successful completion of the course, students are able to name and explain different nonmontonic logics, as well as to correctly argue theoretical relations of the considered formalisms. In particular, after successfully complete of the course, students are able to

• analyse employed techniques and methods,
• select relevant techniques and methods for a given problem, and
• critically assess relevant solutions and formalisms.

## Subject of course

Nonmonotonic reasoning deals with the analysis and formalisation of rational conclusions. Such conclusions are characterised by the feature that they are defeasible, i.e., that they can be invalidated by new information. This is in contrast to classical logic where the conclusion of a set of premisses remains derivable even if the premisses are arbitrarily enlarged (and reasoning may reduce to triviality because of the well-known classical principle of ex falso sequitur quodlibet, which allows the derivation of any conclusion from inconsistent premisses). Rational conclusions, however, try to retain consistency.

Nonomonotonic logics have been proposed at the beginning of the Eighties of the 20. century and are an important formal underpinning for knowledge-based systems. Furthermore, there is  a close relationship to certain semantics of logic programming with negation-as-failure.

## Teaching methods

Frontal lecture and exercises comprising presentations of students for a chosen topic.

## Mode of examination

Immanent

Attention:

• Start of lecture: April 17

ECTS breakdown: 3 ECTS = 75 Hours

• Lecture 15h
• Lecture introduction 0.5h
• Preparing the presentation 25h
• Presentation of exercises solutions and talks 9h
• Preparation for exam 25h
• Oral exam 0.5h

## Course dates

DayTimeDateLocationDescription
Wed16:00 - 19:0010.04.2024 - 19.06.2024EI 11 Geodäsie HS - INF Lecture
Nonmonotonic Reasoning - Single appointments
DayDateTimeLocationDescription
Wed10.04.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed17.04.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed24.04.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed08.05.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed15.05.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed22.05.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed29.05.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed05.06.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed12.06.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Wed19.06.202416:00 - 19:00EI 11 Geodäsie HS - INF Lecture
Course is held blocked

## Examination modalities

Oral exam and assessment of exercise part.

## Course registration

Begin End Deregistration end
16.02.2024 01:00 30.05.2024 23:59 30.05.2024 23:59