For future reference here a couple of the questions
UCS with a simple graph.
Let h(n) = sqrt(h1(n)*h2(n)) show that h is admissable if h1 and h2 are admissable
Explain the RAC cycle in a rule based system graphically
What is the importance of the RETE algorithm
Initial state of the ALC Tableaux
Satisfies a given expression a rather complex statement (look at older exams quite similar to those)
There were another 3 questions about ASP which i dont know anymore. And I forgot most likely some questions.
All in all 4 parts with about three questions each
Sorry about the formatting but i am on my mobile phone