370

14.    jeśli zdefiniujemy: a(x).

b(x).

a(y).

r(X):- not(b(X)). to pytanie:

?- r(X),a(X) zwróci:

#    No

15.    Predykat get(C):

#    Wczytuje jeden znak niepusty ze strumienia wejściowego do zmiennej C.

16.    „Jeśli z X wynika Y, oraz wiemy, ze Y nie zachodzi, to zatem X także nie może zajsc". Ta reguła znana jest jako:

#    Kontra pozycja

17.    To ze istnieje x ze zachodzi A(x) oraz ze istnieje x ze zachodzi B(x), jest warunkiem koniecznym ale nie wystarczającym dlatego by istniało x takie ze zachodziło by A(x) i B(x).

#    Tak

18.    Jeśli zdefniujemy predykat I jako l([].0).

I([JT],N):-N=1+M,I(T,M). to wykonanie: l([a,b,c.d],N).

Zwróci:

#    N=l+(l+(l+(l+0)))

19.    Algorytm RETE operia się o:

#    drzewo o dwóch rodzajach węzłów

\Ja znalazłem takie info:

W algorytmie RETE wyróżniamy cztery podstawowe typy węzłów: root,

1-input, 2-input i terminal Szczegółowe typy węzłów to:

-    root

-    ObjectTypeNode

-    AlphaNode

-    LeftlnputAdapterNode

-    EvalNode

-    JoinNode. NotNode (BetaNodes)

-    TerminalNode

Z tego co widziałem na obrazkach drzewa alg. RETE to miały one wiecej odnog niz 2 (jak w binarnym syn lewy i prawy), wydaje mi sie, ze to drzewo o dwóch rodzajach wezlow -drzewo binarne *

-drzewo o dwóch rodzajach węzłów **

20.    Sieć neuronowa skłądajaca się z dwóch warstw , pierwszej typu Instar z normalizowanym wejściem, drugiej instar typu Grossberga nosi nazwę siecu typu: -Counter-Propagation

21.    Wczytujemy plik źródłowy do interpretera prologu predykatem:

-consułt

22.    predykat assertz:

-pozwala dodać fakt na koniec bazy faktów