AIwiki

• nieobecność na laboratorium z Mindstorms można nadrobić w grudniu, w przypadku nieodrobienia zajęć, otrzymuje się 0 punktów za dane zajęcia

Rozkład zajęć i prowadzących:

Rozkład zajęć i prowadzących:

Opis i wykaz sprawozdań JSI2009

• zajęcia odbywają się w sali 215
• grupa ćwiczeniowa 8-15 osób jest dzielona na zespoły 2-3 osobowe.
• każdy zespół realizuje to samo ćwiczenie na własnym zestawie NXT
• każdy zespół oddaje sprawozdanie z zajęć
• każdy zespół uaktualnia stronę (pamiętnik?) robota, którego używa, np. Agatki.
• warunkiem zaliczenia laboratoriów jest: obecność + dostarczenie sprawozdania (od każdego zespołu ćwiczeniowego, po każdych zajęciach)

Rozkład zajęć i prowadzących:

Uwagi:

• każda osoba na każdych z w.w. zajęć wybiera 1 temat z tematów fakultatywnych
• w roku 2010 wybieramy tematy: M O P L W S

• kolokwium z prologu(1) - max 12pkt
• laboratorium z LEGO Mindstorms - max. 12pkt
• kolokwium z prologu(2) - max 9pkt

• zaliczenie od 50% wg skali ocen AGH

Biblioteka programów w Prologu

Na zadanie domowe, na 28.10.2009, każda grupa ćwiczeniowa ma:

• przeglądnąć wszystkie przykłady zaczynające się na dane litery
  • 8:00 a,b,c,d,e,f,g,h
  • 9:30 i,j,k,l,m,n,o,p
  • 11:00 r,q,w,v,x,y,z
• w każdym przykładzie należy:
  • sprawdzić i poprawić jego opis (Description) pod kątem poprawności językowej
  • sprawdzić i poprawić działanie odnośnika do kodu w części Download - może brakować zamykających klamer przy odnośniku
  • sprawdzić działanie przykładu w SWI: pobrać kod, uruchomić; w przypadku błędów, należy w części Comments dopisać „RTERR: opis”, gdzie opis ma być jednolinijkowym opisem błędu

Uwaga: informacji o wszystkich projektach udziela GJN w godzinach zajęć lub konsultacji.

• projekty sa indywidualne (ew. liczba osób oznacza liczbę projektów z danego tematu)
• 2009-12-09 podanie tematów
• 2009-12-17 ostateczny termin wyboru
• 2009-12-18→2010-01-30 realizacja

Co można zyskać? → dużą sznasą na BDB (o ile się zrobi coś sensownego) + nie chodzić na zajęcia JSI w styczniu

HeKatE_callbacks

• oglądnąć hekate cases
• dorobić do hekate cases callbacki w językach Prolog, XPCE, Java, Python
• zdefiniować stany startowe i walidacje
• 7 caseów → -7 osób (każda callbacki do 1-2 casów + stany do jednego)

HGXTT

• poczytać xtt verif w/ hypergraphs
• zrealizować wizualizację hipergrafów w Prologu z użyciem graphviz i tikz (inne narzędzia?) → 3-6 os.
• opis HG przy pomocy macierzy incydencji w Prologu + generowanie z niej LaTeX 2os
• translacja HMR do HG, patrz HeaRT 2os

GMPL

• api do google maps w prologu → 2os

PLCS

• poczytać o Semantic wikis i plwiki plwiki-iccci
• opracować plwiki cases (czyli przykłady aplikacji dla semwikis) → 2-4os
• Z: Katarzyna Nawrocka