[論文レビュー] Belief change with noisy sensing in the situation calculus

Jianbing Ma, Weiru Liu+1 more|arXiv (Cornell University)|Feb 14, 2012

Logic, Reasoning, and Knowledge参考文献 24被引用数 8

ひとこと要約

この論文は、感応器の誤りを伴う感応行動が生じる可能性があるノイズのある感応条件下でも反復的信念変化を扱えるように、状況計算の枠組みを拡張する。ノイズのある感応が生じる状況においても、一貫した信念を維持し、信念の再評価、更新、内省を実行できる形式的メカニズムを導入し、ノイズ感応と正確な感応の割合が有界であれば一貫した信念状態が達成可能であることを証明する。

ABSTRACT

Situation calculus has been applied widely in artificial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents' beliefs, how to manage these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy sensing, which often presents in real-world applications, is not considered. As a consequence, noisy sensing actions in this framework will lead to an agent facing inconsistent situation and subsequently the agent cannot proceed further. In this paper, we investigate how noisy sensing actions can be handled in iterated belief change within the situation calculus formalism. We extend the framework proposed in [22] with the capability of managing noisy sensings. We demonstrate that an agent can still detect the actual situation when the ratio of noisy sensing actions vs. accurate sensing actions is limited. We prove that our framework subsumes the iterated belief change strategy in [22] when all sensing actions are accurate. Furthermore, we prove that our framework can adequately handle belief introspection, mistaken beliefs, belief revision and belief update even with noisy sensing, as done in [22] with accurate sensing actions only.

研究の動機と目的

• 既存の状況計算フレームワークが完全な感応を仮定しているという限界を解決すること。これはノイズのある条件下では成立しなくなる。
• 感応行動が誤りを起こす可能性がある状況でも、反復的信念変化を実行できるようにすること。
• ノイズのある感応が存在する中でも、信念再評価、信念更新、信念内省が正当かつ一貫して保たれることを保証すること。
• 提案されたフレームワークが正確な感応を仮定する先行研究を一般化し、ノイズ下でも論理的一致性を維持することを証明すること。

提案手法

• 誤り率が既知の確率的感応行動を組み込むことで、状況計算の形式的枠組みを拡張する。
• 信念状態遷移時にセンサデータの潜在的な不正確さを考慮する信念更新メカニズムを導入する。
• ノイズ感応と正確な感応の比率が制限される有界なノイズモデルを用いることで一貫性を保つ。
• 状況項を用いた論理的推論により、行動と観測の系列を通じて信念状態を追跡する。
• 形式的公理を用いて、ノイズ入力が存在しても信念の一貫性が保たれる条件を定義する。
• すべての感応が誤りのない場合に限り、先行する正確な感応アプローチが特殊ケースとして包含されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 感応行動にノイズが含まれる場合、状況計算において信念変化をどのように一貫して管理できるか？
• RQ2 信頼できないセンサデータがある状況で、エージェントは依然として世界の真の状態を特定できる条件は何か？
• RQ3 感応が不正確な場合でも、フレームワークが信念再評価、信念更新、信念内省をサポートできるか？
• RQ4 提案されたアプローチは、完全な感応を仮定する先行研究とどのように関係し、一般化されるか？
• RQ5 ノイズ感応と正確な感応の比率にどのような制約を課すことで、信念の進化が一貫性を保てるか？

主な発見

• ノイズのある感応下でも、フレームワークは論理的一致性を保ちながら信念変化を適切に処理できる。
• ノイズ感応と正確な感応の比率が有界であれば、エージェントは依然として実際の状況を特定できる。
• 提案されたアプローチは、Shapiro らの先行フレームワークを一般化しており、すべての感応が正確な場合にはそれらに還元される。
• 信念再評価、信念更新、信念内省が、ノイズのある感応下でも保持され、適切に処理される。
• 形式的定式化により、不完全な感応が存在する中でも、行動と観測の系列に沿って信念状態が正しく進化することが保証される。