We introduce a uniform non-monotonic framework for knowledge representation
based on epistemic logic which is sufficiently general to encompass several nonmonotonic
formalisms, including circumscription, autoepistemic logic, various
semantics proposed for logic programs and deductive databases (stable semantics,
well-founded semantics and stationary semantics) as well as Gelfond’s epistemic
specifications. The existence of such a uniform framework allows us not only to
provide simpler and perhaps more natural definitions of various formalisms but it
also enables us to better understand mutual relationships existing between them.
Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies
Informacja
SZANOWNI CZYTELNICY!
UPRZEJMIE INFORMUJEMY, ŻE BIBLIOTEKA FUNKCJONUJE W NASTĘPUJĄCYCH GODZINACH:
Wypożyczalnia i Czytelnia Główna: poniedziałek – piątek od 9.00 do 19.00