このエントリーをはてなブックマークに追加
ID 30107
フルテキストURL
著者
Sasakura, Mariko Okayama University ORCID Kaken ID publons researchmap
抄録

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