Między programowaniem a wnioskowaniem

Warszawska Wyższa Szxola

1 N FORMATY JC I

Wynik: 100%

składowe kursu:

Test

1. Czy w języku Prolog lub Katalog można

□ tak, można to zrobić w sposób bezpośredni \<\ tak, można zdefiniować taką regułę ale nie w sposób

□ nie da się zdefiniować takiej reguły

2. Wskaż z podanych poniżej odpowiedzi co jest podstawową struktura danych w języku Prolog

t«?l listy

□ zmienne

□ tabele

3. Na czym polega rekurencja w językach regułowych

L j polega na ustaleniu faktu o obiekcie poprzez przeprowadzenie nowego wnioskowania

_v polega na ustaleniu nowego faktu o obiekcie wykorzystując pewne już wnioskowanie o tym ~ obiekcie

□ polega na wielokrotnym wykonaniu wnioskowania dotyczącego danego obiektu

4. Na czym polega paradygmat programowania imperatywnego?

U paradygmat programowania, w którym programy definiuję się za pomocą obiektów

□ programista opisuje warunki, jakie musi spełniać końcowe rozwiązanie

_v paradygmat programowania, który opisuje proces wykonywania jako sekwencję instrukcji ~ zmieniających stan programu

5. Na czym polega metoda wstępująca? Wybierz poprawną odpowiedź.

□ zaczynając od pewnych przesłanek wnioskujemy pewne fakty

□ zaczynając od wnioskowania wyszukujemy wszystkie fakty yl zaczynając od faktów generujemy wszystkie możliwe wnioski

6. Wiedząc, że w regułowych językach „oprogramowaną" rzeczywistości przedstawia się za pomocą faktów i reguł, wskaż z poniższych wypowiedzi definicję reguł

mówią jak należy wnioskować o nowych zależnościach

□ opisują zależności pomiędzy elementami np. (Jan jest rodzicem Marka)

□ przedstawiają podstawowe informacje

7. Które z poniżej wymienionych języków programowania realizują paradygmat programowania deklaratywnego?

IZ) Lips

□ C

□ Ada

8. Która, z poniższych wypowiedzi jest definicją reguły w języku Prolog?

iZi Rl(t1,._,tni):- R2(s1,...sn₂),._,Rk(u1,...,un_k)

□ R1 (tl,—, tn-j)

□ R(X,f(Y)):- S(x,a), T(X)

9. Zwrot „istnieje X ..." w logice klasycznej nazywany jest kwantyfikatorem. Do jakiej grupy jest on zaliczany?

□ ograniczonym

□ uniwersalny

* egzystencjalny

10. Która z poniższych odpowiedzi jest prawidłowym sposobem modelowania w oparciu a reguły?

identyfikacja przedmiotów(obiektów) -> określenie występujących relacji -> określenie pojęć i ^- atrybutów

j , określenie pojęć i atrybutów -> identyfikacja przedmiotów(obiektów) -> określenie występujących relacji

^ identyfikacja przedmiotów(obiektów) -> określenie pojęć i atrybutów -> określenie “ występujących relacji

Zakończ test

Uwaga:

1. Test może być wykonywany wielokrotnie, aż do uzyskania wyniku uprawniającego do wystawienia auto certyfikatu.

2. Uczestników kursu będący uczniami i nauczycielami szkól ponadgimnazjalnych, którzy chcą aby punkty uzyskane przez nich z tytułu realizacji kursu, zostały zaliczone na konto ich szkoły w rankingu IT Szkoła - informujemy, że na konto szkoły są zaliczane punkty uzyskane bezpośrednio po PIERWSZYM wykonaniu testu oraz naciśnięciu przycisku - zakończ test