TY - GEN
T1 - A visualization method for knowledge represented by general logic programs
AU - Sasakura, Mariko
N1 - Publisher Copyright:
© 2001 IEEE.
PY - 2001
Y1 - 2001
N2 - 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 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.
AB - 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 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.
UR - http://www.scopus.com/inward/record.url?scp=84949234693&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949234693&partnerID=8YFLogxK
U2 - 10.1109/IV.2001.942049
DO - 10.1109/IV.2001.942049
M3 - Conference contribution
AN - SCOPUS:84949234693
T3 - Proceedings of the International Conference on Information Visualisation
SP - 135
EP - 140
BT - Proceedings - 5th International Conference on Information Visualisation, IV 2001
A2 - Khosrowshahi, F.
A2 - Banissi, E.
A2 - Sarfraz, M.
A2 - Ursyn, A.
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 5th International Conference on Information Visualisation, IV 2001
Y2 - 25 July 2001 through 27 July 2001
ER -