6628926250

6628926250



Reguły

a Zdefiniujemy dwie stacje jako położone blisko jeśli są one połączone bezpośrednio lub pomiędzy nimi jest tylko jedna stacja.

a W rachunku predykatów wygląda to tak

VxVy.connecfeó(x,y) =>■ blisko(x,y) VxVy.Vz.connected(x,z)/\connected(z,y)) =s> blisko(x,y)

a Możemy teraz zapisać te formuły jako reguły Prologu

blisko(X,Y)    connected(X,Y).

blisko(X,Y)    connected(X,Z),connected(Z,Y).

Zbigniew Jurkiewicz, Instytut Informatyki UW Programowanie w logice Wykład Z bclZ dSfiyCh dlć



Wyszukiwarka

Podobne podstrony:
Fundusze inwestycyjne na rynku nieruchomości działają najczęściej jako fundusze typu REIT. Są one ro
Informacje celów współpracy. Jeśli są one podobne dla wszystkich współdziałających stron, to
Mogą występować w postaci: -    jako dwie pasty, -    jako proszek i p
Mogą występować w postaci: -    jako dwie pasty, -    jako proszek i p
img071(1) 71 2.4. MOC PRADO SINUSOIDALNIE ZMIENNEGO Poprzednio zdefiniowaliśmy moc chwilową jako ilo
Pory roi Pora roku to taki okres w roku, kiedy w d podobna pogoda i temperatur Blisko biegunów są ty
o Forma Jest dowolna pizy przekazie jako czynności samodzielnej, jeśli przekaz występuje wraz z inna
SWScan00902 bmp 1 Media publiczne w społeczeństwie informacyjnym Wspomniany Komitet jako jedna z bli
Mogą występować w postaci: -    jako dwie pasty, -    jako proszek i p
CCF20120517006 80 III. SZEKSPIR JAKO POETA DRAMATYCZNY Jeśli miłośnicy i przyjaciele sztuki chcą si
próbki są podobne w sensie chemicznym, to są one położone blisko siebie na projekcji wyników [80, 10
10 (24) 175 Przekształcenia liniowe c) Dla A e LfR", Rm) zdefiniujmy normę

więcej podobnych podstron