TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits)/Oral Exam 2019-06-27

From VoWi
Jump to navigation Jump to search

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