論理プログラムにおける説明推論過程の視覚化システムの実装
スポンサーリンク
概要
- 論文の詳細を見る
本論文では拡張論理プログラムにおける説明推論過程を視覚化する方法を提案する.説明推論で推移するゴールと導出を呼び出す関係を記憶し,その視覚化を行う.その記憶する処理を従来の説明推論手続き[1]に加えたものが,本論文で述べる視覚化機能付き説明推論手続きである.導出は木構造で呼び出すので,それぞれの導出のゴール履歴を紙のようなものに表現し,それを3次元上に配置する.この方法で視覚化を行うシステムの実装を行う.
- 一般社団法人情報処理学会の論文
- 2003-03-13
著者
関連論文
- 可視化されたデータ依存の分類とその並列化手法への適用
- 変数アクセスコストを引力としてとらえたデータ分割手法とその視覚化
- データ分割グラフの3次元視覚化
- 携帯機器とのインタラクションを持った分子シミュレーション可視化システム
- 携帯機器とのインタラクションを持った分子シミュレーション可視化システム
- NaraViewのParafrase-2との連携における効果的な並列化支援
- ループ内依存関係の視覚的パターン化の試み
- 2000-HPC-81-8 NaraViewを利用した実アプリケーションの並列化事例
- WindowsNT上でのクロス開発環境を目指す並列化支援ツールの開発
- 配列参照パターンによるプログラム並列化・最適化支援
- 変数オリエンティッドなデータ依存関係モデルの提案
- 変数オリエンティッドなデータ依存関係モデルの提案
- 並列化支援視覚化システム NaraViewにおけるビュー間の連携方式について
- 並列化支援のためのデータ依存の3次元視覚化
- 複合グラフを用いた階層タスクグラフの視覚化
- エージェントの挙動の表現法について : 交渉による集結の一例
- 論理プログラムにおける説明推論過程の視覚化システムの実装
- 論理プログラムにおける説明推論過程の視覚化システムの実装(「アクティブマイニング」及び一般)
- 論理プログラムにおける説明推論過程の視覚化システムの実装 (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般)
- 並列化用ループ変換のための解析説明システム
- 携帯機器の加速度センサを用いた電子鍵方式の提案
- 論理プログラムにおける説明推論過程の視覚化システムの実装 (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般)