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
This paper evaluates the following argument, suggested in the writings of Donald Davidson: if there is such a thing as the given, then there can be alternative conceptual schemes; there cannot be alternative conceptual schemes; therefore there is no such thing as the given., Tento článek hodnotí následující argument navrhovaný ve spisech Donalda Davidsona: pokud existuje taková věc, jaká je uvedena, pak mohou existovat alternativní koncepční schémata; nemohou existovat alternativní koncepční schémata; proto neexistuje žádná taková věc jako daný., and Terence Rajivan Edward