Presná definícia
Čo znamená nemonotónna logika?
Nemonotónna logika umožňuje, aby nový fakt zrušil skorší odvoditeľný záver. Modeluje defaulty, výnimky a neúplné znalosti, kde z „vtáky zvyčajne lietajú“ možno dočasne usúdiť lietanie, kým sa nezistí výnimka. Odlišné formalizmy majú rozdielne sémantiky a množinu záverov.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Diagnostický systém uplatní typickú príčinu iba dovtedy, kým nový test nepreukáže výnimku. Každý default má prioritu a zdroj a systém po aktualizácii prepočíta závery. Eval zahŕňa konfliktné defaulty, viac výnimiek a poradie príchodu faktov.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje nemonotónna logika?
Inferenčná relácia nie je monotónna: rozšírenie množiny premís môže odstrániť záver, ktorý predtým platil.
Kedy má nemonotónna logika praktický význam?
Diagnostický systém uplatní typickú príčinu iba dovtedy, kým nový test nepreukáže výnimku.
S čím si pojem nezamieňať?
Klasická logika je monotónna, takže pridané premisy neodoberajú platný dôsledok; non-monotonic logika to povoľuje.
Ako sa výsledok kontroluje?
Overujú sa očakávané extensions alebo modely, priority výnimiek, stabilita aktualizácie a vysvetlenie zrušených záverov.
Na čo si dať pozor?
Viac platných extensions môže dať nejednoznačný výsledok a skryté priority vedú k ťažko auditovateľným zmenám.