Tableaux for the Logic of Strategically Knowing How

要約

目標指向のノウハウのロジックは、ノウハウの演算子を使用して標準の認識論的ロジックを拡張します。
ノウハウ演算子は、その戦略が p を確実にできることをエージェントが知っているような戦略が存在すると解釈されます。
この論文は、戦略的ノウハウのロジックのマルチエージェントバージョンのタブロー手順を提示し、このタブロー手順の健全性と完全性を示します。
この論文はまた、ロジックの充足可能性問題が PSPACE で決定できることを示します。

要約(オリジナル)

The logic of goal-directed knowing-how extends the standard epistemic logic with an operator of knowing-how. The knowing-how operator is interpreted as that there exists a strategy such that the agent knows that the strategy can make sure that p. This paper presents a tableau procedure for the multi-agent version of the logic of strategically knowing-how and shows the soundness and completeness of this tableau procedure. This paper also shows that the satisfiability problem of the logic can be decided in PSPACE.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google