Wprowadzenie do problematyki reprezentacji i przetwarzania wiedzy. Prolog: baza wiedzy [26.02.2013]
Inżynieria wiedzy. Podejście systemowe. Język naturalny a logika. Budowa systemu z bazą wiedzy. Przykłady w Prologu. Prolog: sterowanie wnioskowaniem [5.03.2013]
Prolog: termy i reprezentacja wiedzy. Fakty i klauzule. Składnia. Semantyka [12.03.2013]
Prolog: listy. Podstawowa reprezentacja i przetwarzanie [19.03.2013]
Prolog: listy. Zaawansowane przetwarzanie. Sortowanie [26.03.2013]
Drzewa i grafy. Metody szukania ślepego [9.04.2013]
Grafy. Metody szukania heurystycznego [16.04.2013]
Systemy dynamiczne. Stan, przestrzeń stanów. Planowanie [23.04.2013]
Grafy AND-OR, planowanie, gry [7.05.2013]
Systemy regułowe [14.05.2013]
Programowanie z ograniczeniami. CSP: wprowadzenie. [21.05.2013]
CSP: problemy i metody.[28.05.2013]
Przegląd zaawansowanych narzędzi logiki. Wiedza niepewna, niepełna, rozmyta i przybliżona.[4.06.2013]
-
ML - wykład zaproszony [18.06.2013]
Problematyka spójności i pełności wiedzy. Wnioskowanie diagnostyczne.
Prolog: metaprogramowanie. Możliwości reprezentacji i przetwarzania wiedzy w Prologu.