Materiały do wykładu monograficznego Logiczne Podstawy Sztucznej Inteligencji

wnioskowanie niemonotoniczne
slajdy z logiki domnieman Reitera (90 kB) -
przykłady z logiki domniemań
dowodzenie w logice domniemań
Alternatywne logiki domniemań - slajdy
złożoność zdaniowych logik domniemań
CAKE - slajdy
Logika Domniamań w CAKE'u- rozdział z książki (210 kB) Logika Domniamań w CAKE'u - slajdy -
slajdy z Logiki Defeasible
slajdy z Logiki Defeasible w CAKE'u
mad.ps.gz (68 kB) - artykuł o Logice Defeasible w CAKE'u
linear.ps.gz (70 kB) - artykuł o złożoności liniowej Logiki Defeasible
slajdy z logiki ograniczania
slajdy z zastosowania logik niemonotonicznych do akcji
algorytmy dotyczące złożoności
slajdy z CWA
Literatura:
- R.Reiter, A Logic for Default Reasoning, Artificial Intelligence 13 (1980), 81-132.
- H.A.Kautz, B.Selman, Hard Problems for Simple Default Logics,(1989).
- W.Łukaszewicz, Non-monotonic Reasoning, Ellis Horwood, 1990.
- T.Schaub, The Automation Of Reasoning with Incomplete Information, LNAI 1409, Springer, 1998.
- Doherty, W. Łukaszewicz, A. Skowron, A. Szałas: Knowledge Representation Techniques: A Rough Set Approach, Springer-Verlag, 2006.
Specyfikacja zadania z laboratorium

Aktualizacja: 05/23/2011 11:01:39