DocumentCode
3357697
Title
A visualization method for knowledge represented by general logic programs
Author
Sasakura, Mariko
Author_Institution
Dept. of Inf. Technol., Okayama Univ., Japan
fYear
2001
fDate
2001
Firstpage
135
Lastpage
140
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; Euler diagrams; inference rules; knowledge representation; literals; logic clauses; logic program visualization; Educational programs; Humans; Information technology; Logic; Prototypes; Set theory; Visualization;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Visualisation, 2001. Proceedings. Fifth International Conference on
Conference_Location
London
Print_ISBN
0-7695-1195-3
Type
conf
DOI
10.1109/IV.2001.942049
Filename
942049
Link To Document