TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits)/Oral Exam 2022-01

Professors

The exam was held by Ao.Prof. Egly and Ao.Prof. Tompits.

Exam questions

Egly

First-order Logic

1. What is an interpretation structure for FOL?

2. How do we evaluate a formula with an interpretation?

3. Do you know other possibilities for the interpretation (Herbrand Interpretation, Herbrand Base, Herbrand Universe and how to construct them from a given formula).

Rule-based Systems

1. What is forward-chaining?

2. How does a rule look like?

3. What is a rule instance look like?

4. What are the goals of a good matching algorithm and how can we improve?

5. How does the RETE algorithm work? (including nodes, index data structure, tokens)

Tompits

ASP

1. Syntax and semantics of different logic programs we encountered?

2. When is an interpretation a model? Intersection of models? Least herbrand modell. Fixpoint semantics.

3. How do normal logic programs differ? What is the Gelfond Lifschitz reduct?

4. How many models are possible under stable models semantics?

5. What about ELPD? How are these models minimal?

Overall

No questions about Description logics, TMS or Probalistic Reasoning. Grading seemed rather nice.