8063591484

1. Wykład 1:

Formalności:

2 Kolokwia:

-1 (50pkt) - dwie części: podstawy LISP(20pkt) i PROLOG(30pkt). Dwa kolejne dni poniedziałek i wtorek. Może być to odstęp tygodniowy, ale sprawdzian jest traktowany jako całość. Planowane na 21.04.

-    2 (50pkt) - około końca semestru, przedostatni tydzień (dyskusyjne). Tylko PROLOG, będzie się wiązał w dużej mierze z projektem.

Projekt: zaliczenie

-    nie jest punktowany. Ocena w grupach 2-3 osoby, trzeba przekonać prowadzącego, że rozumiemy projekty. Pozytywny wynik rozmowy jest podstawą do drugiego sprawdzianu, który oceni wiedzę punktowo.

-    wszyscy studenci pracują nad dwoma takimi samymi zadaniami

-    zadania dotyczą PROLOGu:

>    Zadanie 1: Maszyna wnioskująca dla systemu eksperckiego o funkcjonalności zbliżonej do realistycznej (prowadzący mówi: 30-40 wierszy kodu). Startujemy od zapisu w pseudokodzie (struktura + komentarze: co, gdzie, jak). Trzeba uważać na pewne "subtelności" w PROLOGU - analiza działania kodu, dokładne poznanie mechanizmów języka.

>    Zadanie 2: Przeanalizowanie gotowego programu, wprowadzenie do niego odpowiednich modyfikacji. Będzie to planowanie akcji zapisane według bardziej wyrafinowanego algorytmu, niż proste przeszukiwanie drzewa. Należy dokładnie zrozumieć, w jaki program działa, potem wprowadzić modyfikacje i różne optymalizacje. Sam planer (główna procedura) zajmuje około 10 wierszy. Modyfikacje po 3 wiersze, ale trzeba wstawić w odpowiednie miejsca i wiedzieć, co się dzieje

-    będą organizowane spotkania na wykładzie, które będą pewne aspekty projektów dosyć dokładnie objaśniać (chodzić na wykłady...)

-    projekt może być dyskutowany w dowolnych grupach, rozmowy 2-3 osoby.

Trzeba uzyskać pozytywną ocenę z: Koll.LISP, Koli.PROLOG, rozmowa oceniająca, Kol2. Części pierwszego kolokwium osobno oceniane (ciekawe... :/).

Literatura:

-    Bratko - Prolog Programming for Artificial Intelligence ed.3, Pearson Education 2001 Wszystko objaśnione na przykładach, bardzo dobra do nauki. www.booksites.net/bratko - przykłady

-    Clocksin, Mellish - Programming in PROLOG ed.5, Springer-Verlag 2003 Dużo objaśnień, mało przykładów. Wartość praktyczna i dydaktyczna słaba.

-    Winston, Horn - LISP, Addison-Wesley 1984

Pozycja nadal na czasie... Po prostu w LISP niewiele się zmieniło

-    Graham - ANSI Common LISP, Prentice Hall 1995 Charakter bardziej praktyczny, implementacyjny

-    Luger - Artificial Intelligence ed.5, Pearson Education 2005

Podejście implementacyjne, LISP i PROLOG, podstawy sztucznej inteligencji.

[Przeszukać torrenty!]