分散診断問題 

• 背景
• 問題
• 解放および並列化
  • システム構成要素の定義
    • 診断エージェント
    • 黒板の構成
  • エージェント間通信
    • 診断初期
    • 黒板上の処理(1)-異常検出時
    • 黒板上の処理(2)-ポーリング時
    • 診断の終了時期
    • 信頼度付きのエージェントの協調
  • 非単調推論の定式化
• ABCL/fによる実現
  • エージェントの構成
  • 黒板の構成
  • 通信用メソッド
  • エージェントの分散化
  • 実行例
• 性能評価
  • 処理の効率化
    • 並列化
    • 1エージェントの負荷の時間推移
    • 通信コストの影響
    • 並列処理効率
  • 頑健性の実験
    • ビサンチン故障
    • 1診断モデル複数エージェント
    • 1診断モデル1エージェント
    • 複数エージェント故障
  • 非単調性の実験
    • 実験結果
    • 形式化との比較
  • 結論