ID | 30107 |
フルテキストURL | |
著者 | |
抄録 | 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 Euler 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 |
キーワード | diagrams
inference mechanisms
knowledge representation
logic programming
program visualisation
|
備考 | Digital Object Identifier: 10.1109/IV.2001.942049
Published with permission from the copyright holder. This is the institute's copy, as published in Information Visualisation, 2001. Proceedings. Fifth International Conference on, 25-27 July 2001, Pages 135-140. Publisher URL:http://dx.doi.org/10.1109/IV.2001.942049 Copyright © 2001 IEEE. All rights reserved. |
発行日 | 2001-7
|
出版物タイトル |
Information Visualisation
|
開始ページ | 135
|
終了ページ | 140
|
資料タイプ |
学術雑誌論文
|
言語 |
英語
|
査読 |
有り
|
DOI | |
Submission Path | industrial_engineering/38
|