Knowledge Representation and Reasoning 2014
Cele kursu
Prezentacja podstawowych problemów, metod symbolicznego reprezentowania wiedzy i automatycznego jej przetwarzania - wnioskowania
Przekazanie praktycznych umiejętności wykorzystania wybranych narzędzi pozwalających na reprezentowanie i przetwarzanie wiedzy symbolicznej.
Sylabus KRK: EIS
Podręczniki
Podstawowe:
Uzupełniające:
Literatura uzupełniająca w języku polskim:
Prolog podręczniki sieciowe:
Prolog podręczniki:
Materiały
Organizacja roku
Ramowy plan wykładu
__Edycja 2015__
Wprowadzenie do reprezentacji i przetwarzania wiedzy. Ujęcie systemowe. Rola logiki. Prolog: baza wiedzy [3.03.2015]
Podstawy języka Prolog. Model obliczeniowy Prologu - szukanie z nawrotami. Zmienne i ich rola. Podstawy Unifikacji [10.03.2015]
Podstawy języka Prolog. Struktury danych: termy. Podstawy unifikacji termów. [17.03.2015]
Podstawy języka Prolog. Modele obliczeniowe: rekurencja, iteracje, pętle z wymuszeniem nawrotów (fail). Struktury danych: listy. Predykaty: member/2, select/3, appemd/2. Obliczenia niedeterministyczne [24.03.2015]
Przetwarzanie list w Prologu. Rekurencja a iteracje. Zagadnienia zaawansowane. Sortowanie list. Przetwarzanie list. Meta-predykaty [31.03.2015]
Listy - zagadnienia zawansowane. Meta-programowanie w Prologu. Reprezentacja i przetwarzanie wiedzy w Prologu. Przykłady. [14.04.2015]
Metaprogramowanie. Reprezentacja wiedzy. Przykłady. [21.04.2015]
Podsumowanie programowania w Prologu. Przykłady. Przygotowanie do kolokwium. [28.04.2015]
Systemy stanowe. Model grafowe. Metody szukania ślepego. Tree search and graph search. [5.05.2015]
-
-
Metody szukania heurystycznego. Algorytm A*. Algorytmy inspirowane biologicznie.
Wprowadzenie do programowania z ograniczeniami. Backtrack Search.
Programowanie z ograniczeniami - kontynuacja. Biblioteka CSP(FD).
Edycja 2014
Wprowadzenie do reprezentacji i przetwarzania wiedzy. Ujęcie systemowe. Rola logiki. Prolog: bazy wiedzy [4.03.2014]
Podstawy języka Prolog. Model obliczeniowy Prologu - szukanie z nawrotami. Zmienne i ich rola. Podstawy Unifikacji [11.03.2014]
Podstawy języka Prolog. Struktury danych: termy. Podstawy unifikacji termów. Modele obliczeniowe: rekurencja, iteracje, pętle z wymuszeniem nawrotów (fail) [18.03.2014]
Podstawy języka Prolog. Struktury danych: termy. Podstawy unifikacji termów. Modele obliczeniowe: rekurencja, iteracje, pętle z wymuszeniem nawrotów (fail) [25.03.2014]
Podstawy języka Prolog. Struktury danych: listy. Predykaty: member/2, select/3, appemd/2. Obliczenia niedeterministyczne [1.04.2014]
Przetwarzanie list w Prologu. Rekurencja a iteracje. Zagadnienia zaawansowane. Sortowanie list. Przetwarzanie list. Meta-predykaty [8.04.2014]
Meta-programowanie w Prologu. Reprezentacja i przetwarzanie wiedzy w Prologu. Przykłady. [15.04.2014]
E-learning. [29.04.2014]
Systemy stanowe. Model grafowe. Metody szukania ślepego. Tree serach a graph search. [6.05.2014]
Przegląd metod szukania ślepego. Realizacje w Prologu. [13.05.2014]
Metody szukania heurystycznego. Algorytm A*. Algorytmy inspirowane biologicznie. [20.05.2014]
Wprowadzenie do programowania z ograniczeniami. Backtrack Search. [27.05.2014]
Programowanie z ograniczeniami - kontynuacja. Biblioteka CSP(FD).[3.06.2014]
[10.06.2014]
[17.06.2014 ?]
Edycja 2013
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.
Ramowy plan laboratorium
Narzędzia:
Ćwiczenia
-
-
Prolog: termy i reprezentacja wiedzy:
Lab_termy, 2013-03-19
-
-
Prolog: metaprogramowanie, 2014-04-09
Szukanie heurystyczne:
przeszukiwanie wraz z sekcją
Dla zainteresowanych, 2015-05-06
-
-
-
- Reguły w Prologu, 2014-05-07, wprowadzenie do systemów ekspertowych
Problemy automatycznego planowania:
Lab_pddl
Reprezentacje ustrukturalizowane, DL:
Lab DL, 2014-06-04
Kolokwium, 2014-06-11
VARIA