Rodzina formalizmów rozumowania podważalnego, stopniowego i dialektycznego: logiki niemonotoniczne, logika rozmyta, rewizja przekonań, argumentacja i abdukcja.
Family of formalisms for defeasible, graded and dialectical reasoning: non-monotonic logics, fuzzy logic, belief revision, argumentation and abduction.
Sposoby wyciągania wniosków, gdy wiedza jest niepełna, nieostra albo sprzeczna, a wnioski czasem trzeba wycofać.
Ways of drawing conclusions when knowledge is incomplete, vague or contradictory, and conclusions sometimes have to be withdrawn.
Zwykła logika zna tylko prawdę i fałsz i nie umie zmienić zdania, a ludzie ciągle myślą na skróty i poprawiają się.
Ordinary logic knows only true and false and cannot change its mind, while people constantly reason by rules of thumb and correct themselves.
Daje programom zasady rozsądnego zgadywania: przyjmij to, co zwykle zachodzi, oceniaj stopniowo, ważąc racje, i cofnij się, gdy fakty przeczą.
Gives software rules for sensible guessing: assume what usually holds, judge in degrees, weigh reasons, and back off when facts disagree.
Asystent zakłada, że sklep jest otwarty w dzień roboczy, ale zmienia odpowiedź, gdy dowie się, że to święto.
An assistant assumes a shop is open on a weekday, but changes its answer once it learns it is a public holiday.