2001年
A visualization method for knowledge represented by general logic programs
FIFTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS
- 開始ページ
- 135
- 終了ページ
- 140
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 出版者・発行元
- IEEE COMPUTER SOC
In this paper we describe a visualization method for general logic clauses as the first step of a visualization of logic programs. Since we think inclusion is essential to represent an outline of knowledge, we propose a method based on Eider diagrams to visualize inference rules represented as a set of general logic clauses which consist of literals with no variable. We develop a prototype system and show that complex rules which are hard to understand in text are easy to understand by diagrams.
- リンク情報
- ID情報
-
- Web of Science ID : WOS:000171392800017