Logiki, w których relacja wynikania nie jest monotoniczna: domyślna (Reiter), cyrkumskrypcja, autoepistemiczna i semantyka preferencyjna.
Logics whose consequence relation is not monotonic: default logic (Reiter), circumscription, autoepistemic logic and preferential semantics.
Wnioskowanie typu „zwykle tak bywa”, w którym nowa informacja może obalić wcześniejszy wniosek.
Reasoning of the 'it is usually so' kind, where new information can overturn an earlier conclusion.
Nie da się spisać wszystkich wyjątków od reguły, więc system wymagający pełnej wiedzy nigdy niczego by nie wywnioskował.
You cannot list every exception to a rule, so a system demanding complete knowledge would never conclude anything.
Działa jak rozsądny człowiek: przyjmuje typowy przypadek jako założenie robocze i porzuca je, gdy pojawi się wyjątek.
Works like a sensible person: takes the typical case as a working assumption and drops it once an exception appears.
Słyszysz o ptaku, więc zakładasz, że lata; gdy dowiadujesz się, że to pingwin, zmieniasz zdanie.
You hear about a bird and assume it flies; when you learn it is a penguin, you change your mind.