[論文レビュー] Achieving while maintaining: A logic of knowing how with intermediate constraints

Yanjun Li, Yanjing Wang|arXiv (Cornell University)|Oct 17, 2016

Logic, Reasoning, and Knowledge参考文献 11被引用数 23

ひとこと要約

本稿は、目標φを前提ψから達成する際、中間状態で制約χを維持する知識-howを形式化するための三項知っている-どうすればよいか演算子$Γ\mathit{Khm}(\psi,\chi,\varphi)$を導入する。この論理に対して、健全かつ完全な公理体系を提供し、従来の目的指向的知識-howの研究を拡張する。特に、強い実行可能性と中間制約の状態マーカーを用いた標準モデル構成を組み込む。

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.

研究の動機と目的

• 目標達成中に中間状態に特定の制約を満たす必要がある状況における知識-howを形式化し、二項知っている-どうすればよいか演算子の限界を克服すること。
• 目的指向的知識-howの論理を、中間状態に制約を課すことで拡張し、コストや道徳といった現実世界の制限を反映すること。
• 新しい三項論理の健全かつ完全な証明体系を構築し、従来の知っている-どうすればよいかに関する研究を一般化すること。
• 標準モデル構成における状態マーカーの導入により、計画と知識-howにおける複雑な制約を扱うこと。
• 将来の拡張、例えば条件的計画、公開発表、および認識論的論理統合の基盤を築くこと。

提案手法

• 目標φを前提ψから達成する際、中間状態で制約χを維持する知識-howを表す三項モダリティ演算子$Γ\mathit{Khm}(\psi,\chi,\varphi)$を提案する。
• 行動、状態、評価を備えたラベル付き遷移系モデルを定義し、エージェントの能力と遷移を表現する。
• 行動列の強い実行可能性の概念を導入し、任意の初期セグメントから計画が完了可能であることを保証する。
• 状態が最大一致集合のペアと、$χ^\psi$というマーカー（$χ$-制約を満たす先行状態を示す）からなる標準モデルを構築する。
• 真理補題と行動列に関する帰納法を用いて完全性を証明し、非自明な標準モデル構成に依存する。
• 従来の研究から証明体系を適応し、中間制約を扱うために追加の公理を加え、健全性と完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 目標達成中に中間状態が特定の制約を満たす必要がある場合、知識-howはどのように形式的に捉えられるか？
• RQ2 中間制約を伴う三項知っている-どうすればよいか演算子に対して、健全性と完全性を保証するための論理的公理は何か？
• RQ3 中間制約の導入は、標準モデルの構造と完全性証明にどのように影響を与えるか？
• RQ4 この論理は、条件的計画や公開発表を扱えるように拡張可能か？そのような拡張において生じる課題は何か？
• RQ5 強い実行可能性は、中間制約下での計画の信頼性を確保するために果たす役割は何か？

主な発見

• 本稿は、二項知っている-どうすればよいか演算子の研究を拡張し、三項知っている-どうすればよいか論理$Γ\mathit{Khm}(\psi,\chi,\varphi)$の健全かつ完全な公理体系を提示する。
• 完全性証明は二項の場合よりも著しく複雑であり、中間制約を追跡するための状態マーカー$χ^\psi$を備えた標準モデルが必要となる。
• この論理は、財政的・道徳的制限といった中間状態への制約が本質的である現実の計画シナリオを捉えることができる。
• 三項演算子は、$Γ\mathit{Kh}(\psi,\varphi) := \u0393\mathit{Khm}(\psi,\top,\varphi)$として二項$Γ\mathit{Kh}(\psi,\varphi)$演算子を一般化する。
• 普遍的モダリティ$Γ\mathit{U}\varphi := \u0393\mathit{Khm}(\neg\varphi,\top,\bot)$が論理に組み込まれており、グローバルな性質を表現するのに有用である。
• この枠組みは、将来的に条件的計画や公開発表への拡張が可能であるが、それらにはさらなるモデルおよび論理の強化が必要となる。