このエントリーをはてなブックマークに追加
ID 30107
FullText URL
Author
Abstract

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

Keywords
diagrams
inference mechanisms
knowledge representation
logic programming
program visualisation
Note
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.
Published Date
2001-7
Publication Title
Information Visualisation
Start Page
135
End Page
140
Content Type
Journal Article
language
英語
Refereed
True
DOI
Submission Path
industrial_engineering/38