Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:dss:exam:2017:example [2018/01/29 02:08] msl |
pl:dydaktyka:dss:exam:2017:example [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 8: | Linia 8: | ||
| student(anna). student(michael). | student(anna). student(michael). | ||
| answered(anna, question_1, b). answered(anna, question_2, b). | answered(anna, question_1, b). answered(anna, question_2, b). | ||
| - | answered(michael, question_1, a). answered(anna, question_2, a). | + | answered(michael, question_1, a). answered(michael, question_2, a). |
| passes_exam(Student) :- | passes_exam(Student) :- | ||
| Linia 29: | Linia 29: | ||
| ==== Question 3: ==== | ==== Question 3: ==== | ||
| - | Assign every concept to one of the five technologies: Drools, Prolog, Clips, HeaRTDroid, GDL (3p) | + | 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: ........ | + | - Closed-World-Assumption: ........ |
| - | - Backward Chaining: ........ | + | - Backward Chaining: ........ |
| - | - Certainty Factors: ........ | + | - Certainty Factors: ........ |
| - | - Fact Type: ........ | + | - Fact Type: ........ |
| - | - Fluent: ........ | + | - Fluent: ........ |
| - | - Guvnor: ........ | + | - HMR: ........ |
| Choose and describe shortly three of them. (3p) | Choose and describe shortly three of them. (3p) | ||
| Linia 55: | Linia 55: | ||
| input(R,b) :- role(R) | input(R,b) :- role(R) | ||
| input(R,c) :- role(R) | input(R,c) :- role(R) | ||
| - | |||
| - | init(p) | ||
| legal(white,a) | legal(white,a) | ||
| Linia 62: | Linia 60: | ||
| legal(black,b) | legal(black,b) | ||
| legal(black,c). | legal(black,c). | ||
| - | + | ||
| - | next(p) :- does(white,a) & ~true(p) | + | next(p) :- does(white, a). |
| - | next(p) :- ~does(white,a) & true(p) | + | next(q) :- does(white, A), does(black, A). |
| - | next(q) :- does(white,b) & true(p) | + | next(q) :- true(q). |
| - | next(q) :- does(white,c) & true(r) | + | next(r) :- does(black, c). |
| - | next(q) :- ~does(white,b) & ~does(white,c) & true(q) | + | |
| - | next(r) :- does(white,c) & true(q) | + | |
| - | next(r) :- ~does(white,c) & true(r) | + | |
| goal(white,100) :- terminal | goal(white,100) :- terminal | ||
| Linia 79: | Linia 74: | ||
| </code> | </code> | ||
| - | - Ordered List Item | + | - 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).'' | ||
