拡張論理プログラムにおける推論過程を表す同心円図
スポンサーリンク
概要
- 論文の詳細を見る
本稿では拡張論理プログラムにおける推論過程を視覚化するための新しい方法を提案する。拡張論理プログラムにおける推論過程は再帰的な構造をしているので、再帰構造を直観的に表せる同心円を使う。従来の推論手続きに視覚化のためのステップを追加した視覚化用推論手続きを構築し、それによって生成された図を例示する。
- 一般社団法人情報処理学会の論文
- 2002-06-26
本稿では拡張論理プログラムにおける推論過程を視覚化するための新しい方法を提案する。拡張論理プログラムにおける推論過程は再帰的な構造をしているので、再帰構造を直観的に表せる同心円を使う。従来の推論手続きに視覚化のためのステップを追加した視覚化用推論手続きを構築し、それによって生成された図を例示する。