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

2016/10/17 by Yanjun Li, Yanjing Wang, Li, Yanjun +1 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.1610.05064

Abstract

In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve ϕ given ψ while maintaining χ 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.

Cited by

• Navigability with Imperfect Information

Related

• Strategically knowing how
• A Logic of Knowing How
• Uncertainty-Based Knowing How Logic
• Beyond knowing that: a new generation of epistemic logics
• Together We Know How to Achieve: An Epistemic Logic of Know-How