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.

2016W, 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 13, 2016. 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:3013.10.2016 - 15.12.2016Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Theory of Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Thu13.10.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu20.10.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu27.10.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu03.11.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu10.11.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu17.11.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu24.11.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu01.12.201609:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu15.12.201609: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
05.10.2016 15:00 23.10.2019 22:00 23.10.2019 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