184.205 Processing of Declarative Knowledge
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019W, VO, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Learning outcomes

After successful completion of the course, students are able to understand methods and techniques from declarative knowledge processing for different fields that center around datalog. They have insight to this versatile formalism that allows for addressing a range of different problems, by using different extensions of datalog that have been developed.

Subject of course

Declarative knowledge representation is characterised by the fact that there is a separation between the representation of knowledge and the processing of knowledge. The representation takes the form of sentences in a symbolic language whilst the processing is done by procedures accessing these sentences. Declarative knowledge representation is in contrast to procedural methods in which knowledge is represented only implicitly in the executed algorithms.

In this lecture, we consider different formalisms for representing and processing declarative knowledge, with particular emphasis on (but not limited to):

  • Datalog and extensions
  • Answer Set Programming and Extensions
  • Description Logics for representing ontological knowledge
  • Contextual Reasoning

Teaching methods

Frontal lectures in interaction with the students, small problems respectively exercises. A project ins preparation for the exam is possible.

Mode of examination

Oral

Additional information

lectures en bloc, in November / December  / January (tentative)

Dates and room will be posted later.

 

The course language is English.

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture 24h
  • Additional reading and preparation for exam 50h
  • Oral exam 1h

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri13:00 - 18:0029.11.2019Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissens
Fri08:00 - 13:0006.12.2019 - 24.01.2020Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissen
Fri08:00 - 13:0010.01.2020Seminarraum FAV 01 A (Seminarraum 183/2) Verarbeitung deklarativen Wissens
Processing of Declarative Knowledge - Single appointments
DayDateTimeLocationDescription
Fri29.11.201913:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissens
Fri06.12.201908:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissen
Fri13.12.201908:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissen
Fri10.01.202008:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Verarbeitung deklarativen Wissens
Fri17.01.202008:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissen
Fri24.01.202008:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissen
Course is held blocked

Examination modalities

Knowledge about the material presented, small exercises to be solved on the fly. In case of an agreed project, presentation and discussion of the project.

Course registration

Begin End Deregistration end
07.10.2019 12:00 01.11.2019 22:59 01.11.2019 22:59

Registration modalities:

Registration in TISS is mandatory!

Curricula

Literature

Previous knowledge

  • solid basic knowledge in propositional logic and  in predicate logic
  • formal semantics

Accompanying courses

Continuative courses

Language

English