Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Nowa wersja
Poprzednia wersja
pl:dydaktyka:dss:exam:2017:example [2018/01/28 23:03]
msl utworzono
pl:dydaktyka:dss:exam:2017:example [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
-===== Exam Example Questions ===== +===== Example Questions =====  
 + 
 +==== Question 1: ==== 
 + 
 +Let's assume our knowledge base in Prolog consists of the following facts and rules: 
 +<code prolog>​ 
 +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). 
 +     
 +</​code>​ 
 + 
 +  - Does any student pass the exam according to the KB? (1p) 
 +  - Write a modified version of the ''​passes_exam/​1''​ predicate, so it requires only 50% to pass the exam. (2p) 
 +  - Rewrite the KB in CLIPS (still, 50% should be enough) (3p) 
 + 
 +==== Question 2: ==== 
 + 
 +What are the three reasoning modes supported by HeaRTDroid? (3p) 
 +Describe every of them in 1-2 sentences. (3p) 
 + 
 +==== Question 3: ==== 
 + 
 +Assign every concept to one of the five technologies:​ Drools, Prolog, Clips, HeaRTDroid, GDL (there may be more than one correct answer) (3p) 
 +  - Closed-World-Assumption:​ ........ 
 +  - Backward Chaining: ........ 
 +  - Certainty Factors: ........ 
 +  - Fact Type: ........ 
 +  - Fluent: ........ 
 +  - HMR: ........ 
 + 
 +Choose and describe shortly three of them. (3p) 
 + 
 + 
 +==== Question 4: ==== 
 + 
 +Look at the following GDL program and answer following questions:​ 
 + 
 +<code prolog>​ 
 +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) 
 +</​code>​ 
 + 
 +  - How many fluents is there? (1p) 
 +  - How many moves is defined there in the game? (1p) 
 +  - How many possible joint moves can be performed? (1p) 
 +  - How many turns is required to finish the game? (1p) 
 +  - Write, what moves have to be performed to finish the game (1p) 
 +  - Does following sequence of moves finish the game (1p): 
 +    - ''​does(white,​ a), does(black, c).''​ 
 +    - ''​does(white,​ b), does(black, b).''​
pl/dydaktyka/dss/exam/2017/example.1517177025.txt.gz · ostatnio zmienione: 2019/06/27 15:57 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0