Achieving while maintaining: A logic of knowing how with intermediate constraints

TL;DR

This paper introduces a ternary knowing how operator to model agents' knowledge of achieving goals under intermediate constraints, extending previous logic of goal-directed knowing how.

Contribution

It generalizes the existing logic of knowing how by incorporating intermediate constraints and provides a sound and complete axiomatization.

Findings

Introduces a ternary knowing how operator for complex goal achievement scenarios.

Extends the logic of goal-directed knowing how with intermediate constraints.

Provides a formal axiomatization with proof of soundness and completeness.

Abstract

In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve $\phi$ given $\psi$ while maintaining $\chi$ in-between. It generalizes the logic of goal-directed knowing how proposed by Yanjing Wang 2015 'A logic of knowing how'. We give a sound and complete axiomatization of this logic.