184.186 Theory of Knowledge Representation
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, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

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

Learning outcomes

After successful completion of the course, students are able to use results from some central topics in knowledge representation and reasoning in theory and for practical application. They are prepared to analyze and solve theoretical problems in these areas, as well as to model and solve problems using tools from knowledge representation and reasoning.

Subject of course

Foundations of knowledge representation: models, algorithms, formalisms, and techniques.

Tentative subjects are: belief revision, non-monotonic reasoning, logic programming, reasoning abot actions and planning; abductive reasoning; expressiveness of knowledge representation formalisms.

Teaching methods

Teaching of basic material in traditional frontal lecture  with interaction with the students. Small problems to think between units, and an exercise part in which problems of theoretic nature (analysis of properties) and practical problem solving (e.g. planning, combinatorial problems) is considered. Background literature will be used in that.

Mode of examination

Written

Additional information

The course language is English.

Thursday, 9h -12:30 (tentative),  Seminarraum FAVEG  B (von Neumann)

First Lecture: October  17, 2019.

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture presentation 0.5h
  • Lecture 17.5h
  • Further reading 25h
  • Discussion of the exercises 1.5h
  • Solving the exercises 30h
  • Oral exam (if applicable) 0.5h

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu09:00 - 13:0010.10.2019 - 30.01.2020Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fri09:00 - 13:0008.11.2019Seminarraum FAV EG C (Seminarraum Gödel) 184.186 VU Theory of Knowledge Representation
Fri09:00 - 13:0015.11.2019 - 29.11.2019Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Theory of Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Thu10.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu17.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu24.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu31.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu07.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fri08.11.201909:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) 184.186 VU Theory of Knowledge Representation
Thu14.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fri15.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Thu21.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fri22.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Thu28.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fri29.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Thu05.12.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu12.12.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu09.01.202009:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu23.01.202009:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu30.01.202009:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Course is held blocked

Examination modalities

Small problems and execises, an additional oral exam is optional

 

Course registration

Begin End Deregistration end
02.10.2019 15:00 19.10.2022 22:00 19.10.2022 23:30

Curricula

Literature

Previous knowledge

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

Miscellaneous

  • Attendance Required!

Language

English