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ż

Uwagi

Bibliografia

Zewnętrzne linki