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.

2017W, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

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

Aim of course

Knowledge of basic formalisms for knowledge representation, principal problems with knowledge representation and results on them.

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.

Additional information

The course language is English.

Dates by appointment. Planned: Thursday, 9:00 (sharp) -12:30.

First Lecture: October 12, 2017. Place: von Neumann Seminar room.

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 - 12:3012.10.2017 - 14.12.2017Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Theory of Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Thu12.10.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu19.10.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu09.11.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu16.11.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu23.11.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu30.11.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu07.12.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu14.12.201709:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Course is held blocked

Examination modalities

Exercises and / or oral exam (optional)

Course registration

Begin End Deregistration end
04.10.2017 15:00 21.10.2020 22:00 21.10.2020 23:30

Curricula

Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified
066 931 Logic and Computation Mandatory elective

Literature

slides and further material

Previous knowledge

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

Miscellaneous

  • Attendance Required!

Language

English