Programowanie Symboliczne - LISP
Tematy zadań
Tematy referatów i projektów:
Przeznaczone dla osób, które rozwiązywały przynajmniej niektóre zadania z (*). Do wszystkich projektów obowiązkowa jest dokumentacja, każdy referat musi posiadać bibliografię oraz odpowiednie do niej odsyłacze w tekście. Min liczba źródeł: 3. Odsyłacze do stron internetowych muszą być szczegółowo opisane (tytuł artykułu, strony, dokładny adres podstrony itp.) Osoby, które zdecydują się na określony temat, zgłaszają go do mnie (można e-mailowo na adres galaxy) oraz na pierwszym spotkaniu po świętach przynoszą plan projektu (referatu) w celu uzgodnienia określonych funkcji, sposobu reprezentacji danych itp. Ze względu na konieczność bardziej szczegółowego omówienia niektórych tematów zapraszam jeszcze przed świętami we wtorek na konsultacje.
Każdy referat ma mieć na końcu referencje do zródeł, w przypadku strony
WWW, ma to być adres oraz tytuł i autor artykułu. W przypadku cytowania
autora, umieszczania jego schematu lub też rysunku czy tabeli, ma widnieć
odsyłacz do spisu publikacji, chyba ze jest to własny rysunek, wówczas
przy podpisie pod rysunkiem powinna pojawić się informacja:
opracowanie własne.
Preferowana forma referatu: strona WWW ew. dokument Word + wersja
papierowa.
Projekt powinien składać się z dokumentacji technicznej i użytkowej oraz
działającego programu.
Projekty: (max. ocena 6.0)
- Konwerter plików typu XML (wyników testów) do listy asocjacyjnej oraz wygenerowanie określonych statystyk
(graficzna prezentacja na wykresach wyjściowych danych - np. język java) (1-2 osoby)
- Generator pytań testowych na podstawie drzewa nauczania i okrelonych wag z zestawu 3a
oraz bazy pytań powiązanej z drzewem nauczania Pytania powiązane są z określonymi dziedzinami drzewa z określoną wagą (stopniem pokrycia) Program ma generować test dla danych wejściowych: liczba pytań i dziedzina lub zbiór dziedzin, które test ma obejmować. Więcej szczegółów u prowadzącego (1-2 osoby)
- Opracowanie i implementacja algorytmu do generowania pytań testowych na podstawie drzewa nauczania
z zestawu 3a oraz bazy pytań powiązanej z drzewem nauczania.(1-2 osoby)
- Prosty generator testu w oparciu o model Rascha, polegajšcym na doborze pytań (materiały i informacje dostępne u prowadzšcego)
- Układanie bezkolizyjnego planu zajęć - wszystkie potrzebne dane są
reprezentowane przez listy asocjacyjne (1-2 osoby)
- Konwerter plików typu XML do listy asocjacyjnej z kilkoma zadanymi operacjami na powstałej liście.
- Zestawianie optymalnych połączeń kolejowych lub MPK na podstawie rozkładu jazdy przechowywanego w liście asocjacyjnej (dane zczytywane z pliku). Lista posiada własności takie jak odległość, czas przejazdu (odjazdu, przyjazdu), cena przejazdu (pociśgi osobowe, pospieszne, expresowe, Intercity). Optymalizacja połączeń wg. różnych kryteriów: czas, odległość, cena biletu itp.
Referaty i projekty:(max. ocena 4.5, 5)
- Język edytora Emacs E-Lisp (Emacs Lisp) - charakterystyka i programy
demonstracyjne typu: kalkulator obliczający wyrażenie arytmetyczne (liczby, standardowe
operatory arytmetyczne, nawiasy) zapisane w buforze edytora Emacs i
wstawiający do niego wynik itp.
- Programowanie obiektowe w Lispie - opis + zastosowanie (program
demonstracyjny)
- Grafika w Lispie z wykorzystaniem środowisk typu Corman Lisp
- Specyfikacja i porównanie środowisk programistycznych dla języka Lisp
- Praktyczne zastosowania języka LISP we współczesnym programowaniu:
- do budowy systemów wykorzystujących przetwarzanie symboliczne,
- do reprezentacji wiedzy i algorytmów wnioskowania w systemach
ekspertowych,
- jako narzędzia do budowania inteligentnych systemów, uwających modeli
zachowań ludzkich,
- możliwośco zastosowania Lispa do opisu wiedzy w nauczaniu
- i inne zastosowania.
- Język Schema jako dialekt języka LISP
- Jezyk KIF-Ontology dla opisu ontologii - specyfikacja i możliwości
zastosowań (2 osoby)
- Zastosowanie dialektu języka Lisp w programie graficznym Gimp -
specyfikacja oraz programy demonstracyjne
- Język Autolisp - prezentacja możliwości
- Kalkulator symboliczny obliczajšcy/upraszczajšcy wyrażenia zawierajšce liczby, zmienne, standardowe
operatory i nawiasy
- Analizator składni HTMLa (znaczniki i komunikaty -wersje jezykowe - w
osobnych plikach)
- Analizator składni Latexa (znaczniki i komunikaty o błędach - wersje
językowe - w osobnych plikach,