<p>We investigate dynamic operations acting over a knowing how logic. Our approach uses a recently introduced semantics for the knowing how operator, which is based on an indistinguishability relation between plans, and which is arguably closer to the standard presentation of knowing that modalities in classic epistemic logic. Here, we discuss how the new indistinguishability-based 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 different alternatives for implementing two types of updates: ontic and epistemic. For the former, we provide axiomatizations over a restricted class of models. For the latter, we investigate some semantic properties and discuss what the difficulties are in axiomatizing dynamic modalities. In turn, we introduce a novel dynamic epistemic modality for which we have reduction axioms over an extended static knowing how language.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Dynamics of Knowing How

  • Carlos Areces,
  • Raul Fervari,
  • Andrés R. Saravia,
  • Fernando R. Velázquez-Quesada

摘要

We investigate dynamic operations acting over a knowing how logic. Our approach uses a recently introduced semantics for the knowing how operator, which is based on an indistinguishability relation between plans, and which is arguably closer to the standard presentation of knowing that modalities in classic epistemic logic. Here, we discuss how the new indistinguishability-based 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 different alternatives for implementing two types of updates: ontic and epistemic. For the former, we provide axiomatizations over a restricted class of models. For the latter, we investigate some semantic properties and discuss what the difficulties are in axiomatizing dynamic modalities. In turn, we introduce a novel dynamic epistemic modality for which we have reduction axioms over an extended static knowing how language.