Generic Approach to Updating Uncertainty: Focus on Conditioning

Abstract

Najprv sa budeme zaoberat' rôznymi druhmi reprezentácie neistoty a metódami aktualizácie pomocou kondicionalizácie. Zameriame sa na generický rámec (kon- dicionálnej) plauzibility pre jeho schopnost' generalizovat' všetky ostatné repre- zentácie. Následne sa lepšie pozrieme na tri štruktúry a uvedieme vlastnosti, ktoré je nutné pridat' rámcu kondicionálnej plauzibility, aby sme každú z nich dokázali skonštruovat'. Hlavným ciel'om tejto práce je ukázat', ako môže byt' verejné vy- hlásenie na jedno-agentových modeloch plauzibility, " ranking" štruktúrach, a " possibility" štruktúrach, v spojení s ich odpovedajúcimi mechanizmami zmeny, vnorené do rámca kondicionálnej plauzibility. Na záver ešte stručne popíšeme všeobecný model zmeny postavený na miere plauzibility. Kl'účové slová: dynamická logika, epistemická logika, neistota, rámec plauzibility, revízia presvedčenia, verejné vyhlásenie, zmena neistoty.

First, we consider different kinds of representation of uncertainty and the meth- ods for updating each of them by conditioning. We focus on the generic frame- work of (conditional) plausibility spaces, since it generalises all the introduced representations. Further, we select three frameworks and list the properties that need to be added to a conditional plausibility space in order to recover each of these frameworks. The main goal of this work, however, is to show how public announcement on single-agent plausibility models, ranking structures, and pos- sibility structures realised by their corresponding update mechanisms, can be embedded into the framework of conditional plausibility spaces. At the very end we briefly illustrate a general update model using plausibility measures. Keywords: belief revision, dynamic logic, epistemic logic, plausibility space, pub- lic announcement, uncertainty, update.