Let's assume our knowledge base in Prolog consists of the following facts and rules:
correct_answer(question_1, a). correct_answer(question_2, b). student(anna). student(michael). answered(anna, question_1, b). answered(anna, question_2, b). answered(michael, question_1, a). answered(michael, question_2, a). passes_exam(Student) :- correct_answer(question_1, A1), answered(Student, question_1, A1), correct_answer(question_2, A2), answered(Student, question_2, A2).
passes_exam/1
predicate, so it requires only 50% to pass the exam. (2p)What are the three reasoning modes supported by HeaRTDroid? (3p) Describe every of them in 1-2 sentences. (3p)
Assign every concept to one of the five technologies: Drools, Prolog, Clips, HeaRTDroid, GDL (there may be more than one correct answer) (3p)
Choose and describe shortly three of them. (3p)
Look at the following GDL program and answer following questions:
role(white) role(black) base(p) base(q) base(r) input(R,a) :- role(R) input(R,b) :- role(R) input(R,c) :- role(R) legal(white,a) legal(white,b) legal(black,b) legal(black,c). next(p) :- does(white, a). next(q) :- does(white, A), does(black, A). next(q) :- true(q). next(r) :- does(black, c). goal(white,100) :- terminal goal(white,0) :- ~terminal goal(black,100) :- terminal goal(black,0) :- ~terminal terminal :- true(p) & true(q) & true(r)
does(white, a), does(black, c).
does(white, b), does(black, b).