TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits)/Oral Exam 2021-09-15
Professors[Bearbeiten | Quelltext bearbeiten]
The exam was held by Prof. Egly and Prof. Eiter.
Exam questions[Bearbeiten | Quelltext bearbeiten]
Prof. Egly[Bearbeiten | Quelltext bearbeiten]
First-order Logic[Bearbeiten | Quelltext bearbeiten]
1. What is an interpretation structure for FOL?
2. How do we evaluate a formula with an interpretation?
Rule-based Systems[Bearbeiten | Quelltext bearbeiten]
1. What is forward-chaining?
2. How does a rule look like?
3. What is the recognize-act cycle (RAC)?
4. How can we improve the RAC?
- By establishing an efficient index data structure and using the RETE algorithm
5. How does the RETE algorithm work?
Prof. Eiter[Bearbeiten | Quelltext bearbeiten]
Description Logics[Bearbeiten | Quelltext bearbeiten]
1. What is the vocabulary and syntax of DL?
2. How do we interpret the DL syntax?
3. What is important regarding the universal restriction?
- If there is no tuple in the role, then the universal restriction is always true.
4. Complexity of the satisfiability problem of ALC knowledge bases?
Truth-Maintenance Systems[Bearbeiten | Quelltext bearbeiten]
1. What is a JTMS and what does it contain?
2. What is the semantics of a JTMS?
- The admissible models
3. For what are JTMS used?
Probabilistic Reasoning[Bearbeiten | Quelltext bearbeiten]
1. What are the two kinds of networks we learned about?
2. What is the idea behind a Bayesian Network?