Materiały do wykładu monograficznego
Modelowanie wnioskowania w świecie rzeczywistym
- 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
Harmonogram
- projekt wstepny - 21 marca do godz. 12:00
- omawianie projektów - 21 marca