TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits)/Oral Exam 2019-06-27
Zur Navigation springen
Zur Suche springen
Exam done by Egly and Tompits:
- What is an interpretation in FOL
- Which logical status can a formula have? (valid, sat, refutable, unsat)
- Explain TC1 with its rules
- What kinds of rule based systems are there? (forward chaining, backward chaining)
- Draw the rule cycle thing
- What is a rule instance
- What nodes does the rete network consist of
- What is the general idea behind ASP
- Def of entailment
- How do rules look like in classical/normal/extended/disjunctive logical programs