Logika niemonotoniczna

Logika niemonotoniczna jest logiką formalną , której relacja konkluzji nie jest monotoniczna . Innymi słowy, logiki niemonotoniczne są opracowywane w celu wychwytywania i przedstawiania wniosków, które można obalić (por. rozumowanie, które można obalić ), tj. rodzaj wnioskowania, w ramach którego osoby rozumujące wyciągają wstępne wnioski, umożliwiające im wycofanie wniosków na podstawie dalszych dowodów. Większość badanych logik formalnych ma monotoniczną relację implikacji, co oznacza, że dodanie formuły do teorii nigdy nie powoduje przycięcia jej zestawu wniosków. Intuicyjnie monotoniczność wskazuje, że uczenie się nowej części wiedzy nie może zredukować zestawu tego, co jest znane. Logika monotoniczna nie radzi sobie z różnymi zadaniami rozumowania, takimi jak rozumowanie domyślne (wnioski można wyciągać tylko z powodu braku dowodów przeciwnych), rozumowanie abdukcyjne (wnioski są jedynie dedukowane jako najbardziej prawdopodobne wyjaśnienia), niektóre ważne podejścia do wnioskowania o wiedzy (nieznajomość wniosku musi zostać wycofana, gdy wniosek staje się znany) i podobnie, rewizja przekonań ( nowa wiedza może zaprzeczać starym przekonaniom).

Rozumowanie abdukcyjne

Rozumowanie abdukcyjne to proces uzyskiwania wystarczającego wyjaśnienia znanych faktów. Logika abdukcyjna nie powinna być monotoniczna, ponieważ prawdopodobne wyjaśnienia niekoniecznie są poprawne. Na przykład prawdopodobnym wyjaśnieniem widzenia mokrej trawy jest padający 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 kawałka 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 coś nie jest znane, 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 dodaniem) narusza warunek monotoniczności. Logiką rozumowania o wiedzy jest logika autoepistemiczna .

Rewizja wiary

Rewizja przekonań to proces zmiany przekonań w celu dostosowania ich do nowego przekonania, które może być niezgodne ze starymi. Przy założeniu, że nowe przekonanie jest poprawne, niektóre ze starych muszą zostać wycofane, aby zachować spójność. To wycofanie się w odpowiedzi na dodanie nowego przekonania sprawia, że logika rewizji przekonań nie jest monotoniczna. Podejście do rewizji przekonań jest alternatywą dla logiki parakonsystentnej , która raczej toleruje niespójność niż próbuje ją usunąć.

Zobacz też

Notatki

Bidoit, N.; Kadłub, R. (1989). „Minimalizm, uzasadnienie i niemonotoniczność w dedukcyjnych bazach danych” . Journal of Computer and System Sciences . 38 (2): 290–325. doi : 10.1016/0022-0000(89)90004-4 .
Brewka, G. (1991). Rozumowanie niemonotoniczne: logiczne podstawy zdrowego rozsądku . Wydawnictwo Uniwersytetu Cambridge. ISBN 978-0-521-38394-3 .
Brewka G.; Dix, J.; Konolige, K. (1997). Rozumowanie niemonotoniczne — przegląd . Notatki z wykładów CSLI. Tom. 73. Stanford: publikacje CSLI. ISBN 9781881526834 .
Cadoli, M.; Schaerf, M. (1993). „Przegląd wyników złożoności dla logik niemonotonicznych” . Dziennik programowania logicznego . 17 (2–4): 127–60. doi : 10.1016/0743-1066(93)90029-G .
Donini, FM; Lenzerini, M.; Nardi, D.; Pirri, F.; Schaerf, M. (1990). „Rozumowanie niemonotoniczne”. Przegląd sztucznej inteligencji . 4 (3): 163–210. doi : 10.1007/BF00140676 . S2CID 23575942 .
Gabbay, DM (1985). „Teoretyczne podstawy wnioskowania niemonotonicznego w systemach ekspertowych” . W Apt, KR (red.). Logiki i modele systemów współbieżnych . Tom. 13. NATO ASI Series, Series F: Computer and Systems Sciences: Springer. s. 439–457. doi : 10.1007/978-3-642-82453-1_15 . ISBN 978-3-642-82453-1 .
Ginsberg, ML, wyd. (1987). Odczyty w rozumowaniu niemonotonicznym . Morgana Kaufmanna. ISBN 978-0-934613-45-3 .
Horty, JF (2001). „Logika niemonotoniczna”. W Goble, Lou (red.). Przewodnik Blackwella po logice filozoficznej . Wileya. ISBN 978-0-631-20692-7 .
Łukaszewicz W. (1990). Rozumowanie niemonotoniczne . Ellis-Horwood. ISBN 978-0-13-624446-2 .
Lundberg, CG (2000). „Ma sens i zapamiętany sens: nadawanie sensu poprzez uprowadzenie” (PDF) . Dziennik Psychologii Ekonomicznej . 21 (6): 691–709. doi : 10.1016/S0167-4870(00)00027-1 . S2CID 11723465 . Zarchiwizowane od oryginału (PDF) w dniu 07.09.2017.
Makinson, D. (2005). Mosty od logiki klasycznej do niemonotonicznej . Publikacje uczelni. ISBN 9781904987000 .
Marek W.; Truszczyński, M. (1993). Logiki niemonotoniczne: rozumowanie zależne od kontekstu . Skoczek. ISBN 978-3-662-02906-0 .
Abdallah, A. Nait (1995). Logika informacji częściowych . Skoczek. ISBN 978-3-642-78160-5 .

Linki zewnętrzne

Antonelli, G. Aldo. „Logika niemonotoniczna” . W Zalta, Edward N. (red.). Stanford Encyklopedia filozofii .
Logika niemonotoniczna w PhilPapers
Logika niemonotoniczna w Indiana Philosophy Ontology Project