In this paper, we discuss why deduction is not sufficient for knowledge representation of programs with commonsense. Requirements of representation of incomplete, evolutive and conflicting knowledge led to a rise of alternative logic formalisms, dubbed nonmonotonic logics. Important features of nonmonotonic logic were discussed on the example of default logic - a role of assumptions in reasoning, use of fixpoint constructions as a formal tool for building a nonmonotonic semantics and, finally, computational aspects of nonmonotonic reasoning. This overview is completed by a presentation of our approach to updates. Updates are closely connected to nonmonotonic reasoning. We construct our approach for assumption based frameworks (and for default theories, as a consequence)., V tomto příspěvku diskutujeme, proč dedukce není dostatečná pro reprezentaci znalostí programů se zdravým rozumem. Požadavky na reprezentaci neúplných, evolutivních a konfliktních znalostí vedly ke vzniku alternativních logických formalismů, tzv. Nonmonotonic logics. Významné rysy nemonotonické logiky byly diskutovány na příkladu výchozí logiky - role předpokladů v uvažování, použití fixpointových konstrukcí jako formálního nástroje pro budování nemonotonické sémantiky a nakonec výpočetních aspektů nemonotonického uvažování. Tento přehled je doplněn prezentací našeho přístupu k aktualizacím. Aktualizace jsou úzce spojeny s nemonotonickým uvažováním. Náš přístup konstruujeme pro rámce založené na předpokladech (a v důsledku toho i pro standardní teorie)., and Ján Šefránek ; Michal Vince