First Steps in Updating Knowing How

C. Areces, R. Fervari, A. Saravia, and F. Velázquez-Quesada. First Steps in Updating Knowing How. In C. Areces and D. Costa, editors, Dynamic Logic. New Trends and Applications, pp. 1–16, Springer International Publishing, 2023.

Download

[pdf] 

Abstract

We investigate dynamic operations acting over a knowing how logic. Our approach makes use of a recently introduced semantics for the knowing how operator, based on an indistinguishability relation between plans. This semantics is arguably closer to the standard presentation of knowing that modalities in classic epistemic logic. Here, we discuss how the semantics enables us to define dynamic modalities representing different ways in which an agent can learn how to achieve a goal. In this regard, we study two types of updates: ontic updates (for which we provide axiomatizations over a particular class of models), and epistemic updates (for which we investigate some semantic properties).

BibTeX

@InCollection{978-3-031-26622-5_1,
  author =       "C. Areces and R. Fervari and A. Saravia and F.
                 Vel{\'a}zquez-Quesada",
  editor =       "C. Areces and D. Costa",
  title =        "First Steps in Updating Knowing How",
  booktitle =    "Dynamic Logic. New Trends and Applications",
  year =         "2023",
  publisher =    "Springer International Publishing",
  pages =        "1--16",
  abstract =     "We investigate dynamic operations acting over a
                 knowing how logic. Our approach makes use of a recently
                 introduced semantics for the knowing how operator,
                 based on an indistinguishability relation between
                 plans. This semantics is arguably closer to the
                 standard presentation of knowing that modalities in
                 classic epistemic logic. Here, we discuss how the
                 semantics enables us to define dynamic modalities
                 representing different ways in which an agent can learn
                 how to achieve a goal. In this regard, we study two
                 types of updates: ontic updates (for which we provide
                 axiomatizations over a particular class of models), and
                 epistemic updates (for which we investigate some
                 semantic properties).",
  ISBN =         "978-3-031-26622-5",
}