視覚化に基づく項書換え計算モデルの知的解析支援環境に関する研究

点击翻译按钮获取中文摘要

本年度は,これまでの研究成果に基づき、視覚化に基づく項書換え計算モデルの知的支援手法の様々な応用を行なった。我々がすでに提案した項書換え計算モデルの視覚化手法としては、(1)項の視覚化,(2)計算の視覚化,(3)インタフェースの視覚化,(4)数値情報の視覚化、が挙げられる。これらの手法が以下に示す論理や方法論へも応用できることを示した。1. 多エージェント自己認識論理への応用多エージェント自己認識論理は、自分自身の知識についてのメタな推論を可能にする非単調論理であり、階層的知識や因果関係等を表現することが可能である。多エージェント自己認識論理の決定手続きは、タブロー法、および導出原理が提案されている。これらはいずれも木構造を基本とした計算であるため、項の視覚化と同様の手法で視覚化が可能である。本研究では、さらに視覚化を用いて効率の問題点を発見し、決定手続きの効率化手法を開発した。2. モバイルアドホックネットワークへの応用モバイルアドホックネットワークは、情報端末が移動環境下で動的に構築するネットワークであり、集中管理する端末が存在せず、自律分散アルゴリズムによって構築される。この動作はグラフ上に表示することができるため、シミュレーションのための視覚的環境を構築し、動作の確認を行った。計算の視覚化や数値情報の視覚化を用いることにより、より詳細な分析が可能になることが期待できる。これらの研究は、様々な研究集会で発表され、活発な意見交換を行なった。