Presná definícia
Čo znamená zrušiteľné uvažovanie?
Zrušiteľné uvažovanie vytvára predbežné závery, ktoré sú oprávnené dostupnými informáciami, ale môžu byť porazené silnejším dôkazom alebo výnimkou. Je to spôsob práce s defaultmi a konfliktmi, nie dedukcia s absolútnou platnosťou. Pravidlá porazenia a priority musia byť explicitné.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Systém predbežne zaradí dokument podľa obvyklého vzoru, no presný identifikátor alebo novší zdroj tento záver prekoná. Výstup označí, že ide o default, a uchová dôvody aj porážajúce pravidlo. Človek môže preveriť konfliktný prípad.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje zrušiteľné uvažovanie?
Argumenty alebo pravidlá vytvoria závery a preferenčný vzťah určí, ktorý prežije pri konflikte s výnimkou.
Kedy má zrušiteľné uvažovanie praktický význam?
Systém predbežne zaradí dokument podľa obvyklého vzoru, no presný identifikátor alebo novší zdroj tento záver prekoná.
S čím si pojem nezamieňať?
Nemonotónna logika je formálna rodina systémov; defeasible reasoning je širší typ predbežného usudzovania, ktorý tieto systémy modelujú.
Ako sa výsledok kontroluje?
Kontrolujú sa typické prípady, výnimky, konflikty priorít, konzistencia výsledku a vysvetlenie porážky.
Na čo si dať pozor?
Nejasná priorita môže urobiť výsledok závislý od implementácie a používateľ môže predbežný záver považovať za fakt.