Materiały do wykładu monograficznego
Metody aktualizacji baz wiedzy
Wykład
Wstęp
(202 kB) -
Postulaty
(110 kB) -
slajdy z logiki domnieman Reitera
(106 kB)
przykłady z logiki domniemań
beleif revision 1
(267 kB)
beleif revision 2
(255 kB)
beleif update 1 (PMA)
(203 kB)
beleif update 2 (MPMA)
(203 kB)
beleif update 1 (FOMPMA)
(203 kB)
przegląd beleif update'ów
(203 kB)
Rachunek sytuacyjny
(445 kB)
SDPL
(112 kB)
artykuły
Laboratorium
Definicja eliminantów
Algorytm z DNF
Algorytm z lematu Ackermanna
Algorytm Davisa-Putnama
Opis modułu generacji bazy klauzul
Harmonogram
podział na zespoły - 12 października
projekt wstępny - 15 listopada
©
Ewa Madalińska-Bugaj