|
|
Generic Approach to Updating Uncertainty: Focus on Conditioning
Kuncová, Alexandra ; Peliš, Michal (advisor) ; Sedlár, Igor (referee)
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.
|
|
|
Knowledge is a Diamond
Punčochář, Vít
In the standard epistemic logic, the knowledge operator is represented as a box operator, a universal quantifier over a set of possible worlds. There is an alternative approach to the semantics of knowledge, according to which an agent a knows a proposition iff a has a reliable (e.g. sensory) evidence that supports the proposition. In this interpretation, knowledge is viewed rather as an existential, i.e. a diamond modality. In this paper, we will propose a formal semantics for substructural logics that allows to model knowledge on the basis of this intuition. The framework is strongly motivated by a similar semantics introduced by (Bílková, Majer, Peliš, 2016). However, as we will argue, our framework overcomes some unintuitive features of the semantics from (Bílková, Majer, Peliš, 2016). Most importantly, knowledge does not distribute over disjunction in our logic.
|
|
|
Generic Approach to Updating Uncertainty: Focus on Conditioning
Kuncová, Alexandra ; Peliš, Michal (advisor) ; Sedlár, Igor (referee)
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.
|
guest ::
