Wkład użytkownika
Z Studia Informatyczne
Dla użytkownika Rbiedrzy dyskusja blokady przesłane pliki rejestry
- 13:35, 6 paź 2006 różn. hist. -281 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Mechanizm odcięcia. Uproszczenie member
- 13:30, 6 paź 2006 różn. hist. -72 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu. Uproszczenie member
- 13:12, 6 paź 2006 różn. hist. +332 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykat member. Uproszeczenie predykatu, wprowadzenie _
- 12:45, 6 paź 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Wprowadzenie ostatnia
- 12:44, 6 paź 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika
- 12:04, 28 wrz 2006 różn. hist. -247 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Sterowanie wnioskowaniem w przód
- 11:59, 28 wrz 2006 różn. hist. +83 m Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Wprowadzenie
- 11:53, 28 wrz 2006 różn. hist. +125 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Mechanizm odcięcia
- 11:46, 28 wrz 2006 różn. hist. +24 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu więcia
- 11:44, 28 wrz 2006 różn. hist. +12 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu zmiana <> w member
- 11:38, 28 wrz 2006 różn. hist. -44 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykat member zmiana definicji
- 11:35, 28 wrz 2006 różn. hist. +32 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika
- 12:57, 25 lip 2006 różn. hist. -3 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Metoda wszerz
- 12:56, 25 lip 2006 różn. hist. -3 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Metoda w głąb
- 11:43, 25 lip 2006 różn. hist. 0 Sztuczna inteligencja/SI Moduł 12 →Wpływ wag perceptronu na jakość aproksymacji, poprawka mojej poprawki-'e' było dobrze
- 11:24, 25 lip 2006 różn. hist. 0 Sztuczna inteligencja/SI Moduł 12 →Wpływ wag perceptronu na jakość aproksymacji, ujednolicenie zamiast e r(ja jest w nowszej wersji)
- 11:18, 25 lip 2006 różn. hist. 0 Sztuczna inteligencja/SI Moduł 12 →Definicja perceptronu wielowarstwowego, zamiast y x
- 11:12, 25 lip 2006 różn. hist. +2 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Dyskusja, zmiana znaczenia
- 11:11, 25 lip 2006 różn. hist. -35 Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Rozwiązywanie problemów przez przeszukiwanie przestrzeni, usunięty komentarz
- 11:08, 25 lip 2006 różn. hist. -9 m Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania →Wprowadzenie literówki
- 11:06, 25 lip 2006 różn. hist. +6 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Mechanizm odcięcia wcięcia
- 11:05, 25 lip 2006 różn. hist. -17 Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Rezolucja i unifikacja w PROLOGu poprawki we wnioskowaniu,literówki
- 11:00, 25 lip 2006 różn. hist. -2 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Listy literówka
- 10:58, 25 lip 2006 różn. hist. +4 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika literówka
- 10:57, 25 lip 2006 różn. hist. -4 m Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u →Predykaty użytkownika literówka
- 09:57, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 8 literówka
- 09:56, 25 lip 2006 różn. hist. -2 Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 6 nawiasy
- 09:55, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 5 nawias
- 09:53, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Ćwiczenia 2 →Zadanie 1 literówka
- 09:52, 25 lip 2006 różn. hist. +2 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Baza wiedzy jako zbiór klauzul literówka
- 09:50, 25 lip 2006 różn. hist. +30 Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Postać standardowa Skolema zmiany we wzorach, zmiana znaczenia, litrówka
- 09:45, 25 lip 2006 różn. hist. +11 Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Koniunkcyjna postać normalna Zmiany we wzorach-nawias i negacje
- 09:41, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Klauzule literówka
- 09:41, 25 lip 2006 różn. hist. 0 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Podstawienia literówka: */
- 09:40, 25 lip 2006 różn. hist. 0 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Poprawny i pełny system wnioskowania literówka: */
- 09:38, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Konsekwencja syntaktyczna literówka
- 09:34, 25 lip 2006 różn. hist. -4 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Dowód literówka
- 09:28, 25 lip 2006 różn. hist. +4 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Spełnialność i prawdziwość literówka
- 09:25, 25 lip 2006 różn. hist. +3 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Interpretacja formuł literówka
- 09:23, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Interpretacja termów literówka
- 09:22, 25 lip 2006 różn. hist. -40 Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Interpretacja symboli, literówka i przebudowa 2 zdań
- 09:13, 25 lip 2006 różn. hist. 0 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania →Alfabet literówka
- 09:11, 25 lip 2006 różn. hist. +1 m Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania literówka
