Logika niemonotoniczna - Non-monotonic logic
Niemonotoniczny logiki jest logika formalna , której zawarcie relacja nie jest monotonna . Innymi słowy, logiki niemonotoniczne są opracowywane w celu uchwycenia i reprezentowania wnioskowań możliwych do obronności (por. rozumowanie podważalne ), tj. rodzaj wnioskowania, w którym rozumujący wyciągają wstępne wnioski, umożliwiając rozumującym wycofanie wniosków w oparciu o dalsze dowody. Większość badanych logik formalnych ma monotoniczną relację implikacji, co oznacza, że dodanie formuły do teorii nigdy nie prowadzi do obcięcia zbioru jej wniosków. Intuicyjnie monotoniczność wskazuje, że uczenie się nowej wiedzy nie może redukować zbioru tego, co jest znane. Logika monotoniczna nie radzi sobie z różnymi zadaniami rozumowania, takimi jak domyślne rozumowanie (wnioski można wyciągnąć tylko z powodu braku dowodów przeciwnych), rozumowanie abdukcyjne (wnioski są wyprowadzane tylko jako najbardziej prawdopodobne wyjaśnienia), niektóre ważne podejścia do wnioskowania o wiedzy ( nieznajomość konkluzji musi zostać wycofana, gdy konkluzja staje się znana), i podobnie rewizja przekonań (nowa wiedza może zaprzeczać starym przekonaniom).
Rozumowanie abdukcyjne
Rozumowanie abdukcyjne to proces wyprowadzania dostatecznego wyjaśnienia znanych faktów. Logika abdukcyjna nie powinna być monotoniczna, ponieważ prawdopodobne wyjaśnienia niekoniecznie są poprawne. Na przykład prawdopodobnym wyjaśnieniem widoku mokrej trawy jest deszcz; jednak to wyjaśnienie należy wycofać, gdy dowiadujemy się, że prawdziwą przyczyną zamoczenia trawy był zraszacz. Ponieważ stare wyjaśnienie (padało) zostało wycofane z powodu dodania fragmentu wiedzy (zraszacz był aktywny), każda logika modelująca wyjaśnienia jest niemonotoniczna.
Rozumowanie o wiedzy
Jeśli logika zawiera formuły, które oznaczają, że czegoś nie wiadomo, to logika ta nie powinna być monotoniczna. Rzeczywiście, poznanie czegoś, co wcześniej nie było znane, prowadzi do usunięcia formuły mówiącej, że ta wiedza nie jest znana. Ta druga zmiana (usunięcie spowodowane dodatkiem) narusza warunek monotonii. Logika rozumowania o wiedzy to logika autoepistemiczna .
Rewizja wiary
Rewizja przekonań to proces zmiany przekonań w celu dostosowania do nowego przekonania, które może być niezgodne ze starymi. Zakładając, że nowe przekonanie jest poprawne, niektóre stare muszą zostać wycofane, aby zachować spójność. To wycofanie w odpowiedzi na dodanie nowego przekonania sprawia, że jakakolwiek logika zmiany przekonania jest niemonotoniczna. Podejście do rewizji przekonań jest alternatywą dla logiki parakonsystentnej , która toleruje niespójność zamiast próbować ją usunąć.
Zobacz też
- Programowanie logiczne
- Negacja jako porażka
- Stabilna semantyka modelu
- Racjonalna relacja konsekwencji
Uwagi
Bibliografia
- N. Bidoit i R. Hull (1989) „ Minimalizm, uzasadnienie i niemonotoniczność w dedukcyjnych bazach danych ”, Journal of Computer and System Sciences 38 : 290-325.
- G. Brewka (1991). Rozumowanie niemonotoniczne: logiczne podstawy zdrowego rozsądku . Wydawnictwo Uniwersytetu Cambridge.
- G. Brewka, J. Dix, K. Konolige (1997). Rozumowanie niemonotoniczne – przegląd . Publikacje CSLI, Stanford.
- M. Cadoli i M. Schaerf (1993) „ Przegląd wyników złożoności dla logik niemonotonicznych ” Journal of Logic Programming 17 : 127-60.
- FM Donini, M. Lenzerini, D. Nardi, F. Pirri i M. Schaerf (1990) „ Rozumowanie niemonotoniczne” , Przegląd sztucznej inteligencji 4 : 163-210.
- DM Gabbay (1985). Teoretyczne podstawy rozumowania niemonotonicznego w systemach ekspertowych . W: Apt KR (red) Logika i modele systemów współbieżnych. Seria NATO ASI (seria F: Computer and Systems Sciences), vol 13. Springer, Berlin, Heidelberg, s. 439-457.
- ML Ginsberg, wyd. (1987) Czytania w rozumowaniu niemonotonicznym . Los Altos CA: Morgan Kaufmann.
- Horty, JF, 2001, „Nonmonotononic Logic”, w Goble, Lou, red., The Blackwell Guide to Philosophical Logic . Blackwella.
- W. Łukaszewicz (1990) Rozumowanie niemonotoniczne . Ellis-Horwood, Chichester, West Sussex, Anglia.
- CG Lundberg (2000) „ Zrozumiały i zapamiętany sens: nadawanie sensu poprzez uprowadzenie ”, Journal of Economic Psychology : 21(6), 691-709.
- D. Makinson (2005) Mosty od logiki klasycznej do niemonotonicznej , College Publications.
- W. Marek i M. Truszczyński (1993) Logiki niemonotoniczne: rozumowanie zależne od kontekstu . Springer Verlag.
- A. Nait Abdallah (1995) Logika informacji częściowych . Springer Verlag.
Zewnętrzne linki
- Antonelli, G. Aldo. „Logika niemonotoniczna” . W Zalcie Edward N. (red.). Stanford Encyclopedia of Philosophy .
- Logika niemonotoniczna w PhilPapers
- Logika niemonotoniczna w Indiana Philosophy Ontology Project