AUC Philosophica et Historica je víceoborový akademický časopis zaměřený na humanitní a společenskovědné obory (filozofie, psychologie, pedagogika, sociologie, obecné, české a hospodářské dějiny, pomocné vědy historické a archivnictví, etnologie).
Časopis je indexován v databázích CEEOL, DOAJ a EBSCO.
AUC PHILOSOPHICA ET HISTORICA, Vol 2015 No 1 (2015), 23–37
Normal default rules as epistemic actions
Michal Dančák, Michal Peliš
DOI: https://doi.org/10.14712/24647055.2016.7
zveřejněno: 08. 08. 2016
Abstract
The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action models logic. Then a ‘translation’ of normal default rules in a slightly modified action models logic is presented.
klíčová slova: action models; default logic; dynamic epistemic logic
